自我修养-fu'hao

特殊符号
使用ld链接器的时候，这些符号是被定义在连接器的链接脚本中的，可以直接声明并引用它们。

#include<stdio.h>
extern char __executable_start[];
extern char etext[],_etext[],__etext[];
extern char edata[],_edata[];
extern char end[],_end[];
int main(){
    printf("Executable Start %X\n",__executable_start);
    printf("Text End %X %X %X\n",etext,_etext,__etext);
    printf("Data End %X %X\n",edata,_edata);
    printf("Executable End %X %X\n",end,_end);
}

__executable_start为程序最开始的地址（不是入口地址）
etext 或_etext或 __etext是代码段结束地址
edata或_edata是数据段结束地址
end或_end是程序结束地址

符号修饰与函数签名

对于UNIX下的C语言，VC++编译器，Windows平台下的GCC（cygwin,mingw），全局变量和函数经过编译以后，先对应的符号名前加下划线_
GCC编译器可以通过选项-fleading-underscore或-fno-leading-underscore来打开或者关闭是否在C语言符号前加下划线。
C++符号修饰，符号签名

GCC基本C++名称修饰规则

GCC基本C++名称修饰规则

extern "C"

C++编译器会将在extern "C"的大括号内的代码当作C代码处理。
为什么要这么做呢？原因是C++的编译器会对程序中符号进行修饰，这个过程在编译器中叫符号修饰（Name Decoration）或者符号改编（Name Mangling）。

extern "C"{
        int func(int);
        int var;
}

也可以这样声明

extern "C" int func(int);
extern "C" int var;

可以利用这一机制声明一个外部符号：（通过GCC名称修饰规则）

extern "C"的作用
在C++引用lua的头文件时，我们总会写成：

extern "C" {
#include "lua.h"
#include "lualib.h"
#include "lauxlib.h"
}

同时我们知道C++是能够兼容C的，如果我们有了一个C语言的头文件和其对于的库，在C++中如何使用它呢？在include该头文件的时候当然要加入extern "C"，否则按照C++的符号进行符号修饰，那么在库中就会找不到该符号了。

为了加深印象，再看一个例子：请在低版本下G++下运行此程序，高版本会报错error: redeclaration of ‘int _ZN6myname3varE’原因未知

//a minimum program to test why extern "C" is need in C++
#include<stdio.h>

namespace myname {
    int var = 42;
}

extern "C" int _ZN6myname3varE;

int main()
{
    printf("%d\n", _ZN6myname3varE);
    myname::var ++;
    printf("%d\n", _ZN6myname3varE);

    printf("%p\n",&_ZN6myname3varE);
    printf("%p\n", &myname::var);
    return 0;
}

编译执行结果：

g++ extern_c.cc
./a.out
42
43
0x601040
0x601040

在这个例子中，我们根据g++编译器的符号修饰规则，仿造了一个C变量（gcc不进行符号修饰），欺骗了编译器，把myname::var 和 _ZN6myname3varE当成了同一个变量了。这怎么有点像是c++中的引用？这里还是有些不是很理解。

还有另外一个问题，C语言不支持extern "C"语法，如果我们想写一个头文件，同时支持被C和C++引用，该怎么办？可以使用C++的宏 __cplusplus来判断是不是C++编译器。

#ifdef __cplusplus
extern "C" {
#endif

// 正式定义。。。
//void *memset(void *,int,size_t);

#ifdef __cplusplus
}
#endif

上面这段代码技巧几乎在所有的系统头文件中都会用到。

弱符号与强符号

编译器默认函数和初始化了的全局变量为强符号，未初始化的全局变量是若符号。也可以通过GCC中的__attribute__((weak))来定义任何一个强符号为弱符号

调试信息

在GCC编译的时候加上-g参数，编译器会在产生的目标文件中加上调试信息。
在Linux下，可以使用strip命令来去掉elf中的调试信息,例如strip foo

最后编辑于：2018.10.28 18:36:06