0

0

c++中的定制点对象(CPO)是什么? (以std::ranges::begin为例)

裘德小鎮的故事

裘德小鎮的故事

发布时间:2026-01-11 12:27:27

|

871人浏览过

|

来源于php中文网

原创

std::ranges::begin 是 constexpr 定制点对象而非函数模板,不可取址、不支持 ADL 直接调用,其 operator() 内部按成员函数→ADL 自由函数→原生指针顺序转发,专为 ranges 算法提供约束安全、零开销的迭代器获取。

c++中的定制点对象(cpo)是什么? (以std::ranges::begin为例)

std::ranges::begin 是一个定制点对象,不是函数模板

它本质是一个 constexpr 变量,类型是某个未公开的函子类(functor),重载了 operator()。这意味着你不能对它做 &std::ranges::begin 取地址(会编译失败),也不能用 using std::ranges::begin 后直接写 begin(x) 而不加作用域——它不是 ADL 友好的普通函数,而是靠重载决议 + 类型系统“模拟函数调用”的对象。

为什么不能像普通函数那样被 ADL 查找?

std::ranges::begin 的设计目标是:优先调用用户为自定义类型定义的 begin() 成员函数或自由函数(通过 ADL),但又必须绕过传统函数重载的二义性问题。它通过把调用“转交”给一个内部私有函数(如 __begin)实现,而该函数才真正参与 ADL。所以:

  • 你写 std::ranges::begin(x),实际触发的是 CPO 对象的 operator()(T&&),再由它转发
  • 这个转发逻辑会先尝试 x.begin()(成员),再尝试 begin(x)(ADL 自由函数),最后 fallback 到原生指针处理
  • 如果你只写 begin(x) 且没 using,编译器根本找不到它——它不在全局命名空间,也不在 std 中以函数形式存在

常见错误:误以为它是可取址函数,或混淆与 std::begin

std::begin 是传统函数模板,可以取地址、可以 using、可以 SFINAE;std::ranges::begin 完全不行。典型翻车场景:

auto f = std::ranges::begin; // ❌ 错误:不能取地址
void foo(auto x) { begin(x); } // ❌ 没 using 且没 ADL 支持时失败
using std::ranges::begin;     // ✅ 允许,但之后仍需确保参数支持 ADL 或有成员

另外,std::ranges::beginstd::array 和原生数组的行为和 std::begin 一致,但对某些包装类型(如 std::span)会启用更精确的约束,避免隐式转换

无阶未来模型擂台/AI 应用平台
无阶未来模型擂台/AI 应用平台

无阶未来模型擂台/AI 应用平台,一站式模型+应用平台

下载

立即学习C++免费学习笔记(深入)”;

定制点对象的核心价值:统一接口 + 约束控制 + 零开销抽象

它让 std::ranges 算法(如 std::ranges::sort)能安全、高效地获取迭代器,同时不破坏用户类型的定制行为。关键点在于:

  • 所有 std::ranges 算法内部都用 std::ranges::beginstd::ranges::end,而不是自己手写查找逻辑
  • 它的实现包含 concept 检查(比如要求 begin(x) 返回满足 iterator 的类型),失败时给出清晰的约束不满足提示,而非模糊的模板错误
  • 编译器能内联整个调用链,最终生成的汇编和手写 x.begin() 几乎无差别

真正容易被忽略的是:CPO 不是语法糖,它是有意放弃函数灵活性换来的语义可控性——一旦你试图把它当函数用(比如绑定、转发、模板参数推导),就会立刻撞墙。

相关专题

更多
sort排序函数用法
sort排序函数用法

sort排序函数的用法:1、对列表进行排序,默认情况下,sort函数按升序排序,因此最终输出的结果是按从小到大的顺序排列的;2、对元组进行排序,默认情况下,sort函数按元素的大小进行排序,因此最终输出的结果是按从小到大的顺序排列的;3、对字典进行排序,由于字典是无序的,因此排序后的结果仍然是原来的字典,使用一个lambda表达式作为key参数的值,用于指定排序的依据。

384

2023.09.04

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

1011

2023.10.19

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

60

2025.10.17

php8.4实现接口限流的教程
php8.4实现接口限流的教程

PHP8.4本身不内置限流功能,需借助Redis(令牌桶)或Swoole(漏桶)实现;文件锁因I/O瓶颈、无跨机共享、秒级精度等缺陷不适用高并发场景。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

363

2025.12.29

页面置换算法
页面置换算法

页面置换算法是操作系统中用来决定在内存中哪些页面应该被换出以便为新的页面提供空间的算法。本专题为大家提供页面置换算法的相关文章,大家可以免费体验。

398

2023.08.14

c++主流开发框架汇总
c++主流开发框架汇总

本专题整合了c++开发框架推荐,阅读专题下面的文章了解更多详细内容。

79

2026.01.09

c++框架学习教程汇总
c++框架学习教程汇总

本专题整合了c++框架学习教程汇总,阅读专题下面的文章了解更多详细内容。

46

2026.01.09

学python好用的网站推荐
学python好用的网站推荐

本专题整合了python学习教程汇总,阅读专题下面的文章了解更多详细内容。

121

2026.01.09

学python网站汇总
学python网站汇总

本专题整合了学python网站汇总,阅读专题下面的文章了解更多详细内容。

12

2026.01.09

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 6.5万人学习

C 教程
C 教程

共75课时 | 4万人学习

C++教程
C++教程

共115课时 | 11.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号