c++ - 是否使用空 std::optional UB？

Question

以下代码:

    std::optional<std::string> so;
    std::cout << so->size() << std::endl;
    std::cout << so.has_value();

输出:

   0
   0  

我的问题是打电话是否安全: so->size()在一个空的可选。我使用了 clang sanitizer ，但它没有在上面的代码中报告任何 UB。

Answer 1

使用 operator->在空 std::optional是未定义的行为，不管是什么类型 T在 std::optional<T> .
根据 std::optional<T>::operator-> 上的 cppreference :

The behavior is undefined if *this does not contain a value.