为 const char * 定义 std::begin 是否合法？

Question

我有一个不区分大小写比较字符串的函数，它使用std::lexicographical_compare 和自定义比较器。

但是，我希望能够将strings、string_views 和const char* 相互比较，以获得最大的便利和效率。

所以我在想：如果我做一个模板，std::string 有 begin/end，std::string_view 有 begin/end，... 但 const char* 没有，甚至不是非成员函数的形式。

所以可以像这样定义自己的begin/end重载

namespace std {
    const char * begin(const char* str) { return str; }
    const char * end(const char* str) { return str + strlen(str); }
}

这样我就可以将所有内容与所有内容进行比较

std::lexicographical_compare(std::begin(a), std::end(a), std::begin(b), std::end(b), icomp );

?

如果没有，我还能如何解决我的问题？

Answer 1

不，这是不合法的，因为const char * 不是用户定义的类型。

如果 C++ 程序添加声明或 定义到命名空间 std 或命名空间 std 中的命名空间 除非另有规定。程序可以添加模板 仅将任何标准库模板专门化到命名空间 std 如果声明依赖于用户定义的类型并且 专业化满足标准库的要求 原始模板，未明确禁止

[namespace.std/1]

您可以改为在其他命名空间中声明它们，例如 ::

const char * begin(const char* str) { return str; }
const char * end(const char* str) { return str + strlen(str); }

并将它们用于不合格的调用

std::lexicographical_compare(begin(a), end(a), begin(b), end(b), icomp );

此外，在 C++20 中，它会更加严格，只允许程序定义类型的类模板特化

除非另有说明，否则 C++ 程序的行为是未定义的 如果它将声明或定义添加到命名空间 std 或 命名空间std内的命名空间。

除非明确禁止，否则程序可以添加模板 任何标准库类模板到命名空间的特化 std 前提是 (a) 添加的声明至少依赖于一个 程序定义的类型和 (b) 专业化符合标准 原始模板的库要求。

[namespace.std]