为何无法在自定义命名空间特化std::formatter？合规方案探讨

核心规则 #

根据C++标准，特化std::formatter<T>需遵循以下要求：

• 若T是用户自定义类型，显式特化可放在T所在的命名空间（依赖参数查找ADL），或放在std命名空间内。
• 禁止在与T无关的自定义命名空间中特化std::formatter<T>（这是你变体1失效的根源）。
• 禁止在std命名空间内添加非显式特化的模板（变体2属于违规，仅依赖编译器宽松处理，不可移植）。

可移植的合法方案 #

方案1：在std命名空间内显式特化 #

这是最通用的方案，所有主流编译器（MSVC、GCC、Clang）均支持：

#include <format>
#include <iostream>
#include <string>

class Class {};

namespace std {
template <>
struct formatter<Class> : formatter<std::string> {
    auto format(const Class&, auto& context) const {
        return formatter<std::string>::format("CLASS", context);
    }
};
} // namespace std

int main() {
    std::cout << std::format("{}", Class()) << std::endl;
}

方案2：在用户类型所在命名空间内显式特化 #

若Class位于全局命名空间，直接在全局域定义特化（编译器会通过ADL找到该特化）：

#include <format>
#include <iostream>
#include <string>

class Class {};

// 在Class所在的全局命名空间定义特化
template <>
struct std::formatter<Class> : std::formatter<std::string> {
    auto format(const Class&, auto& context) const {
        return std::formatter<std::string>::format("CLASS", context);
    }
};

int main() {
    std::cout << std::format("{}", Class()) << std::endl;
}

方案3：若类型在自定义命名空间内，特化放在该命名空间 #

如果Class属于自定义命名空间，直接在该命名空间内特化std::formatter，符合标准且可移植：

#include <format>
#include <iostream>
#include <string>

namespace Namespace {
class Class {};

// 在Class所在的命名空间内特化std::formatter
template <>
struct std::formatter<Class> : std::formatter<std::string> {
    auto format(const Class&, auto& context) const {
        return std::formatter<std::string>::format("CLASS", context);
    }
};
} // namespace Namespace

int main() {
    std::cout << std::format("{}", Namespace::Class()) << std::endl;
}

对现有变体的说明 #

• 变体1：在无关命名空间Namespace内特化std::formatter<Class>（Class属于全局域），违反标准，编译器拒绝是正确行为。
• 变体2：在std内添加带约束的模板（非显式特化），违反标准对std命名空间的修改限制，属于未定义行为，不可依赖。
• 变体3：在全局域特化std::formatter<Class>，符合方案2的规则，是合法可移植的。

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