std::可选运算符*() 和运算符->() - 未定义的行为

Question

当实例未初始化时同时具有operator*() 和operator->() - 未定义行为的动机是什么？

为什么不将其视为错误并抛出异常呢？

Answer 1

运行时性能。

请参阅提案修订版 4，其中表示：

对脱离的对象使用间接运算符是一种未定义的行为。此行为提供了最大的运行时性能。