函数范围的静态变量如何导致与共享库中函数代码的未来使用不兼容

Posted 2021-04-13

HIC++ Coding标准的规则3.3.1限制使用具有静态存储持续时间的变量，即使它们在块作用域中声明也是如此：

具有静态存储持续时间的块作用域对象的初始化顺序已明确定义。但是，这样的对象的寿命在程序终止时结束，这可能与代码的未来使用不兼容，例如：作为共享库。

Application const & theApp()  
{  
  static  Application  app; // Non-Compliant  
  return  app;  
}

问题是不兼容会发生什么。

答案

问题是不兼容会发生什么。

作为示例，该库可能在​​多线程程序中变得不可用，在多线程程序中，在调用exit之前并非所有线程都被终止。

也就是说，如果线程T0调用了exit，则将在某个时候调用Application析构函数（因为它是在第一次调用atexit时在theApp()中注册的。）>

如果线程T1仍在运行，并且具有对theApp.app的引用，那么现在它将具有对销毁对象的引用，并且很可能会崩溃。