自動入力引数からの戻り値の型を推定する

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。