C++类静态成员初始化顺序

C++中的全局变量和类静态成员的初始化顺序是不确定的,可能导致依赖关系错误和程序崩溃。文章通过原型模式的例子说明了这个问题,当派生类的静态成员依赖父类静态成员时,初始化顺序错误会引发问题。解决方法是将静态成员变量转换为静态函数内的局部静态变量,确保正确的初始化顺序。
摘要由CSDN通过智能技术生成

c++中全局变量初始化是在进入main函数之前完成的,也包括类的静态成员。存在多个全局变量时,它们的初始化顺序是未知的,如果某些全局变量初始化依赖了其他的全局变量,可能会诱发程序未定义行为,在进入main函数之前就崩溃。尤其是在c++类的静态成员之间,这种依赖关系还是挺常见的,一旦发生这种bug,是很难定位的,一来没办法debug,因为还没进入main就崩了,在一个这种问题可能还是偶发的,更难排查了。

举一个例子,在实现原型模式时,原型列表通常被声明为父类的静态成员,派生类通过静态成员初始化将自己注册到原型列表。此时,派生类的静态成员就依赖了父类的静态成员,有可能派生类静态成员去执行初始化时,父类的静态成员尚未初始化,这样就直接导致程序异常退出。

class IFather
{
public:
    IFather(){}
    virtual IFather* Clone()=0;
    static IFather* FindAndClone(std::string name)
    {
        if(m_prototypes.find(name)==m_prototypes.end())
            return nullptr;
        return m_prototypes[name]->clone();
    }
protected:
    static void AddProtoType(std::string name,IFather* proto)
    {
        m_prototypes[name] = proto;
    }
private:
    static std::map<string,IFather*> m_prototypes;
}

std::map<string,IFather*> IFather::m_prototypes;

class Children:public IFather
{
public:
    Children(std::string name)
    {
        m_name=name;
    }
    IFather* Clone()
    {
        return new Children("Children");
    }
private:
    Children()
    {
        AddProtoType("Children",this);
    }
    std::string m_name="Children";
    static Children proto;
}

Children Children::proto;

上面的代码简单地阐述了这一点,Chlidren::proto和IFather::m_prototypes初始化顺序是不确定的,如果Chlidren::proto在IFather::m_prototypes之前执行初始化,就会出错。为了解决这个问题,可以将m_prototypes变成静态函数内部的局部静态变量,以此保证m_prototypes在Chlidren::proto之前初始化。

class IFather
{
public:
    IFather(){}
    virtual IFather* Clone()=0;
    static IFather* FindAndClone(std::string name)
    {
        std::map<string,IFather*>& protoRef = GetPrototypesMap();
        if(protoRef.find(name)==m_prototypes.end())
            return nullptr;
        return protoRef[name]->clone();
    }
protected:
    static void AddProtoType(std::string name,IFather* proto)
    {
        std::map<string,IFather*>& protoRef = GetPrototypesMap();
        protoRef[name] = proto;
    }
private:
    static std::map<string,IFather*>& GetPrototypesMap()
    {
        static std::map<string,IFather*> m_prototypes;
        return m_prototypes;
    }
}

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值