Microsoft STL 中 regex_traits::transform_primary 的类型检测问题

在 Microsoft STL 标准模板库的实现中，regex_traits::transform_primary 方法存在一个重要的类型检测缺陷。这个问题涉及到正则表达式特性类的关键功能实现，特别是在处理不同语言环境下的字符串比较时。

问题本质

regex_traits::transform_primary 方法的主要功能是为正则表达式匹配提供不区分大小写和重音符号的字符串转换。根据 C++ 标准规范，该方法应该实现特定的比较逻辑，但当前实现存在两个主要问题：

1. 缺少对 typeid 的正确检测，导致在某些情况下无法正确识别字符类型
2. 对于非 C 语言环境下的变音符号处理不完善

技术背景

在 C++ 标准库中，regex_traits 类负责为正则表达式提供特定于字符类型的特性。transform_primary 方法是其核心功能之一，用于生成可用于不区分大小写比较的转换键。

当前的实现直接使用了通用的 traits 要求，而没有遵循标准中规定的具体实现方式。这导致了在非 C 语言环境下，特别是需要处理变音符号的语言环境时，可能无法提供正确的比较结果。

解决方案探讨

要解决这个问题，需要考虑以下几个方面：

1. 需要添加新的 _Strxfrm() 和 _Wcsxfrm() 变体，这些变体应该调用 __crtLCMapStringA/W 并带有适当的标志位，以支持非 C 语言环境下的正确比较。

2. 这些新变体需要确保返回值的一致性，这与当前 _Strxfrm() 和 _Wcxsfrm() 实现中存在的返回值不一致问题不同。

3. 关于 std::locale 的实现细节也需要注意。目前 std::locale 构造的是 std::collate<charT> 类型的 facets，而不是 std::collate_byname<charT> 类型。这意味着类型检测逻辑需要相应调整。

实现挑战

修改这个功能面临的主要挑战包括：

1. 二进制兼容性问题：std::locale 是标准库中最脆弱的部分之一，任何修改都可能影响现有代码的二进制兼容性。

2. 多语言环境支持：需要确保在各种语言环境下都能正确处理变音符号和大小写不敏感的比较。

3. 性能考虑：字符串转换和比较操作是正则表达式匹配中的高频操作，任何修改都需要考虑性能影响。

结论

这个问题反映了标准库实现中语言环境处理和类型系统交互的复杂性。正确的解决方案需要在遵循标准规范的同时，兼顾现有实现的稳定性和兼容性。对于开发者而言，了解这一问题的存在有助于在使用正则表达式进行国际化字符串处理时避免潜在的问题。

Microsoft STL 团队需要仔细评估修改方案，确保既能解决问题，又不会引入新的兼容性或稳定性问题。对于用户来说，在涉及多语言文本处理的正则表达式应用中，应当注意测试各种语言环境下的匹配行为。