c - Typedef 用不同类型重新定义（'struct TGAME' vs 'struct TGAME'）

Question

我有标题的编译错误。

我听说这可能是因为我给结构起的名字，但我把它改成随机名字太多次了，这并没有解决。

我的 IDE (CLion) 显示 PLBR.c 中的错误

这是我的文件：

PLBR.h

#ifndef UNTITLED2_PLBR_H
#define UNTITLED2_PLBR_H

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

typedef struct {
    int players;
    char diff[5];
    int numpal;
    char *palabras;
}TGAME;

PLBR.c

#include "PLBR.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

typedef struct{
    int players;
    char diff[5];
    int numpal;
    char *palabras;
}TGAME;

在 main.c 中，我只有 #include "PLBR.h" 和一些代码，但没有任何关系。

标签： c

Answer 1

简单的部分

这是一个有趣的问题，因为要完全回答它很复杂。让我们从简单的答案开始：为避免出现问题，请不要在源文件中重新定义类型。在头文件中定义它并在源文件中包含头文件就足够了。

复杂的部分

现在是复杂的部分。typedef如果将名称重新定义为相同类型，则允许您重复定义。C 2018 6.7 3 说：

……标识符的声明不得超过一个……除了：

— 可以重新定义 typedef 名称以表示与当前相同的类型，前提是该类型不是可变修改的类型；...</p>

所以，如果你有typedef int foo;两次或typedef char bar[3];两次，那很好。你也可以有typedef struct MyStruct foo;两次。

但是，您不能有typedef struct { int i; } foo;两次。即使这两个声明具有相同的文本，它们也声明了不同的类型。这是因为 C 2018 6.7.2.3 5 中的一条规则：

… 不包含标记的结构、联合或枚举类型的每个声明都声明了不同的类型。

造成这种情况的原因有时是我们将具有相同内容的结构用于不同的目的。例如，我们可能有一个具有两个double值的结构，用于复数（实部和虚部）和一个具有两个double值的结构，用于平面中的点（x和y坐标）：

typedef struct { double d[2]; } ComplexNumber;
typedef struct { double d[2]; } Point;

让编译器将这些视为不同的类型意味着它可以向我们发出有关错误的警告，例如将 aPoint作为参数传递给Complex预期的 a 。

因此，每次重复定义时，您的结构都是不同的类型。

有一种方法可以多次引用同一个结构类型，那就是给它一个标签：

typedef struct MyTag {
    int players;
    char diff[5];
    int numpal;
    char *palabras;
} TGAME;

然后我们可以重新定义TGAME而不会出错；typedef struct MyTag TGAME;可能出现，甚至多次出现，并且它被重新定义TGAME为相同的类型，struct MyTag，这是允许的。

但是，虽然可以重复 ，但typedef不能重复结构定义。如果您有两次：

typedef struct MyTag {
    int players;
    char diff[5];
    int numpal;
    char *palabras;
} TGAME;

编译器会抱怨。这是因为 C 2018 6.7.2.3 说：

一个特定类型的内容最多只能定义一次。

因此，尽管您可以typedef根据需要多次重复具有相同类型的 a，但您不能重复完整的结构定义。要再次使用结构类型，您只能单独使用标记重复它，而不是使用其内容的完整定义。

综上所述，关于结构标签和类型的规则仍然不完整。仍有范围问题需要考虑。在新范围内使用struct MyTag可以引用以前的类型或创建新类型，具体取决于它的使用方式！

这是一个例子。以下出现错误，因为typedef TypeA TypeB;没有重新定义TypeB为它最初定义为的相同类型：

typedef struct Tag { int x; } MyType;   // Create a new type.

void foo(void)  //  Start a new scope.
{
    typedef struct Tag TypeA;               // Define TypeA as previous type.
    typedef struct Tag { int x; } TypeB;    // Make a new type.
    typedef TypeA TypeB;                    // Error, TypeA is not same as TypeB.
}

但是插入struct Tag;会改变含义：

typedef struct Tag { int x; } MyType;   // Create a new type.

void foo(void)  //  Start a new scope.
{
    struct Tag;                             // Declare struct Tag to be some new type.
    typedef struct Tag TypeA;               // Define TypeA as new type.
    typedef struct Tag { int x; } TypeB;    // Define new type and define TypeB to be that type.
    typedef TypeA TypeB;                    // Works, TypeA is same as TypeB.

    (void) (TypeB *) 0; // (Avoid compiler warning about unused name.)
}