用於聲明函數模板的5個新語法是什麼？

Question

This視頻指定一些問題的概念，目前的TS版本，其中之一是：

5個新的語法來聲明一個函數模板

沒有給出例子。 所以我的問題是他們是什麼？

Answer 1

鑑於瑣碎的概念定義：

template <class T> concept bool C = true; 

我們可以聲明相同的函數模板f爲：

template <class T> requires C<T> void f(T); 
template <class T> void f(T) requires C<T>; 
template <C T> void f(T); // colloquially known as "terse" syntax 
C{T} void f(T); // template introduction syntax 
void f(C); // abbreviated function template syntax