std::string是否应特化std::less以支持异构查找？

这个问题和技术实现约束没关系，std::basic_string本身完全支持异构查找需要的跨类型比较逻辑，标准没默认开纯粹是为了兼容历史代码，核心原因如下：

• 关联容器触发异构查找的前提是使用透明比较器，也就是带is_transparent内嵌标记的谓词，比如std::less<>。如果标准直接给std::less<std::string>加特化、补上透明标记，等于把所有已经存在的std::map<std::string, T>、std::set<std::string>的查找逻辑全部静默修改。
• 这种无感知的行为变更会踩两类非常隐蔽的坑：
  • 第一类是无预期的性能回退：不少存量代码里实现了const char*和自定义字符串类型、或者第三方字符串类型和std::string的比较重载，这些重载很多没有做性能优化，甚至比直接构造临时std::string还慢，默认开异构查找会自动选中这些慢重载，导致代码性能莫名下降，开发者很难定位原因。
  • 第二类是逻辑错误：部分老代码依赖find查找时构造临时std::string的副作用——比如有人会在构造字符串时做编码归一化、敏感词过滤、权限校验、日志打点，默认走异构查找直接拿const char*做比较，会直接跳过这些逻辑，轻则出现查不到存在的键的问题，重则绕过安全校验。
• C++标准迭代的核心原则之一是绝不破坏已有的合规代码行为，比起让所有存量代码承担隐式变更的风险，让有性能优化需求的开发者主动显式写std::less<>开启异构查找，成本低得多也更安全。

你可以通过显式指定透明比较器的方式开启无临时对象的高性能查找，示例代码如下：

int main()
{
    {
        // 默认写法：查找时会构造临时std::string对象，存在额外性能开销
        std::map<std::string, int> m;
        auto it = m.find("Olaf");
    }
    {
        // 显式指定透明比较器：直接比较const char*和std::string，无需构造临时对象
        std::map<std::string, int, std::less<>> m;
        auto it = m.find("Olaf");
    }
}

补充：这个规则不是std::string专属，所有标准库的可比较键类型默认都没有开启透明异构查找，统一遵循兼容优先的设计逻辑。

内容的提问来源于stack exchange，提问作者Martin Ba