C ++：强制完成模板编译（MSVC / G ++）

Question

你好，祝你好运。

以下代码片段编译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
    }
};

现在，这显然是因为编译器在有人调用它们之前不会为模板类的方法创建内容。 但是，当您设计大型模板类时，这可能会出现问题（因为您很可能忘记在某处添加测试调用到新方法）。

问题：
是否有g ++或cl.exe的编译器开关会强制编译器处理整个模板（因此这段代码片段会触发编译错误）？

Answer 1

如果要使用几种类型测试模板，可以触发类型的手动实例化，如：

// at namespace level
template class Test<int>;

类模板的显式实例化会自动触发所有成员的实例化，这似乎就是您想要的。

实际问题是该语言旨在明确允许您要避免的行为。 当一个类模板隐式实例化时，编译器将实例只有那些使用的方法。 该功能的主要用途的情况是，有些方法可能对实体化类型强制规定严格的要求比别人，如果所有方法中实例总是那么类模板只能与那些满足更严格的要求类型使用。

通过允许编译器仅实例化所使用的那些方法，类模板可以与不满足所有方法的所有要求的类型一起使用，只要它们满足实际使用的方法的要求即可。 。

一个常见的例子是std::map<>中的operator[] ，它要求value_type是可默认构造的 （如果容器中没有键并且返回对它的引用， operator[]将创建一个新的对象默认初始化 ） 。 只要您不使用operator[] （或任何其他强制要求的成员函数），语言中的行为允许您对不可默认构造的类型使用std::map 。