C++显式特化未声明模板类报错原因及模板参数约束方法

涉及代码片段 #

基础模板接口类 #

template <class T>
class Builder {
    public:
        // 虚析构函数
        virtual ~Builder(){}
        // 构建实现类的具体实例
        virtual T build() const =0;
};

编写的ConcreteBuilder实现类 #

template <class T>
class ConcreteBuilder<T> : Builder<T> {
    public:
        // 虚析构函数
        virtual ~ConcreteBuilder(){}
        // 重写Builder<T>的build()基类方法
        virtual T build() override {
            return 0;
        }
};

测试用模拟类 #

class MockedClass {
    public:
        std::string return_hi() const {
            return std::string {"Hi!"};
        }

        int return_num() const {
            return 10;
        }
};

测试代码 #

MockedClass mc;
std::cout << mc.return_hi() << std::endl;
std::cout << mc.return_num() << std::endl;

ConcreteBuilder<MockedClass>;

编译报错信息 #

error: explicit specialization of undeclared template class 'ConcreteBuilder'

已知现象：如果将ConcreteBuilder定义处的class ConcreteBuilder<T>修改为class ConcreteBuilder : Builder<T>即可正常编译，待解答两个问题：

• 上述报错出现的具体原因是什么？
• 要如何约束ConcreteBuilder，强制使用时必须指定类型参数，不允许出现无类型参数的ConcreteBuilder;写法？

问题解答 #

1. 报错触发原因 #

报错来自C++模板定义的语法规则误用：

• 定义模板主类（即通用泛型版本的模板类）时，类名后不能跟随模板参数列表<T>；只有对已声明的模板做显式特化、偏特化时，才需要在类名后追加尖括号包裹的特化参数。
• 所写的template <class T> class ConcreteBuilder<T> : Builder<T>，会被编译器识别为「对已存在的模板ConcreteBuilder做特化」，但此前从未声明过名为ConcreteBuilder的主模板，因此编译器抛出「对未声明模板类做显式特化」的错误。
• 当删除类名后的<T>，写为template <class T> class ConcreteBuilder : Builder<T>时，才符合模板主类的定义语法，编译器会正确识别这是一个新定义的泛型模板类，因此可以正常通过编译。

额外注意两个细节：

• 即使修正了ConcreteBuilder的定义，测试代码中ConcreteBuilder<MockedClass>;也是一条无实际逻辑的语句，作用仅为显式实例化该模板类型，不会生成任何可执行逻辑。
• 当前实现的build()方法直接return 0;存在逻辑缺陷，当模板参数T为MockedClass这类无法从0隐式构造的类型时，会触发新的编译错误，通用实现应写为return T{};。

2. 强制指定类型参数的实现方式 #

只要按照正确语法将ConcreteBuilder定义为类模板，本身就不允许无模板参数的使用方式：

• 类模板本身不是C++中的合法类型，只有传入具体模板参数后得到的实例化类型（如ConcreteBuilder<MockedClass>）才可以被使用。直接写无参数的ConcreteBuilder;属于非法语法，编译器会直接抛出类型缺失的错误，不需要额外添加约束。
• 之前观察到的「移除类名后的就能写无参数ConcreteBuilder」是误解：只有当错误将ConcreteBuilder定义为非模板的普通类时，裸写ConcreteBuilder;才是合法语句；只要ConcreteBuilder是正确定义的模板，这种写法必然编译失败。

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