automatico nella lista parametri di funzione che implica template argomento

Question

Nelle sue talk at cppcon (~ 13 min a), Andrew Sutton afferma che si "presto" in grado di scrivere

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

che sarà presa a significare

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

proprio come è stato introdotto per lambda generico in C++ 14.

1. Qual è il nome di questa funzione?

2. È una parte di Concepts Lite o è stata proposta separatamente?

3. Questo ovviamente non è stato convertito in C++ 14 se è stato effettivamente proposto; se qualcuno lo sa, quali sono le obiezioni sollevate contro di esso?

Answer 1

1. abbreviati Modelli di Funzione
2. Sì, è parte di Concetti Lite
3. E 'nei concetti TS, che era in nessun posto vicino di essere pronto per C++ 14.

Leggere tutto su di esso in the latest draft of the concepts TS.