1

作为检查，我尝试了以下代码：

const int i = 100;
static int m = 90;
const int p = 40;
int x;

main()
{
    const int j = 40;
    static int k = 40;
    const int n;

    char *p = "Rama";
}

因此，当我通过 gcc 编译器获得以下输出时，请告诉哪个变量进入哪个段。当我写

size ./a.out

我有：

text   data   bss    dec   hex   filename
865    268     12   1145   479   ./a.out
4

4 回答 4

1

通常，未初始​​化的数据会进入 BSS，而初始化的数据会进入 DATA（参见此处）。

但是 ISO C 并没有强制要求这种事情，这完全是一个实施问题。您的问题中的dec和hex分别是其他三个十进制和十六进制的总数：

865 + 268 + 12 = 1145 = 0x479

如果您真的想知道，可以使用各种工具，例如gcc -S在编译时获取汇编语言输出，或者nm和它的兄弟一起查看目标文件。

于 2010-12-11T13:26:41.510 回答
1

您可以使用nm。这是一个示例： test.c 包含您发布的示例：

gcc -o test test.c
nm -p -m test

00001fb0 (__TEXT,__text) non-external (was a private external) dyld_stub_binding_helper
00001fc4 (__TEXT,__text) non-external (was a private external) __dyld_func_lookup
00002010 (__DATA,__data) non-external dyld__mach_header
00002014 (__DATA,__data) non-external _m
00002018 (__DATA,__data) non-external _k.1510
0000200c (__DATA,__data) external _NXArgc
00002008 (__DATA,__data) external _NXArgv
00002000 (__DATA,__data) external ___progname
00001000 (absolute) [referenced dynamically] external __mh_execute_header
00002004 (__DATA,__data) external _environ
00001ff0 (__TEXT,__literal4) external _i
00001fd2 (__TEXT,__text) external _main
00001ff4 (__TEXT,__literal4) external _p
00002038 (__DATA,__common) external _x
00001f70 (__TEXT,__text) external start
         (undefined [lazy bound]) external _exit (from libSystem)

您可以使用此处描述的技术来控制变量进入哪个段。（在 MS VC 中，您可以使用#pragme data_seg("segname")）。

于 2010-12-11T13:29:20.560 回答
1

变量和东西放在编译器想要放置的地方。您可以通过选项对编译器的行为方式进行一些选择。

您可能想访问以下链接：

http://en.wikipedia.org/wiki/A.out

http://en.wikipedia.org/wiki/Executable_and_Linkable_Format

于 2010-12-11T13:11:43.757 回答
0

我认为您对 的含义static和const可以理解的含义感到困惑，因为您（和我！）一旦阅读了该理论，就经常忘记它们的含义。

1) 首先，const。这const意味着我们不会通过对它的“引用”来改变变量的值。这对于函数参数非常有用，尤其是在使用指针时，这样您就不会编辑您不打算编辑的值。例如，任意：

void add(int* result, const int* a, const int* b)

这个声明意味着如果我们不小心输入a = result + b;了编译器应该抱怨并拒绝编译。在这种情况下，我们以这样一种方式命名变量，即使意外我们也不应该覆盖它们，但在更复杂的情况下，它可能会发生。

然而，正如 pmg 所说，这并不意味着该值不会改变；它只是意味着在谈论该地址/值的这个版本时，我们不会更改它。我的观点是，保护您不打算更改的参数很有用，以防您不小心尝试更改它们。如果您想要一个真正的固定值预处理器，通常会使用，例如#define TRUE 1.

2) 现在static。静态的意思是“在这个编译单元之外不可见”。这就像，我强调，但不等同于类中私有的概念，但在这种情况下，我们谈论的是整个 C 文件。所以，如果我们在文件中helloworld.c并且在顶部你写：

static int x = 10;

然后，您不能使用该版本的xin helloworld2.c。

3）虽然我们在做，但我们不妨换个说法inline。inline在我看来，这是一种更好的宏处理方式，意思是“编译器，你应该把它的结果代码放在你调用它的任何地方，而不是让我们花费一个函数调用”。无论如何，优化编译器可能会这样做，但这充当了尽可能内联的显式指令。

总之，这些特性都控制语言的所有部分，而不是变量在可执行文件的各个段中的位置。正如pmg所说，编译器可以做任何它喜欢的事情。

如果您想了解编译器做了什么，请使用gcc -S. 这为您提供了gccAT&T 格式的汇编语言输出。尝试使用不同的gcc -Oxwherex=0,1,2,3标志来了解优化的工作原理。

最后，值得注意的是，其实a.out只是一个名字；您的现代内核可能是在不支持a.out二进制文件的情况下编译的。

我想这就是你真正想问的问题。

于 2010-12-11T13:23:45.663 回答