c++ - 基类模板实例化取决于派生类构造函数参数类型

Question

下面，基类构造函数是不是应该由编译器根据派生类构造函数参数类型生成？

template <class T>
class foo
{
int a;
public:
    foo(T a){}
    // When I convert the constructor to a function template, it works fine.
    // template <typename T> foo(T a){}
};

class bar : public foo<class T>
{
public:
    bar(int a):foo(a){}
};

int main(void)
{
    bar obj(10);
    system("pause");
    return 0;
}

error C2664: 'foo::foo(T)' : cannot convert parameter 1 from 'int' to 'T'

我理解错误，但这是为什么呢？

Answer 1

class bar : public foo<class T> 中的语法不正确。

• 要么 bar取决于模板参数 T和 bar应该是一个模板:

  template<class T>
  class bar : public foo<T>
  {
  public:
      bar(int a):foo(a){}
  };
  
  
  int main()
  {
      bar<int> obj(10);
  }
  

• 或者你想要bar从 foo 的特定实例继承例如:

  class bar : public foo<int>
  {
  public:
      bar(int a):foo(a){}
  };
  
  
  int main()
  {
      bar obj(10);
  }