我看到 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) {...}
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到std::string_view的隐式转换）。可以通过抑制其中一个参数的推导来实现这一点，示例部分在[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;
template <class T> using __identity = decay_t<T>;的__identity，它引入了一个非推导上下文，为某些std::basic_string_view和另一个隐式转换为相同实例化的std::basic_string_view类模板的参数创建了一个重载。请注意保留HTML标签。decay_t<basic_string_view<charT, traits>>如何强制执行隐式转换呢？ - golden retrieverstd :: decay_t <T>是一个别名模板，它扩展为typename std :: decay <T> :: type。编译器看到::type是一个依赖类型（取决于T），不会尝试推断T。这是所谓的非推导上下文。但是，如果T也在另一个函数参数的定义中使用，并且可以在那里推断出来，则将用它来实例化处于非推导上下文中的该参数。最终，您将获得接受两个basic_string_view的operator ==，但仅从一个参数的模板参数。 - Piotr Skotnicki设
S为basic_string_view<charT, traits>，sv是S的实例。实现应提供足够的额外重载，标记为constexpr和noexcept，以便具有隐式转换为S的对象t可以根据表62进行比较。
表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);
t可以进行比较”。如果它们不是精确匹配，则与string_view比较将产生歧义，因此它们无法进行比较。因此，精确匹配的要求是必需的。此外，几乎没有办法实现这样的事情而不使其成为精确匹配，即使忽略创建歧义的情况。 - Nicol Bolasbool operator==(string, string)。相反，有template<class C, class T, class A> bool operator==(const basic_string<C, T, A>&, const basic_string<C, T, A>&)，只有当两个操作数都可以推导成功时才有效，因此它不考虑转换，这就是为什么我的答案被删除的原因。 - Piotr Skotnicki
string_view又有string，那么op==会使用哪一个。 - Lightness Races in Orbit