共享库中__attribute __((构造函数))的全局/静态变量初始化问题

时间:2017-05-12 15:15:08

标签: c++ c++11 shared-libraries

我遇到了全局/静态变量的问题'在共享库中使用__attribute__((constructor))初始化,某些变量似乎初始化了两次。

以下是代码段:

shared.cpp

struct MyStruct
{
  MyStruct(int s = 1)
  : s(s) {
    printf("%s, this: %p, s=%d\n", __func__, this, s);
  }
  ~MyStruct() {
    printf("%s, this: %p, s=%d\n", __func__, this, s);
  }
  int s;
};

MyStruct* s1 = nullptr;
std::unique_ptr<MyStruct> s2 = nullptr;
std::unique_ptr<MyStruct> s3;
MyStruct s4;

void onLoad() __attribute__((constructor));
void onLoad()
{
  s1 = new MyStruct;
  s2 = std::make_unique<MyStruct>();
  s3 = std::make_unique<MyStruct>();
  s4 = MyStruct(2);

  printf("&s1: %p, &s2: %p, &s3: %p\n", &s1, &s2, &s3);
  printf("s1: %p, s2: %p, s3: %p\n", s1, s2.get(), s3.get());
  printf("s4: %p, s4.s: %d\n", &s4, s4.s);
}

extern "C" void foo()
{
  printf("&s1: %p, &s2: %p, &s3: %p\n", &s1, &s2, &s3);
  printf("s1: %p, s2: %p, s3: %p\n", s1, s2.get(), s3.get());
  printf("s4: %p, s4.s: %d\n", &s4, s4.s);
}

的main.cpp

#include <cstdio>
#include <dlfcn.h>

using Foo = void(*)(void);

int main()
{
  printf("Calling dlopen...\n");
  void* h = dlopen("./libshared.so", RTLD_NOW | RTLD_GLOBAL);
  Foo f = reinterpret_cast<Foo>(dlsym(h, "foo"));
  printf("\nCalling foo()...\n");
  f();
  return 0;
}

编译

$ g++ -fPIC -shared -std=c++14 shared.cpp -o libshared.so
$ g++ -std=c++14 -o main main.cpp -ldl

输出:

Calling dlopen...
MyStruct, this: 0x121b200, s=1
MyStruct, this: 0x121b220, s=1
MyStruct, this: 0x121b240, s=1
MyStruct, this: 0x7ffc19736910, s=2
~MyStruct, this: 0x7ffc19736910, s=2
&s1: 0x7fb1fe487190, &s2: 0x7fb1fe487198, &s3: 0x7fb1fe4871a0
s1: 0x121b200, s2: 0x121b220, s3: 0x121b240
s4: 0x7fb1fe4871a8, s4.s: 2
MyStruct, this: 0x7fb1fe4871a8, s=1

Calling foo()...
&s1: 0x7fb1fe487190, &s2: 0x7fb1fe487198, &s3: 0x7fb1fe4871a0
s1: 0x121b200, s2: (nil), s3: 0x121b240
s4: 0x7fb1fe4871a8, s4.s: 1
~MyStruct, this: 0x7fb1fe4871a8, s=1
~MyStruct, this: 0x121b240, s=1

预计s1s3的值。

s2s4表现得很奇怪。

  • s2.get()应该是0x121b220,但在foo()中它会变为nullptr;
  • s4的值在s4.s: 2中打印为onLoad(),但之后使用默认值s=1调用其构造函数,然后在{{1}中调用它的值是foo()

将变量放在匿名命名空间中会产生相同的结果。

s=1s2有什么问题?

我的操作系统:Ubuntu 16.04.2,GCC:5.4.0

1 个答案:

答案 0 :(得分:2)

根据this GCC bug reportthis follow-up doc patch的讨论,您看到的是GCC中未指明的行为(不是错误)。

  

但是,未指定调用具有静态存储持续时间的C ++对象的构造函数和使用属性constructor修饰的函数的顺序。在混合声明中,属性init_priority可用于强制执行特定排序。

在这种情况下,似乎很少避免使用段错误,因为分配给未初始化的std::unique_ptr可能会导致为未初始化的指针成员调用delete。根据C ++规范,GCC的未指定行为转换为未定义的行为(在此特定情况下),因为它是undefined behavior to read from an uninitialized variable(未初始化的unsigned char除外)。

无论如何,为了解决这个问题,你确实需要使用__attribute((init_priority))来命令在构造函数之前初始化静态声明的对象。