C++中customization point的明确定义及相关疑问解析

你的两个猜测是否正确？ #

• 猜测1：不正确。std::swap的定制点不是模板参数（类型），模板参数只是承载定制行为的载体，而非定制点本身。定制点是标准库约定的、用于让用户注入自定义行为的接口规则。
• 猜测2：不准确。定制点不是你写的swap(MyType t1, MyType t2)这个具体实现，而是标准库定义的「允许用户通过重载/特化替换默认行为的接口约定」——你写的自定义swap是针对这个定制点提供的具体实现，而非定制点本身。

Customization Point的明确定义 #

Customization Point（定制点）是通用代码（比如标准库、框架）提供的标准化钩子，它定义了一套规则：当通用代码需要与用户自定义类型交互时，会按照约定的优先级顺序查找用户针对该定制点提供的自定义行为；如果找不到用户自定义的实现，就回退到通用代码的默认逻辑。

举个例子：std::swap作为定制点，标准库的约定是：当通用代码调用swap(a, b)时，会优先通过ADL查找a/b类型所在命名空间的swap重载，若找不到才会使用std::swap的模板默认实现。这套完整的查找规则与接口约定，就是std::swap对应的定制点。

为什么规避ADL的函数对象被称为Customization Point Object？ #

C++20引入的Customization Point Object（CPO，定制点对象）是一种特殊的const semiregular函数对象，核心设计目标是解决传统定制点依赖ADL带来的问题：

• 传统定制点（如std::swap模板）依赖ADL查找，但ADL可能意外引入无关的同名函数，导致名字查找冲突或行为不符合预期。
• CPO内部封装了标准规定的精确查找逻辑：比如它会先检查用户类型是否有对应的成员函数（如a.swap(b)），再查找类型所在命名空间的重载，最后回退到默认实现——整个过程不依赖编译器的ADL机制，完全由CPO的内部逻辑控制。

因为这种函数对象本质是把「定制点的查找规则」封装成了一个可调用的对象，所以被称为Customization Point Object。比如C++20 ranges中的std::ranges::swap就是典型的CPO。

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