如何在C中返回匿名结构? [英] How can I return an anonymous struct in C?

问题描述

尝试一些代码，我意识到下面的代码可以编译:

Trying some code, I realized that the following code compiles:

struct { int x, y; } foo(void) {
}

似乎我们正在定义一个名为 foo 的函数，该函数返回匿名的 struct .

It seems as if we are defining a function named foo which returns an anonymous struct.

仅使用我的编译器进行编译还是合法的C(99)?

Does it only happen to compile with my compiler or is this legal C(99)?

如果是这样，那么return语句的正确语法是什么?如何正确地将返回值分配给变量?

If so, what is the correct syntax for a return statement and how can I correctly assign the returned value to a variable?

推荐答案

您要返回的结构不是匿名结构.C标准将匿名结构定义为不使用标签的另一个结构的成员.您返回的是一个没有标签的结构，但是由于它不是成员，因此它不是匿名的.GCC使用名称​​<匿名> 表示没有标签的结构.

The struct you're returning is not an anonymous struct. The C standard defines an anonymous struct as a member of another struct that doesn't use a tag. What you're returning is a struct without a tag, but since it isn't a member, it is not anonymous. GCC uses the name < anonymous > to indicate a struct without a tag.

假设您尝试在函数中声明相同的结构.

Let's say you try to declare an identical struct in the function.

struct { int x, y; } foo( void )
{
    return ( struct { int x, y; } ){ 0 } ;
}

GCC抱怨:返回类型'struct<时不兼容的类型.匿名>"，但结构< anonymous>"是预期的.

显然类型不兼容.查看标准，我们看到:

Apparently the types are not compatible. Looking in the standard we see that:

6.2.7兼容类型和复合类型

6.2.7 Compatible type and composite type

1:如果两个类型相同，则它们具有兼容类型.用于确定两种类型是否兼容的其他规则，在6.7.2中针对类型说明符进行了描述，在6.7.3中针对类型限定符进行了说明，在6.7.6中针对声明符进行了描述.此外，在单独的转换中声明的两个结构，联合或枚举类型如果它们的标记和成员满足以下要求，则它们是兼容的:如果一个标记为，则另一个标记必须相同.标签.如果两者都在各自翻译单位内的任何位置完成，那么以下附加要求适用:它们的成员之间应存在一对一的对应关系，以便每对对应的成员都声明为兼容类型;如果该对中的一个成员是使用对齐方式说明符声明的，则另一个成员使用等效的对齐方式说明符声明；如果该对中的一个成员声明了一个名称，则另一个成员则声明了相同的名称.对于两个结构，相应的成员应以相同的顺序声明.对于两个结构或联合，相应的位域应具有相同的宽度.对于两个枚举，对应的成员应具有相同的值.

1: Two types have compatible type if their types are the same. Additional rules for determining whether two types are compatible are described in 6.7.2 for type specifiers, in 6.7.3 for type qualifiers, and in 6.7.6 for declarators. Moreover, two structure, union, or enumerated types declared in separate translation units are compatible if their tags and members satisfy the following requirements: If one is declared with a tag, the other shall be declared with the same tag. If both are completed anywhere within their respective translation units, then the following additional requirements apply: there shall be a one-to-one correspondence between their members such that each pair of corresponding members are declared with compatible types; if one member of the pair is declared with an alignment specifier, the other is declared with an equivalent alignment specifier; and if one member of the pair is declared with a name, the other is declared with the same name. For two structures, corresponding members shall be declared in the same order. For two structures or unions, corresponding bit-fields shall have the same widths. For two enumerations, corresponding members shall have the same values.

第二个粗体部分说明，如果两个struct都没有标记，例如在本示例中，则它们必须遵循该部分之后列出的其他要求.但是，如果您注意到第一个粗体部分，则它们必须位于单独的翻译单元中，而示例中的结构则不是.因此它们不兼容，并且代码无效.

The second bold part, explains that if both struct are without the tag, such as in this example, they have to follow additional requirements listed following that part, which they do. But if you notice the first bold part, they have to be in separate translation units, and structs in the example aren't. So they are not compatible and the code is not valid.

不可能正确编写代码，因为如果您声明一个struct并在此函数中使用它.您必须使用一个标记，这违反了两个结构都必须具有相同标记的规则:

It is impossible to make the code correct since if you declare a struct and use it in this function. You have to use a tag, which violates the rule that both have structs have to have the same tag:

struct t { int x, y; } ;

struct { int x, y; } foo( void )
{
    struct t var = { 0 } ;

    return var ;
}

再次GCC抱怨:返回类型'struct t'但返回'struct< anonymous>'时不兼容的类型是预期的

Again GCC complains: incompatible types when returning type 'struct t' but 'struct <anonymous>' was expected

这篇关于如何在C中返回匿名结构?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！