cdsfiui 发表于 2016-06-09 13:01

为什么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]
查看完整版本: 为什么auto推导返回值的时候,不能接受braced-init-list?