你好,祝你好运.
以下代码片段编译cl.exe(15.00.30729.01)和mingw-g(4.4.0)：
template<typename T> class Test{
public:
T t;
void error(){
int doesNotExist = 6;
return doesNotExist;//<---- void function returning result
}
};
int main(int argc,char** argv){
Test<int> test;
return 0;
}
此外,在cl.exe上你甚至可以逃避这样的事情：
template<typename T> class Test{
public:
T t;
void error(){
doesNotExist = 6;//<---- undeclared variable
return doesNotExist;//<---- void function returning result
}
};
现在,这显然是因为编译器在有人调用它们之前不会为模板类的方法创建内容.但是,当您设计大型模板类时,这可能会出现问题(因为您很可能忘记在某处添加测试调用到新方法).
解决方法
如果要使用几种类型测试模板,可以触发类型的手动实例化,如：
// at namespace level template class Test<int>;
类模板的显式实例化会自动触发所有成员的实例化,这似乎就是您想要的.
实际问题是该语言旨在明确允许您要避免的行为.当隐式实例化类模板时,编译器将仅实例化那些使用的方法.该特性的主要用例是某些方法可能对实例化类型施加比其他方法更严格的要求,如果所有方法都被实例化,那么类模板只能用于那些满足更严格要求的类型.
通过允许编译器仅实例化所使用的那些方法,类模板可以与不满足所有方法的所有要求的类型一起使用,只要它们满足实际使用的方法的要求即可. .
一个常见的例子是std :: map<>中的operator [].这需要value_type是默认可构造的(如果容器中不存在该键并且返回对它的引用,则operator []将创建一个初始化的新对象.只要您不使用operator [](或任何其他强制要求的成员函数),语言中的行为允许您对不可默认构造的类型使用std :: map.
