c++ - 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

How does the compiler know to make a call to the string_view constructor with the literal?

std::optional有一个形式为

的构造函数

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

仅当T 时才用于直接初始化底层对象可以从 U 构建，在这种情况下可以使用 std::string_view的

constexpr basic_string_view(const CharT* s);

构造函数。

This seems like it is doing more than just type deduction which I have seen before

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