為什麼這篇c sort函式鄉民發文收入到精華區：因為在c sort函式這個討論話題中，有許多相關的文章在討論，這篇最有參考價值！作者poyenc (髮箍)看板C_and_CPP標題Re: [問題] C++ sort函數在lee...
※ 引述《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 (臺灣)
推 Dracarys: 推 committee member/大神07/18 16:24
噓※ 編輯: poyenc (123.193.76.216 臺灣), 07/19/2020 22:10:10
推 eye5002003: 用 lambda 或 std::bind 配接是理所當然的,不用改吧 07/20 06:59
推 eye5002003: 不然標準庫到處都要增加一個可以夾this指標的版本也太 07/20 07:09
→ eye5002003: 難看了,這種小事自己補就好了 07/20 07:10