※ 引述《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 -- [P1389R1] Standing Document for SG20: Guidelines for Teaching C++ to Beginners https://wg21.link/p1389r1 SG20 Education and Recommended Videos for Teaching C++ https://www.cjdb.com.au/sg20-and-videos --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.231.156.229 (臺灣) 噓 ※ 編輯: poyenc (123.193.76.216 臺灣), 07/19/2020 22:10:10