c[] is not legal. Reasonable compilers refuse to produce an executable from your source code. That is the behavior I would prefer to see and I think it's unfortunate that g++ compiles it. But the standard does not require g++ to reject illegal code. So g++ is free to do anything it wants with your code. The resulting program can output 1 or 0. Or 8,732. Or it could whistle dixie. Or it could dump core. No behavior is specified for a non-c++ program by the c++ standard.
As for what you call "empty" structures, "Objects with an incomplete structure or union type may be mentioned in contexts where their size is not needed". And the sizeof operator needs the size. That too is illegal. gcc allows sizeof to operate on a incomplete structure and for some odd reason decided it should return 1.
Microsoft allows a single unsized array as the last member of a structure. gcc's behavior with unsized arrays is a superset of Microsoft's extention. The allows gcc to compile some Microsoft code. Maybe that is why gcc behaves as it does with unsized arrays. Microsoft says sizeof return the size of the structure minus the size of the array. The array has a non-zero size but the size is not known at compile time. Apparently, you obtain the size of the array somehow and add it in later.
Miicrosoft unsized arrays in structures Note that you are abusing Microsoft's screwy extention. You are not supposed to allocate it as you have done.
Incomplete structures are in the same boat. The members are unknown, not absent. gcc is out of its mind in allowing you allocate such a thing. Each object is supposed to have a unique address, so if you allocate two of them, I guess that they consume a byte.
So nonstandard extentions to the language by two different organizations have clashed with one another. Righteous karma, if you ask me. Try writing in C or C++ for a change. Then none of this will affect you.