为什么局部变量实例化失败，而静态变量实例化失败？

Question

我正在尝试找到一种简单的方法（使用C 11之前，即没有dectype）来记录模板对类型的哪些要求才能正常工作。也许有更好的方法可以做到这一点。但是，这是我的问题：

#include <iostream>

template <typename T> struct Foo {
    static const int test = sizeof(T::size);
};

template <typename T> struct DetectAndError {
    DetectAndError() { int test = sizeof(T::size); }
};

struct Bar {};

int main() {
    Foo<Bar> x;                            // NO ERROR ? :/
    // std::cout << x.test << std::endl;   // ERROR :)
    // DetectAndError<Bar> y;              // ERROR :)
}

为什么是Foo

error: 'size' is not a member of 'Bar' 




Answer 1

另一个答案是有效的，但这里有一些标准：

N4140§14.7.1[温度仪表]/1和2

类模板专门化的隐式实例化会导致声明的隐式实例化，但不会导致类成员函数、成员类、作用域成员枚举、静态数据成员和成员模板的定义、默认参数或异常规范的隐式实例化；它会导致非作用域成员枚举和成员匿名联合定义的隐式实例化。

当在要求成员定义存在的上下文中引用专门化时，会隐式实例化成员的专门化；特别是，静态数据成员的初始化（以及任何相关的副作用）不会发生，除非静态数据成员本身的使用方式要求静态数据成员的定义存在。

因此，test仅在第一行声明，但在尝试实例化时会产生错误。至于DetectAndError，您正在隐式调用它的默认构造函数。typedef DetectAndError

Answer 2

这是因为标准要求只有在使用时才会实例化测试。如果不使用模板类的成员变量/成员函数/静态成员，则不会对其进行实例化。

在您的情况下，当您尝试执行x.test时，编译器会尝试查找测试，但随后无法执行，因为缺少x：：size。

这种行为几乎被接受和普遍，当然也符合标准。