Cppreference 对std::optional 的混合（可选和一些其他非可选类型）比较运算符有以下描述：
将 opt 与一个值进行比较。值进行比较（使用 T) 的对应运算符仅当 opt 包含值时。否则， opt 被认为小于值。如果对应的两路 *opt 和 value 之间的比较表达式格式不正确，或者如果 其结果不可转换为 bool，行为未定义。
让我困惑的是：
这些不规范的比较有哪些例子？
为什么编译器/STL 不直接拒绝无效的比较而不是给我们 UB？
【问题讨论】：
T 有一个奇怪的T::operator==
operator==？不知道为什么它是 UB 而不是格式错误...
标签： c++ c++17 stdoptional
这源于不精确的规范，此后已得到纠正。
在C++17 中，这些比较被指定为：
要求：
*x == *y的表达式应该是格式良好的，并且它的结果应该可以转换为bool。
Requires 是一个先决条件，因此不满足这些条件将是undefined behavior。但是有许多不同种类的“先决条件”——这是否意味着静态检查，这是否意味着如果条件不满足，则将运算符从重载集中删除，是否意味着实际的未定义行为？
在C++20 中，这些被指定为：
授权：表达式
*x == *y是格式良好的，其结果可转换为bool。
如果不满足条件，哪个means 程序格式错误。基本上，授权是static_assert（或等效项）。
所以，是的，标准库有义务拒绝比较不存在或没有给你类似bool 的类型。这实际上永远不会给您带来未定义的行为（如果没有这样的运算符，实现会做什么，从/dev/random 读一点？）但现在它被更明确地指定了。
这些更改来自 Marshall Clow 题为“Mandating the Standard Library”的一系列论文，这篇论文特别来自 P1460（感谢 Marshall！）。用于指定标准库的新术语来自 Walter Brown 的“Guidelines for Formulating Library Semantics Specifications”论文 (P1369)。
【讨论】：
FileNotFound。