C++20下Nullable模板特化代码编译失败，C++17可正常编译

1. 检查构造函数特化的语法正确性 #

确保特化的构造函数签名与原模板类中的构造函数完全一致，包括参数类型、cv限定符、引用/指针修饰符。例如：
原模板构造函数：

template<typename T>
class Nullable {
public:
    Nullable(const T& val);
};

正确的特化写法：

template<>
Nullable<String>::Nullable(const String& val) {
    // 实现代码
}

如果原模板中的构造函数是模板构造函数（比如接受任意U类型的参数），特化时需要使用双重template<>声明：

template<typename T>
class Nullable {
public:
    template<typename U>
    Nullable(const U& val);
};

// 特化String版本的模板构造函数
template<>
template<>
Nullable<String>::Nullable(const String& val) {
    // 实现代码
}

2. 确保String类在特化前已完整定义 #

C++20对类模板特化的上下文依赖检查更严格，如果String仅做了前置声明而未完整定义就进行特化，会导致编译器无法解析const String&类型，进而触发语法错误。确保特化代码前已经包含String的完整定义：

// 先定义String基类和String类
class StringBase { /* ... */ };
class String : public StringBase { /* ... */ };

// 再进行Nullable<String>的构造函数特化
template<>
Nullable<String>::Nullable(const String& val) {
    // 实现代码
}

3. 避免依赖基类类型进行特化 #

如果你的特化构造函数试图直接使用StringBase作为参数类型（而非String），这会导致构造函数签名与原模板不匹配——原模板的构造函数参数是const T&（T为String），而特化时用const StringBase&属于不同的签名，C++20会严格拒绝这种不匹配的特化。如果需要支持StringBase类型的构造，应该在原模板中添加对应的重载，而非特化：

template<typename T>
class Nullable {
public:
    Nullable(const T& val);
    // 添加重载支持基类类型
    template<typename U, std::enable_if_t<std::is_base_of_v<StringBase, U>, int> = 0>
    Nullable(const U& val) : Nullable(static_cast<const String&>(val)) {}
};

4. 检查是否存在C++20新增的关键字冲突 #

确保你的代码中没有使用C++20新增的关键字（比如constinit、consteval等）作为标识符，这可能导致编译器误解析语法。

示例修正代码 #

假设原错误代码是因为特化时签名不匹配或类定义顺序问题，修正后的完整代码如下：

#include <type_traits>

class StringBase {
    // StringBase的实现
};

class String : public StringBase {
    // String的实现
};

template<typename T>
class Nullable {
public:
    Nullable(const T& val) {
        // 默认实现
    }
};

// 正确的Nullable<String>构造函数特化
template<>
Nullable<String>::Nullable(const String& val) {
    // String特化的实现
}

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