是C语法：T foo；有效的

Question

下面的代码是用Clang编译和运行的（在13、14和当前git头上进行了测试），但不是用GCC。

struct foo {
  int field<0, 1, int, 3>;
};

但我不明白它在宣告什么：这个领域是什么？

int field<0, 1, int, 3>;

我可以在字段里放任何我想要的东西




Answer 1

如果对foo的字段成员没有任何类型的有效定义，这就不是有效的C语法。

下面的代码编译并运行

我试着编译了下面的程序：

#include <iostream>

struct foo {
  int field<0, 1, int, 3>;
};

int main(void){
    foo x;
    std::cout << x.field << std::endl;
}

用铿锵v13。arch linux上的0.1编译器

clang++ -std=c++20 main.cc -o main

它会产生一些错误：

main.cc:9:20: error: no member named 'field' in 'foo'
std::cout << x.field << std::endl;
             ~ ^
1 error generated.

上述错误清楚地表明，字段不是模板。

然后，我尝试用gcc v11编译它。2.0，它给出了语法错误

main.cc:4:7: error: expected ‘;’ at end of member declaration
    4 |   int field<0, 1, int, 3>;
      |       ^~~~~
      |            ;
main.cc:4:12: error: expected unqualified-id before ‘<’ token
    4 |   int field<0, 1, int, 3>;

这是clangv9中的某种bug。0哪个可以做到这一点。

Answer 2

如果没有字段的声明，这甚至不是有效的语法：

Answer 3

假设字段不是已声明的模板，则程序的格式不正确。

但我不明白它在宣告什么：这个领域是什么？

Clang AST说：

`-CXXRecordDecl 0xdb6f20 <test.cpp:1:1, line:3:1> line:1:8 struct foo definition
  `-FieldDecl 0xdb7168 <line:2:3> col:7 'int'

clang AST用于具有int字段的程序；：

`-CXXRecordDecl 0x168af90 <test2.cpp:1:1, line:3:1> line:1:8 struct foo definition
  `-FieldDecl 0x168b150 <line:2:3, col:7> col:7 field 'int'

所以，看起来Clang认为有一个int字段被声明了，但字段的名称是空的。这似乎可以通过初始化这个“未命名”字段得到证实：

foo f{0}; // compiles in Clang

第一个出现此错误的叮当版本似乎是9：https://gcc.godbolt.org/z/d386oz8v8