在C++20中，Concept是一種新的語言特性，用于定義類型要求和約束。Concept可以被用來約束函數模板、類模板和普通函數的參數類型，以確保參數類型滿足特定的要求。
Concept可以被用來描述一個類或者函數的接口，可以指定參數類型需要具有的成員函數、類型成員、函數簽名等等。使用Concept可以提高代碼的可讀性和可維護性，同時也可以在編譯時提供更好的錯誤檢查和提示。
下面是一個簡單的示例，展示了如何在C++中使用Concept來定義一個簡單的類型要求：
template <typename T>
concept Numeric = std::is_arithmetic_v<T>;
template <Numeric T>
T add(T a, T b) {
return a + b;
}
int main() {
int result = add(2, 3); // 編譯通過
// float result = add(2.5, 3.5); // 編譯錯誤，float不符合Numeric要求
return 0;
}
在上面的示例中，我們定義了一個名為Numeric的Concept，要求參數類型必須是算術類型。然后我們定義了一個add函數模板，該函數只接受符合Numeric要求的參數類型。最后在main函數中，我們可以看到調用add函數時傳入int類型的參數是合法的，而傳入float類型的參數會導致編譯錯誤。這就展示了Concept在C++中的用法。
