STD :: String应该专门使用STD ::支持异质查找的支持吗？

Question

能够在带有的容器中查找 char*，而无需创建临时字符串对象，而无需创建 ：//www.cppstories.com/2021/heterogeneous-access-cpp20/“ rel =“ nofollow noreferrer”>好东西。请参阅：避免使用std :: map :: find（） 和 https：//www.cppstories.com/2021/2021/heterogeneous-eterogenous-access-access-access-cpppps-cpp20/ 和...

有原因为什么C ++为什么无法为任何类型的 t 用作关键类型的任何类型启用。

因此，与C ++ 20/23起，我们将剩下：

int main()
{
    {
        // Slow, constructs temporary
        std::map<std_string, int> m;
        auto it = m.find("Olaf");
    }
    {
        // "Fast" does not need to construct temporary
        std::map<std_string, int, std::less<>> m;
        auto it = m.find("Olaf");
    }
}

但是 - 我想知道为什么 std :: String 不会自动选择通过为 std :: Less＆lt; std :: string＆gt; 提供（部分？）专业？是否尚未指定这一点，或者是否有任何合法原因为什么 std :: string （或者 std :: basic_string＆lt; ...＆gt; ）无法执行此操作？

Answer 1

我认为主要原因是没有人提出它。魔术没有任何事情发生，必须由某人提出，然后审查和批准。如果提案步骤没有发生，什么都不会改变。

但是，应该注意的是，制作 std :: Less＆lt; std :: string＆gt; 透明是对类型的打破变化，例如：

class StupidString
{
  std::string m_str1;
  std::string m_str2;
public:
  // Constructors etc. ...

  operator std::string() const { return m_str1; }

  std::strong_ordering operator<=>(const std::string& s) const
  { return m_str2 <=> s; }
};

此类直接与 std :::字符串或首先转换为 std :: String 然后进行比较。

今天，将此类的实例传递到 map＆lt; string，int＆gt; :: find（const string＆amp;）将隐式转换为 std :: String ，因此请使用 m_str1 。但是，如果 std :: Less＆lt; std :: string＆gt; 是透明的，则将使用 m_str2 进行比较。那会改变行为。

可以说，这堂课很愚蠢，值得打破。由于添加＆lt; =＆gt; 语言对与这种奇怪行为的比较不一致的比较要少得多。但是，即使乍看之下，即使破裂的代码看起来愚蠢，也总是需要仔细考虑打破变化。

可以制作 std :: Less＆lt; std :: string＆gt; 能够直接与 Just const char*和进行比较std :: string_view 没有转换（对于操作员＆lt; ），例如

template<>
struct less<string>
{
  bool operator()(const string&, const string&) const noexcept;
  // Not in the standard today:
  bool operator()(const string&, string_view) const noexcept;
  bool operator()(const string&, const char*) const noexcept;
  bool operator()(string_view, const string&) const noexcept;
  bool operator()(const char*, const string&) const noexcept;
};

，这也可能是一个破坏的变化。可转换为 std :: String 和 const char*（或 std :: String 和 std :: string_view string_view ）的类型/code>）现在将无法传递给 std :: Less＆lt; std :: string＆gt; ，因为它会变得模棱两可。这可以解决，例如

template<typename T>
concept string_view_or_char_ptr
   = same_as<string_view> || same_as<T, const char*> || same_as<T, char*>;

template<>
struct less<string>
{
  bool operator()(const string&, const string&) const noexcept;
  // Not in the standard today:
  template<string_view_or_char_ptr T>
  bool operator()(const string&, T) const noexcept;
  template<string_view_or_char_ptr T>
  bool operator()(T, const string&) const noexcept;
};

，这实际上无济于事。因为此专业化并未定义 is_transparent 成员（因为它不完全透明，因为它仅接受三种类型，而不是 std :: string ），容器不会定义采用任意密钥的其他功能模板。因此，额外的 sill＆lt; string＆gt; :: operator（） Overloads将不会使用，并且您仍然会转换为 std :: String 查找（“ OLAF”）。

对不起。