只有类满足“平凡可比较”条件(所有非静态成员支持比较,且无用户定义的特殊成员函数)时,才能用=default生成operator==和operator<=>;否则编译报错。

什么时候能用 default 自动生成 operator== 和 operator
只有在类满足“平凡可比较(trivially comparable)”条件时,编译器才允许你用 = default 声明比较操作符。简单说:所有非静态成员都得支持对应比较,且不能有用户自定义的析构函数、拷贝/移动构造或赋值函数(即保持“默认特殊成员函数全由编译器生成”的状态)。否则编译直接报错,比如:error: defaulted definition of 'operator==' is not constexpr because 'X::y' is not constexpr 或更常见的 error: use of deleted function 'X::X(const X&)'。
常见踩坑点:std::mutex、std::unique_ptr、含虚函数的基类、手动写了 ~X() —— 这些都会让 operator== 或 operator 的 = default 失效。
operator 默认生成后,== 会自动跟着生效吗?
不会自动“连带生效”,但 C++20 规定:如果你只声明了 operator 为 = default,编译器会隐式生成一个等价的 operator==(前提是该类满足三路比较要求)。不过这个隐式生成的 operator== 是内联的、不可取地址的,且不参与 ADL 查找。所以如果你显式写了 friend bool operator==(const X&, const X&) = default;,它和 operator 是独立的两件事。
实操建议:
立即学习“C++免费学习笔记(深入)”;
- 想同时支持
==和,最稳妥是两个都写= default(C++20 允许) - 如果只写
operator,==虽可用,但某些模板库(如std::unordered_map的哈希要求)仍可能因找不到可取地址的operator==报错 - 注意
operator返回类型必须是std::strong_ordering、std::weak_ordering或std::partial_ordering,不能是int或auto
结构体里有 std::vector 或 std::string,还能 = default 吗?
可以。标准容器如 std::vector、std::string、std::optional 等都已实现 operator== 和 operator ,且是 constexpr 和 noexcept 的。只要你的结构体没破坏平凡性(比如没加自定义析构),直接写就行:
struct Point {
int x, y;
std::string label;
friend bool operator==(const Point&, const Point&) = default;
friend auto operator<=>(const Point&, const Point&) = default;
};
但要注意:如果成员是 std::array<T, N>,其中 T 不支持比较,那整个结构体也会失败;同理,std::variant 要求所有备选项类型都可比较。
为什么加了 [[no_unique_address]] 还报错?
因为 [[no_unique_address]] 只影响对象布局和空基类优化,不影响比较语义。如果被修饰的成员类型本身不可比较(例如某个未定义 operator== 的小工具类),那么即使它不占存储,= default 仍会失败 —— 编译器照样要对它调用 ==。
解决方法只有两个:
- 给那个成员类型补上
operator==(推荐) - 放弃
= default,手写比较逻辑,跳过该成员(如果业务上确实不该参与比较)
别指望编译器帮你“忽略”不可比成员 —— 它连字段名都列在错误信息里,非常诚实。


















