c++oncept 是 c++20 引入的關鍵字，用于定義模板參數的約束條件。1. 它通過明確類型必須滿足的操作（如支持加法或具有成員函數）來提升代碼清晰度和錯誤提示友好性；2. 解決了此前模板無法限制參數類型的缺陷，使編譯器能精準指出不匹配問題；3. 定義方式為 template
concept 是 C++20 引入的一個關鍵字，主要用于定義模板參數的約束條件。它的作用是讓模板代碼更清晰、更容易理解，也更容易排查錯誤。
簡單來說，它能讓你在寫模板的時候明確說明：這個類型必須滿足哪些條件才能用。比如“必須支持加法操作”、“必須是一個可調用對象”等等。
什么是 concept？為什么需要它？
在 C++20 之前，模板編程雖然強大，但有個大問題：你沒法限制傳進來的類型。如果你寫了一個模板函數，期望傳入一個“可以相加”的類型，但用戶偏偏傳了個不支持 + 的類，那編譯器就會報出一串又長又難懂的錯誤信息。
立即學習“C++免費學習筆記（深入）”；
而 concept 就是用來解決這個問題的——你可以用它來給模板參數加上語義上的限制，讓代碼意圖更清晰，也能讓錯誤提示更友好。
如何定義和使用一個 concept？
定義一個 concept 的基本語法如下：
template<typename T> concept 名字 = 條件表達式;
舉個簡單的例子，我們想定義一個表示“可以相加”的概念：
template<typename T> concept Addable = requires(T a, T b) { a + b; // 要求 T 類型的對象能進行加法操作 };
然后就可以在模板中使用這個 concept 去限制參數：
template<Addable T> T add(T a, T b) { return a + b; }
這樣，如果有人嘗試傳入一個不支持加法的類型，比如某個自定義類沒有重載 +，編譯器會直接告訴你：“你傳的類型不符合 Addable 這個要求”，而不是以前那種冗長的模板實例化錯誤。
一些常見的用法場景
1. 約束類型必須具有某些成員函數或運算符
比如你想寫一個函數模板，要求傳入的類型必須有一個 .size() 成員函數：
template<typename T> concept HasSize = requires(T t) { t.size(); // 必須能調用 size() }; template<HasSize T> void print_size(const T& obj) { std::cout << "Size: " << obj.size() << std::endl; }
2. 組合多個 concept
你可以把多個概念組合起來使用：
template<typename T> concept MyType = Addable<T> && HasSize<T>;
這樣就能確保傳入的類型既支持加法，又有 .size() 方法。
3. 使用標準庫中的預定義 concept
C++20 標準庫已經內置了一些常用的 concept，例如：
- std::integral
- std::floating_point
- std::copyable
- std::equality_comparable
你可以直接拿來用，比如：
template<std::integral T> void print_integer(T value) { std::cout << value << " is an integer." << std::endl; }
寫在最后
總的來說，concept 讓模板編程變得更安全、更易讀了。雖然一開始可能有點繞，但一旦掌握，寫出來的代碼質量會提升不少。
基本上就這些。
