C++ 如何确定这应该是 string_view？

Question

考虑以下代码：

#include <optional>
#include <string_view>

int main() {
    std::optional<std::string_view> opt { "abc" };
    std::cout << opt.value();

    return 0;
}

它编译并在运行时将“abc”输出到控制台。为什么要编译？main 中的第一行代码应该是：

std::optional<std::string_view> { std::string_view { "abc" } };

编译器如何知道使用文字调用 string_view 构造函数？这似乎不仅仅是我以前见过的类型推导。这里似乎编译器正在向我的源代码添加代码，即对构造函数的调用。

Answer 1

编译器如何知道使用文字调用 string_view 构造函数？

std::optional 有一个构造函数，其形式为

template < class U = T >
constexpr optional( U&& value );

这仅用于直接初始化基础对象，前提是T可以从 构造U它，在这种情况下可以使用std::string_view's

constexpr basic_string_view(const CharT* s);

构造函数。

这似乎不仅仅是我以前见过的类型推导

你告诉编译器你有一个std::optional<std::string_view>，所以它不需要确定你有什么类型的可选。它确实确定U了构造函数中的内容，并看到它是一种可用于构造std::string_viewwith 的类型，因此它调用构造函数来做到这一点，因为它满足要求。