C语言结构体无标签声明错误及static成员作用域疑问

一、第一段代码的错误分析 #

先看你贴的这段代码：

struct { tBoolean logON; static enum eLogLevel outputLevel[NUM_LOG_SUBSYSTEM]; } sLogStruct; 
static struct sLogStruct gLogData; 

这里的核心错误是你把匿名结构体的变量名当成了结构体类型名：

• 第一行的struct { ... } sLogStruct;是定义了一个匿名结构体，同时创建了一个名为sLogStruct的变量，而不是定义了名为sLogStruct的结构体类型。
• 所以第二行static struct sLogStruct gLogData;里的struct sLogStruct是未定义的类型，编译器自然会报错。

正确的写法应该是给结构体显式命名，比如：

// 先定义结构体类型
struct sLogStruct {
    tBoolean logON;
    enum eLogLevel outputLevel[NUM_LOG_SUBSYSTEM];
};
// 再定义变量
static struct sLogStruct gLogData;

（注：这里还需要额外说明：C语言里结构体不能包含static成员，上面代码已经去掉了static修饰，后面会详细讲这个规则）

二、结构体内部static成员的含义与作用域 #

这里要分C语言和**C++**两种情况说明，两者的规则完全不同：

1. C语言中的规则 #

在标准C语言里，结构体/联合体的成员不能被声明为static，这是语法错误。如果你尝试写struct myStruct { int Foo; static int sFoo; };，编译器会直接报错，根本无法通过编译。

2. C++中的规则 #

C允许结构体（因为C里结构体和类本质仅默认访问权限不同）包含static成员：

• static成员属于整个结构体类型，而不是某个具体的实例对象。
• 比如你举的例子：

  struct myStruct { 
      int Foo; 
      static int sFoo; 
  } strA, strB;
  

  strA和strB会共享同一个sFoo变量，而不是各自拥有独立的副本。无论创建多少个myStruct的实例，sFoo只有一份，所有实例都访问同一个内存地址的变量。
• static成员的作用域：它的作用域和结构体的作用域一致（比如结构体在全局作用域定义，那static成员就是全局作用域的，但受结构体名称空间限制），存储期是整个程序运行期间，和全局变量类似，但属于结构体的命名空间。

总结一下：你第一段代码的错误确实存在，是把匿名结构体的变量名误用为类型名；而结构体里的static成员在C里不允许，在C++里是类型共享的，不是每个实例独有。

内容的提问来源于stack exchange，提问作者MFrancone