能否用模板来保证对象的创建顺序?

sentto2

某些工业控制程序设计的需求是，创建对象的顺序需要依赖一定的规则。

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

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

1. 
   
2. struct IBase{virtual void f()=0;};//虚基类，定义f函数
   

复制代码

若干个子类，例如以A开头的子类，以B开头的子类，以C开头的子类:

1. 
   
2. struct A1:IBase{void f(){}}
   
3. struct A2:IBase{void f(){}}
   
4. struct A3:IBase{void f(){}}
   
5. struct B1:IBase{void f(){}}
   
6. struct B2:IBase{void f(){}}
   
7. struct C1:IBase{void f(){}}
   
8. struct C2:IBase{void f(){}}
   
9. 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. 
   
2. int main()
   
3. {
   
4.    vector<IBase*> v;
   
5.    v.push_back(new B3);
   
6.    v.push_back(new A2);//这一行要有编译错误
   
7.    v.push_back(new B1);
   
8.    v.push_back(new C1);
   
9.    return 0;
   
10. }
    

复制代码

我希望程序被编译的时候，编译器能在main函数的第二行监测到错误，也就是因为我已经插入了一个B3类型的对象了，我就只能插入B类型的，或者C类型的对象，不能再插入A类型的对象了。

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

windoze

回复 10# sentto2

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

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

hellioncu

构造的时候不做跟硬件有关的事情，后面运行时检查应该可以了吧

sentto2

hellioncu 发表于 2015-04-12 23:06
构造的时候不做跟硬件有关的事情，后面运行时检查应该可以了吧

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

littledick

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

cokeboL

总会有人有时候迷失在追求c++蛋疼语法这件事情上，其实冷静点想想，自己如果不是c++委员会的或者专门做相关学术研究的，产品导向才是第一位的
既然普通编码已经解决了自己的问题，还何必纠结于语法

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

与楼主共勉

cokeboL

如果非要构造顺序，构造函数怕是只能依赖于对象声明的先后顺序。

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

cokeboL

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

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

windoze

唉，总是看见这么蛋疼的问题……

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

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

fender0107401

我现在的项目除了底层的要效率的东西用C++以外，所有的东西都是用脚本语言实现的。