вывод возвращаемого типа из аргумента автоматического ввода

Question

Почему следующие компиляции не выполняются? Может ли компилятор не выводить возвращаемый тип из ввода?

Не полностью следуйте отображаемой ошибке преобразования типа.

auto func(auto &x) 
{ 
return x[0]; 
} 

int main() 
{ 
    vector<int> v = { 1, 2, 3}; 
    (void)func(v); 
} 

$ g++ -std=c++1z auto.cc 
auto.cc: In instantiation of ‘auto func(auto:1&) [with auto:1 = std::vector<int>]’: 
auto.cc:15:16: required from here 
auto.cc:8:14: error: could not convert ‘(& x)->std::vector<_Tp, _Alloc>::operator[]<int, std::allocator<int> >(0ul)’ from ‘__gnu_cxx::__alloc_traits<std::allocator<int> >::value_type {aka int}’ to ‘std::vector<int>’ 
    return x[0]; 

Answer 1

auto в качестве аргумента функции типа не является стандартным C++. Тем не менее, g++ 7 (svn) принимает его ... and your code compiles.