免费注册 查看新帖 |

Chinaunix

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

[C++] C++11的lambda是否真的支持闭包? 有个语义矛盾 [复制链接]

论坛徽章:
2
2015年迎新春徽章
日期:2015-03-04 10:16:532015元宵节徽章
日期:2015-03-06 15:53:22
跳转到指定楼层
1 [收藏(0)] [报告]
发表于 2016-11-29 15:42 |只看该作者 |倒序浏览
本帖最后由 cdsfiui 于 2016-12-07 23:04 编辑

个人感觉C++11的lambda和C语言本身的函数定义是有冲突的地方。例如函数的局部变量,在函数退出以后,局部变量就消失了。而FP语言里面lambda是对象,其变量是和lambda对象本身生命周期是一样的。


那么问题来了,c++的lambda,传入的形参,以及lambda内部的局部变量,到底是什么生命周期?
我有下面一个小程序:
#include<stdio.h>
int main()
{
  auto f=[](int input){
    int local=3;//这个local变量的生命周期,是在lambda声明末尾,还是整个main函数?
    return [=](int x){return input+local+x;};
  };
  auto f1=f(3);
  auto f2=f(4);

  printf("%d,%d\n",f1(2),f2(2));
  return 0;
}
g++ -std=c++11编译运行,输出8,9
符合我对于FP的预期,但是对于C的变量作用域来说,上面这个程序的行为,到底应该是未定义(undefined)还是如我预期的输出8,9?

论坛徽章:
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
2 [报告]
发表于 2016-11-29 16:07 |只看该作者
本帖最后由 lxyscls 于 2016-11-29 16:08 编辑

回复 1# cdsfiui

例如函数的局部变量,在函数退出以后,局部变量就消失了。

Java里面是对final的拷贝,好吧,我答非所问了

论坛徽章:
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
3 [报告]
发表于 2016-11-30 08:17 |只看该作者
使用[=]没问题,它是传值

论坛徽章:
44
15-16赛季CBA联赛之浙江
日期:2021-10-11 02:03:59程序设计版块每日发帖之星
日期:2016-07-02 06:20:0015-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:3615-16赛季CBA联赛之天津
日期:2016-11-02 00:33:1215-16赛季CBA联赛之浙江
日期:2017-01-13 01:31:49
4 [报告]
发表于 2016-12-05 14:55 |只看该作者
那个local和lambda object本身的生命周期一致。也就是说,只要lambda还活着,它就活着。
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

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

清除 Cookies - ChinaUnix - Archiver - WAP - TOP