c++17比较string_view和string时的歧义

Question

我看到std::string_view 和std::string 都具有对称的operator==()，对于std::string，它具有接受std::string_view 的构造函数和将自身转换为std::string_view 的运算符。那么当我们尝试使用operator==()比较std::string_view和std::string时，它应该是模棱两可的吗？

我想我的想法一定有问题。谁能澄清一下？

例子：

std::string s1 = "123";
std::string_view s2 = "123";
// in the following comparison, will s1 use the convert operator to generate a string_view, or will s2 use string's string_view constructor to generate a string?
if (s1 == s2) {...}

Answer 1

这种比较不能模棱两可的原因是std::string 和std::string_view 都不是普通类型。相反，这些是类模板实例化，相应的比较运算符也是如此：

template <class charT, class traits, class alloc>
constexpr bool operator==(const basic_string<charT, traits, alloc>& lhs,
                          const basic_string<charT, traits, alloc>& rhs) noexcept;

template <class charT, class traits>
constexpr bool operator==(basic_string_view<charT, traits> lhs,
                          basic_string_view<charT, traits> rhs) noexcept;

此类定义的函数模板不考虑任何转换。相反，他们期望操作数具有完全相同的类型，因为只有这样推导成功（可以为左右操作数的模板参数推导相同的类型），从而产生可行的候选。同样：

template <typename T>
void foo(T, T);

foo(42, 'x'); // error

由于参数类型不匹配而失败，因为 T 不能是 int 或 char，尽管两者之间存在转换。另外：

struct my_string
{
    operator std::string() const { return ""; }
};

std::string s;
my_string ms;
s == ms; // error

失败，因为编译器无法从my_string 推导出basic_string<charT, traits, alloc>，尽管确实存在对其实例化的隐式转换。

然而，比较 s1 == s2 确实有效，因为标准库的实现预计会提供重载，可以考虑从任何类型到 std::basic_string_view 的隐式转换（这种隐式转换存在从 std::string 到 @ 987654337@)。这可以通过例如禁止对参数之一进行扣除来实现，如[string.view.comparison]/p1 的示例部分所示：

template <class charT, class traits>
constexpr bool operator==(basic_string_view<charT, traits> lhs,
                          __identity<basic_string_view<charT, traits>> rhs) noexcept;

通过将__identity 中的一个操作数的类型定义为template <class T> using __identity = decay_t<T>;，它引入了non-deduced context，为一些std::basic_string_view 创建了重载，另一个参数隐式转换为@987654342 的相同实例化@类模板。

Answer 2

这是因为[string.view.comparisons] 中有一个奇怪的子句：

设S 为basic_­string_­view<charT, traits>，sv 为S 的一个实例。实现应提供足够的额外重载，标记为 constexpr 和 noexcept，以便可以根据表 62 比较具有隐式转换为 S 的对象 t。

表 62 列出了所有比较运算符，视图位于表达式的两侧。

由于std::string 隐式转换为std::string_view，因此将选择此重载。此类重载将与 s1 == s2 情况完全匹配，因此不会考虑隐式转换。

基本上，这是通过 SFINAE 工具实现的。像这样的：

template<typename Str>
std::enable_if_t<std::is_convertible_v<std::string_view, Str>, bool> operator==(const Str &rhs, const std::string_view &lhs);

这样的重载不需要隐式转换，所以它比任何重载都好。