C++抽象类无参数类型推导的模板构造函数实现问题

首先明确：C++语法中，Base<T>()这种写法被编译器解析为实例化类模板Base，但你的Base是普通类（仅带有模板构造函数），并非类模板，因此无论Base是否为抽象类，该语法都不合法——这是语法规则限制，和类是否可实例化无关。

下面提供三种可行的解决方案：

方案一：给模板构造函数添加类型推导参数 #

通过给构造函数模板添加一个用于推导模板参数T的参数（无需实际使用该参数），即可在派生类中显式指定类型：

class Base {
public:
    template <typename T>
    // 用T*类型参数辅助推导，传递nullptr即可
    Base(T*) {
        /* 这里可以使用模板参数T做操作 */
    }
    
    virtual void foo() = 0;
};

class Derived : public Base {
public:
    // 用static_cast指定T为int，传递nullptr
    Derived() : Base(static_cast<int*>(nullptr)) {}
    
    void foo() override {}
};

也可以用C++20的std::type_identity来更清晰地传递类型信息：

#include <type_traits>

class Base {
public:
    template <typename T>
    Base(std::type_identity<T>) {
        /* 使用T执行逻辑 */
    }
    
    virtual void foo() = 0;
};

class Derived : public Base {
public:
    Derived() : Base(std::type_identity<int>{}) {}
    
    void foo() override {}
};

方案二：将基类改为类模板 #

如果业务允许将基类设计为类模板，那么可以直接通过继承特定实例化的基类来实现需求：

template <typename T>
class Base {
public:
    Base() {
        /* 使用T执行逻辑 */
    }
    
    virtual void foo() = 0;
};

// 继承Base<int>实例
class Derived : public Base<int> {
public:
    Derived() : Base<int>() {}
    
    void foo() override {}
};

注意：这种方式会为不同的T生成独立的Base类实例，若需要派生类兼容多种T类型，该方案可能不适用。

方案三：使用模板初始化方法替代模板构造函数 #

将原本在模板构造函数中的逻辑移到受保护的模板成员函数中，在派生类构造函数中显式调用该方法：

class Base {
protected:
    template <typename T>
    void init() {
        /* 使用T执行原本在构造函数中的逻辑 */
    }
    
public:
    virtual void foo() = 0;
};

class Derived : public Base {
public:
    Derived() {
        // 显式指定模板参数调用初始化方法
        init<int>();
    }
    
    void foo() override {}
};

这种方式无需额外构造参数，语法简洁，且避免了构造函数模板的语法限制。

内容的提问来源于stack exchange，提问作者UniCode