免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 750 | 回复: 0
打印 上一主题 下一主题

[C++] 为什么auto推导返回值的时候,不能接受braced-init-list? [复制链接]

论坛徽章:
2
2015年迎新春徽章
日期:2015-03-04 10:16:532015元宵节徽章
日期:2015-03-06 15:53:22
跳转到指定楼层
1 [收藏(0)] [报告]
发表于 2016-06-09 13:01 |只看该作者 |倒序浏览
Modern Effective C++这本书上讲到:

  1. template<class T>
  2. void f(T t){}
  3. int main(){
  4.     f({1,2,3});
  5. }
复制代码
这样的代码是编译不过的,因为模板参数T在模板实例化的时候必须是已知类型,而{1,2,3}是个braced-init-list,
除非我先auto x={1,2,3};用auto来把x推导成std::initializer_list,然后传给f就行了。
这个我都能理解。

问题:
为什么后面又说auto在推导返回值的时候,不能return一个braced-init-list?
例如

  1. auto f()
  2. {
  3.     return {1,2,3};
  4. }
复制代码
就会有编译错误,这是C++14规定的。我不明白为什么要编译不过呢,既然赋值语句auto x={1,2,3}都能把braced-init-list推导成std::initializer_list,auto用作返回值的时候就不行了?

书上还有一个例子说:

  1. auto resetV=[&v](const auto& newValue){v=new Value;}
复制代码
这个newValue前面的auto也不能接受{1,2,3}。同样原因,为什么要有这样的限制?
----------------------------------------------------------

是不是从设计的角度说,如果返回值auto可以接受braced-init-list的话,会导致某些二义性什么的?
还请大侠指点。
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP