为什么 std::string 没有直接接受 std::string_view 的构造函数？

Question

为了允许从

std::string

进行

std::string_view

构造，有一个模板构造函数

template<class T>
explicit basic_string(const T& t, const Allocator& alloc = Allocator());

仅当

const T&

可转换为

std::basic_string_view<CharT, Traits>

（链接）时才启用。

同时还有专门的推演指南，可以从

basic_string

推演

basic_string_view

（链接）。对指南的评论说：

需要指南 (2-3)，因为 std::basic_string_views 的 std::basic_string 构造函数被制作为模板，以避免在现有代码中引起歧义，并且这些模板不支持类模板参数推导。

所以我很好奇，需要推导指南和模板构造函数而不是简单地采用

std::basic_string_view

的构造函数的歧义是什么，例如类似的东西

explicit basic_string(basic_string_view<CharT, Traits> sv, const Allocator& alloc = Allocator());

请注意，我不是问为什么构造函数被标记为显式。

Answer 1

歧义在于

std::string

和

std::string_view

都可以从

const char *

构造出来。这使得事情像

std::string{}.assign("ABCDE", 0, 1)

如果第一个参数可以是字符串或 string_view，则不明确。

有几个缺陷报告试图解决这个问题，从这里开始。

第一件事是让成员将 string_view 放入模板中，这会降低他们在重载决策中的优先级。显然，这有点太有效了，所以后来又添加了其他调整。