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

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

How does C++ determine this should be a string_view?

c++

local

auto

type-deduction