C++继承std::optional时赋值运算符重载歧义的原因及C++20无重写修复方案咨询

先来看你的代码：

#include <optional>

template <typename>
class MyOpt;

template <typename T>
MyOpt(T) -> MyOpt<T>;

template <typename T>
class MyOpt : private std::optional<T>
{

public:
    using std::optional<T>::optional;
    using std::optional<T>::operator=;
};


int main() {
    MyOpt o{42};

    o=52;

    return 0;
}

编译时会触发如下歧义错误：

error: ambiguous overload for 'operator=' (operand types are 'MyOpt' and 'int')
note: candidate: 'constexpr MyOpt& MyOpt::operator=(const MyOpt&)'
note: candidate: 'constexpr MyOpt& MyOpt::operator=(MyOpt&&)'

问题原因 #

这里的核心矛盾可以拆解为几点：

1. 你通过using std::optional<T>::operator=继承了std::optional的所有赋值运算符，其中就包括直接接受T类型的operator=(const T&)和operator=(T&&)，理论上这些应该能直接处理o=52的赋值操作。
2. 但由于MyOpt是私有继承std::optional<T>，且你没有显式声明拷贝/移动赋值运算符，编译器会自动为MyOpt生成**参数为const MyOpt&和MyOpt&&**的隐式拷贝/移动赋值运算符。
3. 关键问题在于：虽然std::optional的构造函数是explicit的，但你的模板推导指引加上列表初始化的特性，让编译器误判int可以通过用户定义转换生成临时MyOpt<int>对象，进而匹配隐式生成的拷贝/移动赋值运算符。
4. 此时编译器看到两个优先级相当的可行重载路径：
   • 直接调用继承来的operator=(const int&)（精确匹配）
   • 将52转换为MyOpt<int>后调用隐式生成的拷贝赋值运算符（用户定义转换）
     两者无法区分，最终导致歧义错误。

C++20 无重写修复方案 #

我们只需要阻止编译器生成不必要的隐式拷贝/移动赋值运算符，同时保留继承自std::optional的所有赋值逻辑即可。在C++20中，显式默认拷贝/移动赋值运算符是最简洁的方案，既不需要重写核心逻辑，又能消除歧义：

#include <optional>

template <typename>
class MyOpt;

template <typename T>
MyOpt(T) -> MyOpt<T>;

template <typename T>
class MyOpt : private std::optional<T>
{

public:
    using std::optional<T>::optional;
    using std::optional<T>::operator=;

    // 显式默认拷贝赋值，编译器会自动复用基类的拷贝逻辑
    constexpr MyOpt& operator=(const MyOpt&) noexcept = default;
    // 显式默认移动赋值，同理复用基类移动逻辑
    constexpr MyOpt& operator=(MyOpt&&) noexcept = default;
};


int main() {
    MyOpt o{42};
    o=52; // 现在可以正常编译

    MyOpt o2 = o; // 拷贝操作正常
    MyOpt o3 = std::move(o); // 移动操作正常
    return 0;
}

为什么这样能解决问题？

• 显式默认的拷贝/移动赋值运算符会覆盖编译器隐式生成的版本，它们的底层实现会自动调用基类std::optional的对应赋值逻辑，完全不需要你重写代码。
• 此时执行o=52时，编译器只会考虑继承来的operator=(const int&)，不会再尝试将int转换为MyOpt（因为std::optional的构造函数是explicit的，显式默认赋值运算符后，编译器的误判逻辑被消除）。

备注：内容来源于stack exchange，提问作者Juergen