- 论坛徽章:
- 2
|
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的话,会导致某些二义性什么的?
还请大侠指点。
|
|