哈囉, 如果你對 STL 有興趣的話可以參考下面的影片 (依序看):
CppCon 2018: Jonathan Boccara “105 STL Algorithms in Less
Than an Hour”
https://youtu.be/2olsGf6JIkU
Stephan T. Lavavej - Standard Template Library (STL)
https://bit.ly/2fS8u8c
Stephan T Lavavej - Advanced STL
https://bit.ly/2fS5lFF
其實 STL 粗略來分有 Algorithm 以及 Container 兩部分, 使用
Container 不只需要有部分資料結構的基礎, 也要知道 concept
這個觀念, 知道在 template 裡有對參數型別依賴哪些操作之後,
就可以進一步學習使用 Algorithm. Algorithm 架構在兩個基本
concept 之上 (當然其他還有很多):
1. iterator
2. range
iterator (迭代器) 是類指標物件, 用來指向容器裡的物件, 你可
以用 operator++ 讓迭代器指向容器裡下個物件(概念上), 而不用
在意容器實際上是由什麼資料結構實作而來. range 這個概念最簡
單的描述就是:
有一個物件集合, 可以用兩個迭代器去描述, 其中一個開
始迭代器指向集合中的第一個物件, 另一個結束迭代器則
用來指向最後一個物件的後方. 你可以將開始迭代器不斷
地疊加, 直到它指向結束迭代器為止, 如此就完成尋訪集
合裡的所有物件. 以數學表示大概是 [first, last)這樣
的半開區間 (容器也會提供這樣成對的迭代器)
近年來 C++ Community 也在提倡多使用 Algorithm 來取代重複的
程式碼, 一方面可以提升可讀性, 另一方面也省去不必要的物件定
義. 以簡單的數偶數來說, 你可能會這樣寫:
1 std::array<int, 5> values{1, 2, 3, 4, 5};
2
3 unsigned even = 0u; // what type should I use?
4 for (auto v : values) {
5 if (v % 2 == 0) { // core logic #1: operate on evens
6 ++even; // core logic #2: count things
7 } // #1 + #2: count evens
8 }
9 // 'even' finally available now
你會發現我們在第 3 行定義了 even 變數, 但是要到第 9 行它的
值才是有意義的, 然後必須將迴圈一層層分解看到第 6 行才能知
道它在作什麼, 這邊可以用 std::count_if() 來改寫:
1 auto const even = std::count_if(
2 std::begin(values), std::end(values),
3 [] (auto v) { return v % 2 == 0; }
4 );
讀作: count from begin of values to end of
values if v % 2 == 0
然後在 C++20 你可以進一步簡化 (或是用 Boost.Range):
1 auto const even = std::ranges::count_if(
2 values, [] (auto v) { return v % 2 == 0; }
3 );
讀作: count all values if v % 2 == 0
使用 lambda 不僅可以清楚表達核心邏輯, 讀碼也可以較快切入重
點
參考資料:
Working Draft (N4789)
http://eel.is/c++draft/alg.count
The One Ranges Proposal (P0896R3)
https://bit.ly/2KGsMma