Auto in der Liste Funktionsparameter implizierte Template-Argument

Question

In seinen talk at cppcon (~ 13 Minuten in), Andrew Sutton erwähnt, dass Sie "bald" in der Lage sein zu schreiben

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

die

verstanden werden

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

genauso wie für generische Lambdas in C++ 14 eingeführt wurde.

1. Wie lautet der Name für diese Funktion?

2. Ist dies ein Teil von Concepts Lite oder wurde es separat vorgeschlagen?

3. Dies hat es offensichtlich nicht in C++ 14 geschafft, wenn es tatsächlich vorgeschlagen wurde; Wenn jemand weiß, was waren die Einwände dagegen?

Answer 1

1. Verkürzte Funktionsvorlagen
2. Ja, es ist Teil der Konzepte ist Lite
3. Es ist in den Konzepten TS, die in der Nähe sind bereit für C++ 14 nirgends war.

Lesen Sie alles darüber in the latest draft of the concepts TS.