为什么auto推导返回值的时候,不能接受braced-init-list?
Modern Effective C++这本书上讲到:template<class T>
void f(T t){}
int main(){
f({1,2,3});
}
这样的代码是编译不过的,因为模板参数T在模板实例化的时候必须是已知类型,而{1,2,3}是个braced-init-list,
除非我先auto x={1,2,3};用auto来把x推导成std::initializer_list,然后传给f就行了。
这个我都能理解。
问题:
为什么后面又说auto在推导返回值的时候,不能return一个braced-init-list?
例如
auto f()
{
return {1,2,3};
}
就会有编译错误,这是C++14规定的。我不明白为什么要编译不过呢,既然赋值语句auto x={1,2,3}都能把braced-init-list推导成std::initializer_list,auto用作返回值的时候就不行了?
书上还有一个例子说:
auto resetV=[&v](const auto& newValue){v=new Value;}
这个newValue前面的auto也不能接受{1,2,3}。同样原因,为什么要有这样的限制?
----------------------------------------------------------
是不是从设计的角度说,如果返回值auto可以接受braced-init-list的话,会导致某些二义性什么的?
还请大侠指点。
页:
[1]