c++ - 为什么局部变量实例化失败但静态实例化失败？

Question

我正在尝试找到一种简单的方法(使用 C++11 之前的版本，即没有 decltype )来记录模板对类型的正常工作的要求。也许有更好的方法来做到这一点。但是，这是我的问题:

#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<Bar> x;不是错误？对于其他行，我得到了我想要的:

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

Answer 1

这是因为标准要求 test 只有在使用时才会被实例化。模板类的成员变量/成员函数/静态成员在没有被使用的情况下不会被实例化。

在您的情况下，当您尝试执行 x.test 时，编译器会尝试查找 test，但随后无法将其作为 x::size 丢失。

该行为几乎被接受且普遍，当然符合标准。