C++模板参数如何区分左值与右值分别实现对应重载

你最初的重载匹配错误本质是转发引用（万能引用）的重载优先级规则导致的：
template <typename AnyDerivedType> void operator=(AnyDerivedType&& ptr)是典型的转发引用模板，当你传入非const左值d时，模板会将AnyDerivedType推导为PointerDerived&，经过引用折叠后参数类型为PointerDerived&，这个非const左值引用的匹配优先级，高于你写的另一个重载推导出来的const PointerDerived&，因此无论传入左值还是右值，都会优先匹配到转发引用版本，不会走到const左值引用的拷贝重载。

你提出的转发引用+编译期判断的思路是正确的，不需要额外拆分assign/move两个独立函数，可以直接简化为单重载内的编译期分支，同时补充自身类型过滤逻辑，避免模板重载意外覆盖类自身的拷贝/移动赋值（这也是std::shared_ptr等标准库组件的通用设计原则）：

#include <type_traits>
#include <utility>

class PointerBase
{
public:
    // 显式删除默认生成的类自身拷贝/移动赋值
    PointerBase& operator=(const PointerBase&) = delete;
    PointerBase& operator=(PointerBase&&) = delete;

    template <typename T>
    void operator=(T&& ptr)
    {
        using PureT = std::remove_cvref_t<T>;
        // 过滤自身/派生类赋值场景，避免覆盖专用重载
        if constexpr (std::is_base_of_v<PointerBase, PureT>) {
            static_assert(!std::is_same_v<PureT, PointerBase>, "Use dedicated copy/move assignment for PointerBase itself");
        }
        // 判断传入值类别：左值走拷贝逻辑
        else if constexpr (std::is_lvalue_reference_v<T>) {
            /* 拷贝逻辑实现 */
        }
        // 右值走移动逻辑
        else {
            /* 移动逻辑实现，可通过std::forward<T>(ptr)安全转移所有权 */
        }
    }
};

class PointerDerived {};

int main()
{
    PointerBase b;
    PointerDerived d;
    b = d; // 正确进入拷贝分支
    b = std::move(d); // 正确进入移动分支
}

• 不需要维护两个平行的模板重载，从根源上避免重载决议优先级导致的匹配错误
• 值类别判断直接基于模板参数推导结果：转发引用场景下，传入左值时T会被推导为左值引用类型，传入右值时T为纯值类型，判断逻辑零编译开销，比通过std::forward后再判断引用类型更直接
• 增加了自身类型过滤逻辑，和标准库智能指针的设计保持一致：模板赋值运算符仅处理外部类型的赋值，类自身的拷贝/移动走独立的非模板重载，不会出现模板意外匹配的问题

如果是C++17之前的版本，只能通过SFINAE约束两个模板重载的匹配范围实现，但写法繁琐易出错，没有特殊兼容需求不推荐使用。

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