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_view 的类型，因此它调用构造函数来执行此操作，因为它满足要求。