基類模板實例化取決於派生類構造函數的參數類型

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<class T>的語法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); }