c++ - 内联函数的函数本地静态对象是否在共享对象文件之间共享？

Question

我有一个inline函数，在 header 中定义了一个函数local static，如下所示:
singleton.hpp

inline int& instance(){
   static int v;
   return v;
}

我将 header.hpp包含在两个独立的共享对象 A.so和 B.so中。
A.so:

#include "singleton.hpp"

namespace A{

void set(int v){
    instance() = v;
}

int get(){
    return instance();
}

}

B.so:

#include "singleton.hpp"

namespace B{

void set(int v){
    instance() = v;
}

int get(){
    return instance();
}

}

main.cpp

#include "a.hpp"
#include "b.hpp"
#include <iostream>

int main(void){
    A::set(42);
    std::cout << B::get() << std::endl;

    B::set(13);
    std::cout << A::get() << std::endl;
}

我将 A.so和 B.so链接到我的可执行文件 main。

问题: A.so和 B.so是否看到相同的函数局部静态对象？
换句话说，如果我像 v一样从 A.so修改 instance() = 42，是否可以从 B.so看到？

我实际上已经尝试过了，它 确实可以工作。但是，我不确定这是特定于实现还是未定义的行为。有关完整的示例，请参见 https://github.com/jrhemstad/link_test。

Answer 1

C++中内联的含义不同于C中的使用。请参见inline in c++
从c++ 17开始，规范为内联函数定义了

Function-local static objects in all function definitions are shared across all translation units (they all refer to the same object defined in one translation unit)

对于纯“内联”，这是可行的，但对于“静态内联”，至少g++仍会创建静态对象的多个副本。