※ 引述《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