Empty structure in C

2020-01-29 06:48发布

问题:

I have a structure with no members (for the moment) and I would like to know if it is possible to suppress the warning I get:

warning: struct has no members

Is it possible to add a member and keep the sizeof the struct zero? Any other solution?

回答1:

In c the behaviour of an empty structure is compiler dependent versus c++ where it is part of the spec (explanations here)

C++
A class with an empty sequence of members and base class objects is an empty class. Complete objects and member subobjects of an empty class type shall have nonzero size.

in C it is rather more murky since the c99 standard has some language which implies that truly empty structures aren't allowed (see TrayMan's answer) but many compilers do allow it (e.g gcc).

Since this is compiler dependent it is unlikely that you will get truly portable code in this case. As such non portable ways to suppress the warning may be your best bet.

  • In VS you would use #pragma warning
  • in GCC from 4.2.1 you have Diagnostic Pragmas


回答2:

if you just need the struct symbol for casting and function arguments then just:

typedef struct _Interface Interface;

this will create the symbol for an opaque type.



回答3:

Technically this isn't even valid C.

TrayMan was a little off in his analysis, yes 6.2.6.1 says:

Except for bit-fields, objects are composed of contiguous sequences of one or more bytes, the number, order, and encoding of which are either explicitly specified or implementation-defined.

but tie that with 6.2.5-20, which says:

— A structure type describes a sequentially allocated nonempty set of member objects (and, in certain circumstances, an incomplete array), each of which has an optionally specified name and possibly distinct type.

and now you can conclude that structures are going to be one or more bytes because they can't be empty. Your code is giving you a warning, while the same code will actually fail to compile on Microsoft's Visual Studio with an error:

error C2016: C requires that a struct or union has at least one member

So the short answer is no, there isn't a portable way to avoid this warning, because it's telling you you're violating the C standards. You'll have to use a compiler specific extension to suppress it.



回答4:

C99 standard is somewhat ambiguous on this, but seems to say that an empty struct should have non-zero size.

6.2.6.1 Except for bit-fields, objects are composed of contiguous sequences of one or more bytes, the number, order, and encoding of which are either explicitly specified or implementation-defined.



回答5:

Is it possible to add a member and keep the sizeof the struct zero?

Nope. FWIW, C++ allows empty structs but the sizeof() is always non-zero for an empty struct.

Any other solution?

Not any easy ones. It's worth noting that empty structs are only somewhat supported in C and disallowed in C99.

Empty structs are supported in C++ but different compilers implement them with varying results (for sizeof and struct offsets), especially once you start throwing inheritance into the mix.



回答6:

If you're not requiring "too strict" adherence, you might get away with this:

struct empty {
  char nothing[0];
};

This is a GCC extension, though.

I was kind of hoping I'd be able to use the C99 feature called "flexible arrays", declared like this:

struct empty99
{
  char nothing[]; // This is a C99 "flexible array".
};

but that doesn't work; they require that there is at least one normal struct member first, they can't be the only member.



回答7:

struct zero_information { int:0; };

The above code snippet will yield a non-zero value from sizeof(struct zero_information), but it might help you get what you looking for as 100% of all the storage that is allocated for it, is padding (only accessible through hacks, although I don't remember from the top of my head if acceding the padding is undefined behavior).