为何std::views::transform可使用数据成员指针作为变换函数？

在Stack Overflow的一个关于对struct的std::vector仅排序指定字段的问题中，有一段示例代码：

std::vector<SimpleStruct> vs = {{1, 10, 11}, {5, 100, 111}, {3, 1000, 1111}};
std::ranges::sort(vs | std::views::transform(&SimpleStruct::a));
// vs now becomes {1, 10, 11}, {3, 100, 111}, {5, 1000, 1111}

这段代码试图通过生成仅包含SimpleStruct::a字段的视图来排序原vector，但按照cppreference文档的描述，std::views::transform应该接收可调用对象，那为什么数据成员指针&SimpleStruct::a能在这里正常工作？

核心原因：数据成员指针可被标准库适配为可调用对象 #

C++标准库的std::views::transform内部依赖std::invoke机制处理传入的变换操作，而std::invoke原生支持调用数据成员指针——当你把&SimpleStruct::a传给transform时，标准库会自动把它包装成一个函数对象：

• 这个函数对象接收SimpleStruct类型的实例（或引用）作为参数
• 内部通过成员指针解引用，返回该实例的a字段值

简单说，数据成员指针虽然不是传统意义上的函数，但在标准库的适配逻辑下，它可以被当作“取出对象指定成员”的可调用操作来使用。

关于排序逻辑的补充 #

这段代码里的视图是绑定原vector元素的代理视图，并不是生成新的独立元素集合。所以调用std::ranges::sort时，实际上是根据每个元素的a字段值，对原vectorvs里的SimpleStruct对象进行重排，最终实现按a字段排序原容器的效果。

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