c++ - C++ 中的全局对象

Question

在下面的C++代码中，s分配在哪里？它使用堆、数据、bss 还是某种组合？我在 Linux/x86 平台上，以防有所作为。有没有办法让 g++ 编译器显示布局？

#include <string>
#include <iostream>

using namespace std;

string s;

int main()
{
    s = "test";
    cout << s;
}

Answer 1

C++ 标准没有定义编译器将这些对象放在哪里，但在 UNIX 上，认为字符串数据可以是:

• 在 BSS 上，默认构造函数在 main() 之前运行
• 在 BSS 上，编译器已确定即使默认构造函数运行，所有成员都将为 0，因此根本不运行构造函数
• 在数据段中，默认构造函数在main()之前运行
• 在数据段中，成员变量的初值由编译器计算出来，直接写入二进制镜像

鉴于未定义 std::string 的实现和成员，通常不清楚是否有任何成员在默认初始化后最终应为非 0，这就是为什么有这么多可能性。

在 Linux 上使用 GCC 编译并且没有优化，然后使用“nm -C”检查可执行文件，我碰巧在 BSS 上有“s”。

 ~/dev  nm -C bss | grep ' s$'
08048896 t global constructors keyed to s
08049c98 B s

男人纳米

...
       "B" The  symbol  is  in  the  uninitialized data section (known as
           BSS).

虽然静态字符串对象永远不会在堆上，但如果字符串被分配的文本对于任何(可选的)内部缓冲区来说太大，它们包含的一个或多个指针可能最终指向堆上的内存。同样，没有明确的规则表明他们不会为其他目的分配堆内存，或者为文本内容预分配堆，即使它仍然是空的(但那将是非常愚蠢的)。