c++ - 哪些成员继承自模板参数

Question

如果我们有一个类模板

template<class Type>
class Field {
....
}; 

现在，如果我将类的对象声明Field为

Field <vector> velocityField;

那么哪些成员函数是vector我的继承形式velocityField

Answer 1

当编译器找到具体类型的声明时，模板参数允许编译器执行通用模板参数本身的替换。你没有继承任何东西。

如果您Type在类中的某处使用Field，则会相应地执行替换，并且编译器只会查找引用的方法。

template<class Type>
class Field {
  void Foo()
  {
    Type instanceOfType;
    instanceOfType.clear();
  }
  void NeverCalledMethod()
  {
     Bar(); //bar doesn't exist
  }
}; 

Field<vector> aField; // here the type Field<vector> is instantiated for the first time.
aField.Foo(); // only here the template class Foo() method is included by the compiler.

在某些情况下（例如的主体具有有效的语法），如果从未调用过Bar()，则编译不会受到其主体中的错误的影响。Bar()因为Bar()它从未被调用过，并且编译器可以解析它但不会尝试实际编译它，所以上面的代码不会产生任何编译器错误。