静态存储（主要是数据段）会导致分段错误吗？

Question

静态存储是在编译时决定的。然而，考虑一下我们在函数中有很多延迟初始化的场景：

void foo ()
{
  static int a[1000];
}

我在这里不是讨论编码实践，而是技术方面。随着许多诸如foo()之类的其他函数被执行，这些许多静态变量将被引入数据段。

编译器在为数据段分配空间时是否也会在帐户中进行延迟初始化。。如果“否”，那么在代码执行时会导致运行时分段错误吗？ （当 template 方法中有大量static 数据时更有可能发生）。

Answer 1

仅仅因为初始化是惰性的，分配就不是。该标准要求所有静态变量（包括局部变量）在程序启动之前进行零初始化。事实上，静态意味着（在本例中）：变量的空间在程序的整个生命周期中都存在。

Answer 2

1）一件事不会有“很多”变量。函数/方法范围内的静态变量非常类似于全局变量。

2）不存在惰性初始化，因为它很可能在应用程序启动期间与所有其他全局变量一起初始化。

3) 我认为没有任何原因

了解有关 Static(C++) 的更多信息

编辑：删除了关于归零的声明

Answer 3

随着许多这样的 foo() 被执行，这些许多静态变量将被引入数据段。

不。您只能得到一个 foo()::a。这就是重点。

编译器是否也会在帐户中进行延迟初始化
为数据段分配空间。如果“否”，那么会导致
代码执行时运行时出现分段错误？ （更多的
当模板方法中有大量静态数据时可能会发生）。

您似乎在询问，如果您有太多 static 对象，.data 部分是否会耗尽空间（因此进一步写入可能会导致损坏错误）。

嗯，如上所述，在编译时就知道静态存储需要多少空间（也用于函数模板实例化）。每次调用该函数时不会获得更多foo()::a，因此没有运行时元素来确定如何需要很大的空间。

Answer 4

简短的回答：不，你不会出现段错误。

在下面的示例中，abc 位于 数据段 中，并且 def 和 x 位于 BSS 中。

#include <iostream>

int abc = 123;
int def;

int foo (int i) {
    static int x (i);
    return x;
}

int main () {
    std :: cout << foo (100) << " " << foo (200);
}

此示例打印出“100 100”：函数范围静态对象的初始化仅在第一次调用期间发生。

x 的存储与 def 等全局变量相同。

模板基本上是相同的，除了如果 foo 由模板参数化，则每个实例化都会有一个 x 。