为何在C++模板前加struct可让非法变量定义通过GCC编译？

首先看示例代码：

class Base {
  int i;
};

template <auto V>
struct Foo {
  int a;
};

int main()
{
    struct Foo<&Base::i> struct_foo; // GCC 12.2 编译通过
    Foo<&Base::i> foo;              // 编译失败
}

造成两者编译结果差异的核心原因是模板实参的访问权限检查时机与上下文规则不同：

• 第二行编译失败的原因
  Foo<&Base::i> foo; 中，&Base::i 作为模板实参需要在main函数的作用域内直接求值。由于Base::i是私有成员，main作为外部函数没有访问权限，编译器在检查模板实参合法性时，会直接报错提示无法访问私有成员。

• 第一行编译通过的原因
  struct Foo<&Base::i> struct_foo; 使用了详述类型说明符来声明变量。GCC在处理这种写法时，对模板实参的访问权限检查规则做了特殊处理：它将模板实参的访问检查延迟到了模板实例化的内部上下文，而非当前的main函数作用域。简单来说，GCC认为在struct关键字引导的类型声明场景中，模板实参的访问权限检查会被放宽，允许通过私有成员指针来实例化模板。

这种差异是GCC对C++标准的实现细节处理，其他编译器（如Clang）可能会对两行代码都报错——因为严格来说，外部作用域本就无权直接引用私有成员的指针。

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