C++如何知道模板类在编译时支持哪些方法？

Question

template <typename T>
void func(){
  T* t = new T();
  t->do_something();
  ...
}

在这种情况下，编译器如何知道typename T将在其上定义一个方法do_something()？在Java中，我们可以指定泛型类扩展的接口，但C++显然没有相同的语法。那么，如果我们调用func () 会发生什么呢？

Answer 1

在您实例化模板函数之前，编译器并不知道...使用t。然后它将查找t是否有这样的方法...如果不是，您将得到一个错误。

想想像占位符这样的模板类型，在用类型实例化模板函数之前，不会为模板函数生成代码。因此，如果您有这样的函数并且它从未被调用，尽管它仍将接受编译器的一些语法一致性检查，但它将不是程序集的一部分。这是模板的许多特性之一。

当调用func () 时，编译器将typename t替换为aclassthatdoesnthavedoSomethingDefinited。它将尝试创建一个如下所示的函数：

void func(){
  AClassThatDoesntHaveDoSomethingDefined* t = new AClassThatDoesntHaveDoSomethingDefined();
  t->do_something();
  ...
}

这里有更多关于模板的信息：https://isocpp.org/wiki/faq/templates