当T包含一个`const`数据成员时，为什么会删除`std::optional<T>::operator=`？
以下代码会导致编译器错误：
#include <optional>
class A {
};
class B {
private:
const A a;
};
int main()
{
B b;
std::optional<B> bo1;
bo1 = b;
}
#include <optional>
class A {
};
class B {
private:
const A a;
};
int main()
{
B b;
std::optional<B> bo1;
bo1 = b;
}
例如，在 gcc 上，错误显示为：
在 MSVC 上，作为另一个例子，错误显示：
main.cpp: In function 'int main()':
main.cpp:12:7: error: uninitialized const member in 'class B'
12 | B b;
| ^
main.cpp:7:13: note: 'const A B::a' should be initialized
7 | const A a;
| ^
main.cpp:14:11: error: use of deleted function 'std::optional<B>& std::optional<B>::operator=(std::optional<B>&&)'
14 | bo1 = b;
| ^
In file included from main.cpp:1:
/lib/gcc-head/include/c++/12.0.0/optional:663:11: note: 'std::optional<B>& std::optional<B>::operator=(std::optional<B>&&)' is implicitly deleted because the default definition would be ill-formed:
663 | class optional
| ^~~~~~~~
/lib/gcc-head/include/c++/12.0.0/optional:663:11: error: use of deleted function 'std::_Enable_copy_move<true, false, true, false, _Tag>& std::_Enable_copy_move<true, false, true, false, _Tag>::operator=(std::_Enable_copy_move<true, false, true, false, _Tag>&&) [with _Tag = std::optional<B>]'
In file included from /lib/gcc-head/include/c++/12.0.0/optional:43,
from main.cpp:1:
/lib/gcc-head/include/c++/12.0.0/bits/enable_special_members.h:248:5: note: declared here
248 | operator=(_Enable_copy_move&&) noexcept = delete;
| ^~~~~~~~
只要我们删除const关键字 in const A a;，错误就会消失。根据std::optional的引用标准，在某些情况下 = 运算符的某些重载将被删除，具体取决于 std::is_...able_v 测试。在这种情况下，为什么const关键字会影响其中一些测试？
回答
optional使用对象的=.
const不能分配具有数据成员的类。它只能被构建。
尝试这个：
B b0;
B b1;
b0=b1;
optional不起作用，因为B不起作用。
另外， try static_assert(!std::is_copy_assignable_v<B>);，它通过了。
现在，这里std::optional有个“后门”。
B b;
std::optional<B> bo1;
bo1.emplace(b);
它构造而不是赋值。
理论上，Optional 可以依赖于此；但是如果内容存在，则需要销毁它然后放置一个新对象。那是有风险的，会弄乱语义，并且是一个不好的默默做的计划。
THE END
二维码