类成员指针作为std::ranges::find投影的工作原理探究

我之前在Stack Overflow上提问过std::ranges::find与std::find的区别，得到的答案里用到了这样的代码：

if (auto const it{std::ranges::find(iv, 1, &S::a)}; it != iv.end()) {
    std::cout << "Found!\n" << "\n";
}

我平时见投影参数大多用lambda表达式，想搞明白这里用&S::a是被转换成lambda了，还是因为有专门的重载？这背后的逻辑到底是怎么工作的？

核心结论 #

这既不是转换成lambda，也不是什么黑魔法，是C++20范围库专门为投影参数支持了成员指针类型的重载，属于标准库提供的语法糖。

具体工作逻辑 #

• 当你传入&S::a（S类非静态数据成员a的指针）作为投影时，std::ranges::find在遍历容器元素elem时，会自动通过elem.*&S::a的方式提取成员a的值，用这个值和目标值1做比较。
• 这种设计就是为了简化代码，省去手动写lambda[](const auto& elem) { return elem.a; }的麻烦，效果完全等价，但写法更简洁。

扩展说明 #

• 除了数据成员指针，范围库还支持非静态成员函数指针作为投影：比如如果S有成员函数int get_a() const，你传&S::get_a作为投影，遍历元素时会自动调用elem.get_a()来获取用于比较的值。
• 底层是通过模板特化和概念约束实现的：标准库会判断投影参数的类型是否为成员指针，然后触发对应的处理逻辑，不需要用户做额外转换。

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