成员类实例化

Question

N4296::14.7.1/1 [temp.inst]告诉我们以下内容：

  

类模板特化的隐式实例化导致   声明的隐式实例化，而不是   定义，[...]，成员类，[...]

该规则是关于什么的？让我举个例子：

template<class T>
class A
{
public:
    template<class W> class Y; //1, declaration
    template<class V> class U{ V v; };  //2, definition
};

A<int> a; //3, implicit instantiation
int main(){ }

//3处的隐式实例化会导致//2和//1处的隐式实例化吗？如果是这样，用什么模板参数来实例化那些成员类？

Answer 1

与“外部”模板相比，这些成员模板没有什么特别之处。编译器将它们作为声明读取，以便它知道存在A<T>::Y<W>和A<T>::U<V>的名称，这与为A类声明模板时非常相似：

template <typename T>
class A {
     int a;
};

其中也只声明了类A<T>的存在，但没有实例化它。

实例化被推迟到实际使用（或显式实例化）模板化类型，这同样适用于成员模板。