免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
12下一页
最近访问板块 发新帖
查看: 2589 | 回复: 12

[C++] 能否用模板来保证对象的创建顺序? [复制链接]

论坛徽章:
1
2015元宵节徽章
日期:2015-03-06 15:53:22
发表于 2015-04-12 21:13 |显示全部楼层
10可用积分
某些工业控制程序设计的需求是,创建对象的顺序需要依赖一定的规则。

通常我们很容易通过运行时的检查来保证这一规则。但是在程序运行时检查到顺序不对的时候,可能程序已经无法从错误状态恢复了,或者因为操作硬件的原因,运行时检查出错已经晚了。所以非常希望能借助C++强大模板机制来保证"创建顺序"。能做到吗?

例如,我有一个虚基类和若干个子类:

  1. struct IBase{virtual void f()=0;};//虚基类,定义f函数
复制代码
若干个子类,例如以A开头的子类,以B开头的子类,以C开头的子类:

  1. struct A1:IBase{void f(){}}
  2. struct A2:IBase{void f(){}}
  3. struct A3:IBase{void f(){}}
  4. struct B1:IBase{void f(){}}
  5. struct B2:IBase{void f(){}}
  6. struct C1:IBase{void f(){}}
  7. struct C2:IBase{void f(){}}
  8. struct C3:IBase{void f(){}}
复制代码
然后在main函数当中,我希望,我总是先创建若干个A1/A2/A3类型的对象,然后再创建B1/B2类型的对象,最后再创建C1,C2,C3类型的对象,可以重复。
例如:
A3,A1,A2,B2,B2,C1,C3,C2,C1这个顺序是OK的
但是
B3,A2,B1,C1就不行。因为B类型的对象创建在A类型之前了。

那么如果我有一个main函数如下:

  1. int main()
  2. {
  3.    vector<IBase*> v;
  4.    v.push_back(new B3);
  5.    v.push_back(new A2);//这一行要有编译错误
  6.    v.push_back(new B1);
  7.    v.push_back(new C1);
  8.    return 0;
  9. }
复制代码
我希望程序被编译的时候,编译器能在main函数的第二行监测到错误,也就是因为我已经插入了一个B3类型的对象了,我就只能插入B类型的,或者C类型的对象,不能再插入A类型的对象了。

用模板的能力,或者模板元编程的能力,能做到吗?

最佳答案

查看完整内容

回复 10# sentto2 保证对象的创建顺序是ABI的事,ABI这一部分不在标准中。标准只会说实现“应该”让某些事发生在另一些事“之前”

论坛徽章:
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
发表于 2015-04-12 21:13 |显示全部楼层
回复 10# sentto2

保证对象的创建顺序是ABI的事,ABI这一部分不在标准中。

标准只会说实现“应该”让某些事发生在另一些事“之前”

论坛徽章:
274
射手座
日期:2013-08-23 12:04:38射手座
日期:2013-08-23 16:18:12未羊
日期:2013-08-30 14:33:15水瓶座
日期:2013-09-02 16:44:31摩羯座
日期:2013-09-25 09:33:52双子座
日期:2013-09-26 12:21:10金牛座
日期:2013-10-14 09:08:49申猴
日期:2013-10-16 13:09:43子鼠
日期:2013-10-17 23:23:19射手座
日期:2013-10-18 13:00:27金牛座
日期:2013-10-18 15:47:57午马
日期:2013-10-18 21:43:38
发表于 2015-04-12 23:06 |显示全部楼层
构造的时候不做跟硬件有关的事情,后面运行时检查应该可以了吧

论坛徽章:
1
2015元宵节徽章
日期:2015-03-06 15:53:22
发表于 2015-04-13 12:45 |显示全部楼层
hellioncu 发表于 2015-04-12 23:06
构造的时候不做跟硬件有关的事情,后面运行时检查应该可以了吧


我是想纯粹从技术的角度来讨论,C++语法上能不能做到这件事情? 忽略我的背景,谢谢。

论坛徽章:
6
技术图书徽章
日期:2013-11-13 11:11:27子鼠
日期:2014-02-20 17:54:13处女座
日期:2014-06-16 17:43:33午马
日期:2014-08-08 09:11:17未羊
日期:2014-08-10 11:57:072015年辞旧岁徽章
日期:2015-03-03 16:54:15
发表于 2015-04-13 15:15 |显示全部楼层
本帖最后由 littledick 于 2015-04-13 15:16 编辑

统统封装到一个新的对象里。不允许独立创建。
或者每个需要依赖顺序的对象的成员变量中,都添加一个依赖对象的引用,构造函数传入引用创建。

论坛徽章:
36
子鼠
日期:2013-08-28 22:23:29黄金圣斗士
日期:2015-12-01 11:37:51程序设计版块每日发帖之星
日期:2015-12-14 06:20:00CU十四周年纪念徽章
日期:2015-12-22 16:50:40IT运维版块每日发帖之星
日期:2016-01-25 06:20:0015-16赛季CBA联赛之深圳
日期:2016-01-27 10:31:172016猴年福章徽章
日期:2016-02-18 15:30:3415-16赛季CBA联赛之福建
日期:2016-04-07 11:25:2215-16赛季CBA联赛之青岛
日期:2016-04-29 18:02:5915-16赛季CBA联赛之北控
日期:2016-06-20 17:38:50技术图书徽章
日期:2016-07-19 13:54:03程序设计版块每日发帖之星
日期:2016-08-21 06:20:00
发表于 2015-04-13 19:56 |显示全部楼层
总会有人有时候迷失在追求c++蛋疼语法这件事情上,其实冷静点想想,自己如果不是c++委员会的或者专门做相关学术研究的,产品导向才是第一位的
既然普通编码已经解决了自己的问题,还何必纠结于语法

我现在想方设法逃离C++,在运行效率不是瓶颈的情况下,写东西尽量挑选其他语言工具,省时,省体力,生活多么美好

与楼主共勉

论坛徽章:
36
子鼠
日期:2013-08-28 22:23:29黄金圣斗士
日期:2015-12-01 11:37:51程序设计版块每日发帖之星
日期:2015-12-14 06:20:00CU十四周年纪念徽章
日期:2015-12-22 16:50:40IT运维版块每日发帖之星
日期:2016-01-25 06:20:0015-16赛季CBA联赛之深圳
日期:2016-01-27 10:31:172016猴年福章徽章
日期:2016-02-18 15:30:3415-16赛季CBA联赛之福建
日期:2016-04-07 11:25:2215-16赛季CBA联赛之青岛
日期:2016-04-29 18:02:5915-16赛季CBA联赛之北控
日期:2016-06-20 17:38:50技术图书徽章
日期:2016-07-19 13:54:03程序设计版块每日发帖之星
日期:2016-08-21 06:20:00
发表于 2015-04-13 19:59 |显示全部楼层
如果非要构造顺序,构造函数怕是只能依赖于对象声明的先后顺序。

但是如果可以把子类都加个init()之类的初始化接口,就有办法实现

论坛徽章:
36
子鼠
日期:2013-08-28 22:23:29黄金圣斗士
日期:2015-12-01 11:37:51程序设计版块每日发帖之星
日期:2015-12-14 06:20:00CU十四周年纪念徽章
日期:2015-12-22 16:50:40IT运维版块每日发帖之星
日期:2016-01-25 06:20:0015-16赛季CBA联赛之深圳
日期:2016-01-27 10:31:172016猴年福章徽章
日期:2016-02-18 15:30:3415-16赛季CBA联赛之福建
日期:2016-04-07 11:25:2215-16赛季CBA联赛之青岛
日期:2016-04-29 18:02:5915-16赛季CBA联赛之北控
日期:2016-06-20 17:38:50技术图书徽章
日期:2016-07-19 13:54:03程序设计版块每日发帖之星
日期:2016-08-21 06:20:00
发表于 2015-04-13 20:03 |显示全部楼层
本帖最后由 cokeboL 于 2015-04-13 20:46 编辑

如果不是非要构造,或者说,其实构造不构造,还不都是调用一个初始化函数,如果楼主肯加个init()接口,把你原本想做的事情放到init()中而不是构造函数中,
那参考这个: http://bbs.chinaunix.net/thread-4174367-1-1.html

可以在子类构造函数中用typeid(A<T>).name() 做key存放上本类型存到map里然后在你所有的对象构造结束后,遍历这个map,根据key按你的规则进行先
后顺序执行init()

论坛徽章:
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
发表于 2015-04-13 20:57 |显示全部楼层
唉,总是看见这么蛋疼的问题……

C++标准中的所有东西,都不能用来保证对象的创建顺序。

用来保证对象的创建顺序的东西,都不在C++标准里。

论坛徽章:
89
水瓶座
日期:2014-04-01 08:53:31天蝎座
日期:2014-04-01 08:53:53天秤座
日期:2014-04-01 08:54:02射手座
日期:2014-04-01 08:54:15子鼠
日期:2014-04-01 08:55:35辰龙
日期:2014-04-01 08:56:36未羊
日期:2014-04-01 08:56:27戌狗
日期:2014-04-01 08:56:13亥猪
日期:2014-04-01 08:56:02亥猪
日期:2014-04-08 08:38:58程序设计版块每日发帖之星
日期:2016-01-05 06:20:00程序设计版块每日发帖之星
日期:2016-01-07 06:20:00
发表于 2015-04-14 09:05 |显示全部楼层
我现在的项目除了底层的要效率的东西用C++以外,所有的东西都是用脚本语言实现的。
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

SACC2019中国系统架构师大会

【数字转型 架构演进】SACC2019中国系统架构师大会,7折限时优惠重磅来袭!
2019年10月31日~11月2日第11届中国系统架构师大会(SACC2019)将在北京隆重召开。四大主线并行的演讲模式,1个主会场、20个技术专场、超千人参与的会议规模,100+来自互联网、金融、制造业、电商等领域的嘉宾阵容,将为广大参会者提供一场最具价值的技术交流盛会。

限时七折期:2019年8月31日前


----------------------------------------

大会官网>>
  

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

清除 Cookies - ChinaUnix - Archiver - WAP - TOP