c – 检查是否已实例化类模板？

template <typename T> class Stack { };
void f1(Stack<char>); // (a)
class Exercise {
    Stack<double> &rsd; // (b)
    Stack<int> si; // (c)
};
int main() {
    Stack<char> *sc; // (d)
    f1(*sc); // (e)
    int iObj = sizeof(Stack< string >); // (f)
}

我不确定如何才能真正检查我的答案.我想也许我可以为每个类类型使用显式实例化(例如extern模板类Stack< char>),然后在程序中永远不会有相应的显式实例化定义.这样,如果事情被实例化,如果定义后来没有出现,那么链接器就会出错.

但是,编译器/链接器并不总是识别出这样的错误：

template <typename T> class A{ };
extern template class A<int>;
int main(){
    A<int> a; 
}

这在gcc 4.9.2上编译得很好.但是,如果这是我程序中唯一的目标文件,那么从N3337的[14.7.2] [11]我可以看出它应该是一个错误：

If an entity is the subject of both an explicit instantiation declaration and an explicit instantiation definition in the same translation unit,the definition shall follow the declaration. An entity that is the subject of
an explicit instantiation declaration and that is also used in a way that would otherwise cause an implicit instantiation (14.7.1) in the translation unit shall be the subject of an explicit instantiation definition somewhere in the program; otherwise the program is ill-formed,no diagnostic required.

(我猜测“不需要诊断”是为什么这不会引起错误？).或者,只要不完整的类类型不适用于表达式,就会发生实例化 – 这样我就可以通过删除Stack的定义来检查？

template <typename T> class Stack;

因此,每个不完整的类型错误对应于实例化发生的地方？