免费注册 查看新帖 |

ChinaUnix.net

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 1195 | 回复: 3

[C++] C++11: {} 什么时候会被编译成std::initializer_list,什么时候被认为是其他类型? [复制链接]

论坛徽章:
1
2015年迎新春徽章
日期:2015-03-04 09:58:11
发表于 2017-04-17 11:22 |显示全部楼层
我有个小例子:

  1.     #include<utility>
  2.     using namespace std;
  3.     struct A{
  4.         int i;
  5.         char c;
  6.     };
  7.     void f(const A&){}
  8.     template<class T>
  9.     void g(T&& t)
  10.     {
  11.         f(forward<T>(t));
  12.     }
  13.     int main() {
  14.         A a={1,'@'};//OK
  15.         f({1,'#'});//OK
  16.         g({1,'@'});//Compilation error
  17.         return 0;
  18.     }
复制代码


上面的代码中,{1,'@'}本身是个初始化语义,`A a={1,'@'};`,编译器判定表达式右边的{}是一个std::initializer_list吗?? 它会自动转化成为A类型? 对于f而言也是如此吗

问题是: 对于模板函数g()而言,传入参数{1,'@'}类型不被识别,clang编译错误如下:

  1. testArray.cpp:16:5: error: no matching function for call to 'g'
  2.     g({1,'@'});//fix: g<A>({1,'@'})
  3.     ^
  4. testArray.cpp:9:6: note: candidate template ignored: couldn't infer
  5.       template argument 'T'
  6. void g(T&& t)
  7.      ^
复制代码

这是为什么?

论坛徽章:
14
巨蟹座
日期:2013-11-19 14:09:4615-16赛季CBA联赛之青岛
日期:2016-07-05 12:36:0515-16赛季CBA联赛之广东
日期:2016-06-29 11:45:542015亚冠之全北现代
日期:2015-07-22 08:09:472015年辞旧岁徽章
日期:2015-03-03 16:54:15巨蟹座
日期:2014-12-29 08:22:29射手座
日期:2014-12-05 08:20:39狮子座
日期:2014-11-05 12:33:52寅虎
日期:2014-08-13 09:01:31巳蛇
日期:2014-06-16 16:29:52技术图书徽章
日期:2014-04-15 08:44:01天蝎座
日期:2014-03-11 13:06:45
发表于 2017-04-17 13:50 |显示全部楼层
编译器判定表达式右边的{}是一个std::initializer_list吗?
------ 不是,这叫统一初始化Uniform initialization,不是 std::initializer_list

g( {1,'@'} );
改为
g( A{1,'@'} );
即可。

论坛徽章:
14
水瓶座
日期:2014-06-10 09:51:0215-16赛季CBA联赛之江苏
日期:2017-11-27 11:42:3515-16赛季CBA联赛之八一
日期:2017-04-12 14:26:2815-16赛季CBA联赛之吉林
日期:2016-08-20 10:43:1215-16赛季CBA联赛之广夏
日期:2016-06-23 09:53:58程序设计版块每日发帖之星
日期:2016-02-11 06:20:00程序设计版块每日发帖之星
日期:2016-02-09 06:20:0015-16赛季CBA联赛之上海
日期:2015-12-25 16:40:3515-16赛季CBA联赛之广夏
日期:2015-12-22 09:39:36程序设计版块每日发帖之星
日期:2015-08-24 06:20:002015亚冠之德黑兰石油
日期:2015-08-07 09:57:302015年辞旧岁徽章
日期:2015-03-03 16:54:15
发表于 2017-04-17 13:55 |显示全部楼层
要是编译器能把{1,‘@’}识别成A,那真是牛逼大发了

论坛徽章:
43
15-16赛季CBA联赛之四川
日期:2018-10-13 23:26:5015-16赛季CBA联赛之新疆
日期:2016-04-25 10:55:452016科比退役纪念章
日期:2016-04-23 00:51:2315-16赛季CBA联赛之山东
日期:2016-04-17 12:00:2815-16赛季CBA联赛之福建
日期:2016-04-12 15:21:2915-16赛季CBA联赛之辽宁
日期:2016-03-24 21:38:2715-16赛季CBA联赛之福建
日期:2016-03-18 12:13:4015-16赛季CBA联赛之佛山
日期:2016-02-05 00:55:2015-16赛季CBA联赛之佛山
日期:2016-02-04 21:11:36程序设计版块每日发帖之星
日期:2016-07-02 06:20:0015-16赛季CBA联赛之天津
日期:2016-11-02 00:33:1215-16赛季CBA联赛之浙江
日期:2017-01-13 01:31:49
发表于 2017-04-17 14:46 |显示全部楼层
回复 3# lxyscls
其实也不是完全没有可能,至少编译器可以挨个试一试,问题是这么做可能会把写程序的人和写编译器的人一起搞晕。
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

基于案例的 SQL 优化实战训练营

讲师:中电福富特级专家梁敬彬,参与本次课程培训,你将收获:
1. 能编写出较为高效的 SQL;
2. 能解决70%以上的数据库常见优化问题;
3. 能得到老师提供的高效的相关工具和解决方案;
4. 能举一反三,收获不仅仅是 SQL 优化。
现在购票享受8.8折优惠!
----------------------------------------
优惠时间:2019年3月20日前

大会官网>>
  

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

清除 Cookies - ChinaUnix - Archiver - WAP - TOP