汽車在函數參數列表意味着模板參數

Question

在他talk at cppcon（〜13分鐘），安德魯·薩頓提到，你將「很快」就能寫

auto func(auto a, auto b) { ... } 

將被理解爲

template <typename T, typename U> auto func(T a, U b) { ... } 

就像在C++ 14中引入通用lambdas一樣。

1. 此功能的名稱是什麼？

2. 這是Concepts Lite的一部分，還是單獨提出？

3. 這顯然沒有把它變成C++ 14，如果它確實被提出的話;如果有人知道，反對意見是什麼？

Answer 1

1. 縮函數模板
2. 是的，這是概念的一部分精簡版
3. 它在概念TS，這是隔靴搔癢準備好用於C++ 14。

在the latest draft of the concepts TS中查看全部。