C++模板类重载operator=切换不同模板类型实例触发C2679错误

实现模板类BuilderFunctions<T>作为CRTP基类，多个构建器类继承自该类，用于在遵循DRY原则的前提下封装通用构建逻辑，对外隐藏各构建器不需要暴露的接口。
尝试通过重载基类的operator=实现不同构建器类型之间的无感知切换，但跨类型赋值时代码编译失败。

问题代码 #

基类实现 #

template<class T> class BuilderFunctions
{
protected:
    std::string text;

public:
    template<class Other>
    BuilderFunctions<T>& operator=(const Other& other);
};

template <class T>
template <class Other>
BuilderFunctions<T>& BuilderFunctions<T>::operator=(const Other& other)
{
    // 需补充同对象保护逻辑
    text = other.text;
    return *this;
}

派生构建器类 #

class BuilderGenericList : public BuilderFunctions<BuilderGenericList> 
{
public:
    BuilderGenericList() = default;
};

// 根构建器，封装配置构建细节
class BuilderRootList : public BuilderFunctions<BuilderRootList>
{
private:
    // 在此处删除不需要对外暴露的接口
public:
    BuilderRootList() = default;
};

测试代码 #

// 实际场景：先构建root构建器，再切换到其他构建器，或通过原型实例初始化新构建器
BuilderRootList cmakeRoot;
BuilderGenericList list;

// 分开声明定义，排除拷贝构造逻辑干扰
list = cmakeRoot;

编译报错 #

Error C2679 binary '=': no operator found which takes a right-hand operand 
of type 'BuilderRootList' (or there is no acceptable conversion)

排查确认编译器会查找自定义operator=，但不会从基类模板生成匹配的实例，最终赋值失败。

C++重载决议规则中，派生类隐式生成的同类型拷贝赋值运算符、移动赋值运算符，匹配优先级高于基类定义的模板化赋值运算符。
编译器处理list = cmakeRoot时，会优先在BuilderGenericList作用域查找赋值运算符，命中隐式生成的operator=(const BuilderGenericList&)，该运算符仅接受同类型参数，无法匹配BuilderRootList类型的右操作数；基类的模板赋值运算符因为优先级更低，不会被纳入重载候选列表，因此不会触发模板实例化，最终报无匹配运算符错误。

在每个派生构建器类中，通过using声明将基类的operator=引入派生类作用域，让基类的模板赋值运算符参与重载决议即可。
修改后的派生类示例：

class BuilderGenericList : public BuilderFunctions<BuilderGenericList> 
{
public:
    // 引入基类模板赋值运算符
    using BuilderFunctions<BuilderGenericList>::operator=;
    BuilderGenericList() = default;
};

class BuilderRootList : public BuilderFunctions<BuilderRootList>
{
private:
    // 屏蔽不需要对外暴露的接口
public:
    // 引入基类模板赋值运算符
    using BuilderFunctions<BuilderRootList>::operator=;
    BuilderRootList() = default;
};

优化建议 #

当前基类的模板赋值运算符没有做类型约束，传入非构建器类型时会直接触发other.text访问错误，建议添加SFINAE约束，仅允许Other为BuilderFunctions的派生类时匹配该运算符，同时补充同对象判断逻辑：

#include <type_traits>

template<class T> class BuilderFunctions
{
protected:
    std::string text;

public:
    template<class Other, 
        std::enable_if_t<std::is_base_of_v<BuilderFunctions<Other>, Other>, int> = 0>
    BuilderFunctions<T>& operator=(const Other& other)
    {
        if (static_cast<const void*>(this) != static_cast<const void*>(&other)) {
            text = other.text;
        }
        return *this;
    }
};

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