我想知道，当我创建具有指定模板类型参数的类模板实例时。
1) 为什么未调用的函数没有被实例化？ .
2) 在我尝试使用它之前，它们不会被编译吗？
3) 这种行为背后的逻辑是什么？
示例
template <class T>
class cat{
public:
T a;
void show(){
cout << a[0];
}
void hello(){
cout << "hello() get called \n";
}
};
int main(){
cat<int> ob1; // I know that show() did not get instatiated, otherwise I will get an error since a is an int
ob1.hello();
}
【问题讨论】：
模板不是代码 - 它们是用于制作实际代码的模式。在您提供参数之前，模板并不完整，因此无法提前制作代码。如果您不使用一组特定的模板参数调用函数，则永远不会生成代码。
【讨论】：
如果他们实例化了整个类，那么你可能会得到无效的代码。
你并不总是想要那个。
为什么？因为在 C++ 中，“仅当 X、Y 和 Z 为真时才编译此代码”是困难（据我所知，在某些情况下，完全不可能）。
例如，你会怎么说“如果嵌入的对象可以被复制，只有我的复制构造函数”？据我所知，你不能。
所以他们只是让它们无法编译，除非你真正调用它们。
【讨论】：
稍微修饰一下：这通常称为duck typing，底线是它允许您编写“类模式”，其中一些成员函数在用一个实例化时可能会应用模板类型，other 成员可以在使用第二种模板类型实例化时应用，并且只需要您实际调用的那些进行编译，您可以为最终成为常见操作的操作编写更少的代码.
通过不要求编译所有成员函数，您可以获得对实际编译的函数进行静态类型检查的所有细节。
例如，假设您有：
template <typename E>
class myContainer {
// Imagine that constructors, setup functions, etc. were here
void sort(); // this function might make sense only if E has an operator< defined
E max(); // compute the max element, again only makes sense with a operator<
E getElement(int i); // return the ith element
E transmogrify(); // perhaps this operation only makes sense on vectors
};
那么你有
// sort() and getElement() makes total sense on this, but not transmogrify()
myContainer<int> mci;
// sort and max might not be needed, but getElement() and transmogrify() might
myContainer<vector<double>> mcvd;
【讨论】：
没有为cat<int>::show() 生成代码，因为您从不调用它。如果你调用它，你会得到一个编译错误。从未调用过的模板函数不存在。
模板只不过是测试替换机制。这使他们非常强大。作为程序员，您可能想要创建一个cat<int>，因为您知道您永远不会调用show() 或调用任何其他无效的东西。编译器会让你知道你是否这样做了，所以效果很好。
因此，如果您的问题是“为什么它会这样工作”，我会问您“为什么不”？这是一个设计选择。这种选择使我可以安全地使用模板类型，并且仍然可以从代码的其他部分中受益。有什么害处？您还生成了更少的代码，这是一件好事，对吧？
【讨论】：