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

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;
}

错误 C2664：“foo::foo(T)”：无法将参数 1 从“int”转换为“T”

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

Answer 1

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

• bar 取决于模板参数 T 并且 bar 应该是一个模板：

  模板
  类栏：公共 foo
  {
  民众：
      酒吧（int a）：foo（a）{}
  };
  
  
  int main()
  {
      酒吧对象（10）；
  }
  

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

  class bar : public foo;
  {
  民众：
      酒吧（int a）：foo（a）{}
  };
  
  
  int main()
  {
      酒吧对象（10）；
  }