Re: [問題] C++ sort函數在leetcode上使用問題

[poyenc (髮箍)]

※ 引述《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/大神
噓
※ 編輯: poyenc (123.193.76.216 臺灣), 07/19/2020 22:10:10
推 eye5002003: 用 lambda 或 std::bind 配接是理所當然的,不用改吧
推 eye5002003: 不然標準庫到處都要增加一個可以夾this指標的版本也太
→ eye5002003: 難看了,這種小事自己補就好了