C++ 如何确定这应该是 string_view？
考虑以下代码：
#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 构造函数？这似乎不仅仅是我以前见过的类型推导。这里似乎编译器正在向我的源代码添加代码，即对构造函数的调用。
回答
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 的类型，因此它调用构造函数来做到这一点，因为它满足要求。