为何静态库未生成独立inline变量副本？实测与认知差异问询

你的认知存在偏差——C++标准中，inline变量（包括类的static inline成员变量）本质是具有外部链接的实体，当多个编译单元（包括静态库中的编译单元）包含同一inline变量的定义时，链接器会将所有这些定义合并为单一的全局实例，而非每个静态库生成独立副本。

具体原因解析： #

1. inline变量的标准语义：
   C++17引入inline变量的核心目的，就是允许在头文件中直接定义变量（无需像传统那样在头文件声明、源文件定义），同时保证整个程序中该变量只有一个实例。标准明确规定，所有inline变量的定义必须完全一致，链接时会自动合并重复定义，最终只保留一份实体。

2. 静态库的链接特性：
   静态库是编译后目标文件的归档集合，当链接器将静态库链接到可执行文件时，会提取所需的目标文件并与可执行文件的目标文件合并。对于其中的inline变量，链接器会识别出这些是同一实体的重复定义，进而合并为单个实例，所以你的可执行文件、Library1、Library2操作的都是同一个MyStruct::static_var。

如何实现每个静态库拥有独立副本？ #

如果需要让每个静态库拥有变量的独立实例，你需要使用具有内部链接的变量：

• 在静态库的源文件中，用无名命名空间定义变量：

  namespace {
      int static_var = 0;
  }
  
  void library_one_function() {
      static_var = 7;
  }
  

• 或者使用静态局部变量（仅在函数作用域内有效）：

  void library_one_function() {
      static int static_var = 0;
      static_var = 7;
  }
  

这些方式下，变量的作用域被限制在单个编译单元（静态库的目标文件）内，不同静态库的变量是完全独立的实体。

内容的提问来源于stack exchange，提问作者Zebrafish