※ 引述《wilson50101 (八卦肥宅)》之铭言：
为了解答这个问题, 首先来讲讲 INVOKE 叙述 [func.require]. 在 C++ 里呼
叫函式物件 (callable object) 的叙述统称为 INVOKE 叙述, 在这里用“统称
”的原因是随着函式物件型别不同, INVOKE 叙述实际上对应的写法也不一样.
例如: 呼叫对象如果是有多载呼叫运算子 operator() 的物件, 语法和一般函
式相同; 对象如果是成员函式指标, 语法就会像下面这样:
(obj.*pmf)(arg)
因为语法可能不同, 在写函式模板的时候要特别注意泛用性, std::sort() 是
C++98 时期的模板, 所以设计上存在两个缺点:
1. 只适用于一般函式或具备多载呼叫运算子的函式物件
2. 无法依据值类别 (value category) 选择特定版本呼叫运算子
根源在于 C++98 时期的函式模板定义通常像下面的样子:
template <typename F>
void take(F f) { f(); }
这种写法直接把成员函式指标参数给排除了, 所以在具现化的时候编译器会报
语法错误. 在统一语法的提案 [P1214] 还没进标准以前, 我们可以试试
[N4169] 的函式库解决方案, 它就是在 C++17 加入的函式模板 std::invoke()
的前身, 我们可以透过它这个间接层来呼叫各种函式物件, 写法可以改成这样:
template <typename F>
void take(F f) { std::invoke(f); }
如此就可以解决前面提到的缺点 1. 再来回到你的问题: 在 std::sort() 修改
实作以前 [alg.sorting], 你只能传入一般函式或是有多载呼叫运算子的物件,
你可以用 lambda 叙述建一个, 或是用 std::bind() 来做配接; 或者你可以改
呼叫 C++20 的 std::ranges::sort(), 不然只能等 C++23 或更新的版本才能
支援成员函式指标了.
References
[func.require] 20.14.3/1
http://eel.is/c++draft/func.require#1
[alg.sorting] 25.8/3
http://eel.is/c++draft/alg.sorting#3
cppreference: std::ranges::sort()
https://en.cppreference.com/w/cpp/algorithm/ranges/sort
[N4169] A proposal to add invoke function template (Revision 1)
https://wg21.link/n4169
[N4474] Unified Call Syntax: x.f(y) and f(x,y)
https://wg21.link/n4474
[P1214R0] Pointer to Member Functions and Member Objects are just
Callables!
https://wg21.link/p1214r0