引言
使用 Template 模板的時候，如果可以加上 requires 關鍵字，就可以對不同的資料類型，實體化出不同的的函式，或者做編譯時期的檢查。
例子
#include <iostream>
template<typename T>
T addition(T a, T b)
{
constexpr bool valid = requires (T x) { x + x; };
if (valid)
{
return a + b;
}
else
{
return T{};
}
}
int main(int argc, char** argv)
{
std::cout << addition(1, 2) << std::endl;
return 0;
}
執行結果
3
說明
當我們在函式中使用了 constexpr 和 requires，它就會在編譯時期把檢查做完，然後只實體化相關部分的模板。用以上的 addition 為例，使用這個方法，我們就能使用一個模板，對所有不同的類型進行支持，而不需要不斷以不同的輸入類型，去重載同一個函式。
其實 requires 的用法還有很多，不過為了簡單，就先說到這裏吧。
