C代码中如何使用链接脚本中定义的变量

原文内容：http://www.100ask.org/bbs/forum.php?mod=viewthread&tid=16231&page=1&authorid=2

--------------------------------------------------------------------------------------------------------------------------

参考文章：https://sourceware.org/ml/binutils/2007-07/msg00154.html

在链接脚本中，经常有这样的代码：

1. SECTIONS
   
2. {
   
3.        .....
   
4.         . = ALIGN(4);
   
5.         .rodata : { *(.rodata) }
   
6. 
   
7.         . = ALIGN(4);
   
8.         .data : { *(.data) }
   
9. 
   
10.         . = ALIGN(4);
    
11.         .got : { *(.got) }
    
12. 
    
13.         . = ALIGN(4);
    
14.         __bss_start = .;
    
15.         .bss : { *(.bss) }
    
16.         _end = .;
    
17. }
    

复制代码

其中__bss_start, _end 表示BSS段的起始、终止地址。
我们想对这段空间清零时，
1．在汇编代码中，可以直接引用__bss_start,  _end，比如：

1. ldr r0, =__bss_start
   
2. ldr r1, =_end

复制代码

2.  在C代码中，我们不能直接引用它们，要这样做：

1. void clean_bss(void)
   
2. {
   
3.     extern int __bss_start, _end;
   
4.     int *p = &__bss_start;
   
5.     
   
6.     for (; p < &_end; p++)
   
7.         *p = 0;
   
8. }
   

复制代码

__bss_start, _end不是表示某个值吗？在C代码中为什么要使用取址符号 & ?

原因：
一. 
在C代码中，这样的语句：

1. int foo = 1000;

复制代码

会导致2件事情发生：
1.  在代码中，留出4字节的空间，保存数值1000
2．在C语言的symbole talbe，即符号表中，有一个名为foo的项，它里面存有那4字节空间的地址。

我们执行 foo = 1时，会先去符号表中找到foo对应的地址，然后把数值1填到那个地址对应的内存；
我们执行 int *a = &foo时，会直接把符号表中foo的地址，写给a。

二．
在链接脚本中，假设

1. __bss_start = 1000
   

复制代码

__bss_start并不是一个变量，它只是一个值，并不需要在内存中留出一段空间来保存它；
在C语言中，符号表中会有一个名为__bss_start的项，这个项目中的值（地址值）是1000；
注意，这个1000并没有实际存在的内存。

三．
所以：在C语言中，要去使用链接脚本中定义的值时，应该这样做：

1. extern int __bss_start;
   
2. int val = &__bss_start;

复制代码

使用取址符号&去得到它在符号表中的值。

注意，这个值只是链接脚本中定义的值，并不表示某个变量的地址。