C++定制点对象模式疑问：跨命名空间与内置类型适配问题

两个编译失败场景的原因 #

场景1：全局结构体 + 自定义命名空间的定制函数 #

你遇到的C3889错误，核心是参数依赖查找（ADL）的规则限制。定制点对象（CPO）的核心逻辑靠ADL定位用户定制函数：调用feature::apply(t)时，编译器只会根据t的类型所在命名空间查找use_feature。

如果结构体在全局命名空间，ADL只会扫描全局空间，不会主动去bar这类其他自定义命名空间找use_feature。除非把定制函数和结构体放在同一命名空间，或者调用时用using bar::use_feature;引入当前作用域——但后者破坏了CPO的封装性，违背设计初衷。

场景2：内置类型的全局定制函数 #

内置类型（如int）没有关联命名空间，ADL对其完全无效。CPO查找use_feature时，只会扫描自身所在的feature命名空间，以及调用点的当前作用域，不会去全局空间找你定义的函数。如果feature里没有默认实现的use_feature，编译器就会抛出C3889错误，因为找不到匹配项。

为什么标准库类型需要在std命名空间定制 #

这依然是ADL规则导致的。像std::string这类标准库类型，关联命名空间是std，所以CPO（比如std::ranges::swap）通过ADL查找定制函数时，只会去std空间里找。

C++标准允许用户在std里特化标准库模板（比如std::swap的特化），但禁止添加全新的非模板函数——这是为了保证标准库的稳定性。你觉得不适是正常的，但这是语言规则和标准库设计的必然结果：CPO的查找逻辑完全依赖ADL，而ADL只会关注参数类型所在的命名空间。

补充：适配内置类型的CPO实现调整 #

如果想让CPO支持全局空间的内置类型定制，可以在CPO的operator()里显式引入全局命名空间的查找，示例如下：

namespace feature {
    inline constexpr struct apply_t {
        template <typename T>
        auto operator()(T&& t) const noexcept(noexcept(use_feature(std::forward<T>(t))))
            -> decltype(use_feature(std::forward<T>(t))) {
            using ::use_feature; // 显式引入全局空间的use_feature
            return use_feature(std::forward<T>(t));
        }
    } apply{};
}

这样编译器会优先查找全局的use_feature，再回退到其他可能的查找路径。但注意，这种修改会改变CPO的查找优先级，需谨慎使用以避免命名冲突。

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