C++20的concept如何約束模板 類型要求的聲明與使用方式

在c++++20中，concept通過模板約束提升代碼可讀性與維護性。1. 聲明方式為使用template結合concept關鍵字和requires子句定義條件，如template concept addable = requires(t a, t b) { a + b; };。2. 可用于函數模板和類模板的參數約束，例如template void print_sum(…)確保類型滿足加法操作。3. 支持內聯requires表達式直接限制模板參數，適合一次性限制。4. 使用時需注意將concept置于頭文件以便編譯器匹配，避免過度拆分，可通過組合多個concept創(chuàng)建復合約束（如mytype = addable && printable），但不會優(yōu)化編譯速度。

在c++20中，concept 是一個非常實用的特性，它讓模板編程變得更清晰、更容易理解和維護。簡單來說，它允許我們?yōu)槟０鍏刀x“要求”——也就是你希望傳入的類型必須滿足哪些條件。

比如你可以定義一個 concept 來表示“某個類型必須支持加法操作”，這樣當別人用不支持加法的類型去實例化你的模板時，編譯器會給出更清晰的錯誤提示，而不是一串讓人頭疼的模板錯誤信息。

如何聲明一個concept？

聲明一個 concept 的基本語法是使用 template 加上 concept 關鍵字，然后通過 requires 子句來表達限制條件。

立即學習“C++免費學習筆記（深入）”；

舉個簡單的例子：

template <typename T> concept Addable = requires(T a, T b) {     a + b; };

這段代碼定義了一個叫 Addable 的 concept，意思是只要某個類型 T 支持 a + b 這樣的加法操作，就可以被接受。

也可以寫得更復雜一點，比如檢查多個操作：

template <typename T> concept Printable = requires(T t, std::ostream& os) {     os << t; };

這個 Printable 表示：該類型要能被輸出到 ostream 中。

在模板中如何使用concept？

一旦你定義好了 concept，就可以在模板中直接使用它來約束模板參數。

用作函數模板的約束

template <Addable T> void print_sum(T a, T b) {     std::cout << a + b << std::endl; }

這里 print_sum 只接受滿足 Addable 的類型，否則編譯失敗，并且錯誤信息會明確指出是 Addable 不滿足。

用作類模板的約束

template <Printable T> class Logger { public:     void log(const T& value) {         std::cout << "Value: " << value << std::endl;     } };

只有 T 滿足 Printable 時，才能實例化 Logger。

使用 inline requires（更靈活）

還可以在模板參數列表中直接寫 requires，不需要提前定義 concept：

template <typename T> requires requires(T a, T b) { a + b; } void print_sum(T a, T b) {     std::cout << a + b << std::endl; }

這種寫法適合一次性使用的限制，但不利于復用。

常見問題與注意事項

• concept 要放在頭文件里
  因為它是模板的一部分，編譯器需要看到完整的定義，否則無法進行匹配。

• 不要過度設計 concept
  剛開始用的時候容易陷入“我要為每個小功能都寫一個 concept”的誤區(qū)。其實很多時候組合已有的 concept 就夠用了。

• concept 可以組合使用

template <typename T> concept MyType = Addable<T> && Printable<T>;

這樣你可以把多個限制打包成一個新的 concept。

• concept 并不會自動優(yōu)化編譯速度
  它只是讓錯誤提示更好看、讓邏輯更清晰，但模板本身還是會在每個使用點展開，所以編譯時間可能不會有明顯變化。

基本上就這些。掌握好 concept 的聲明和使用方式，可以讓你寫出更健壯、可讀性更強的模板代碼。雖然剛開始可能會覺得有點繞，但多寫幾個例子就能體會到它的價值了。