自我修养-fu'hao

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

#include
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

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

你可能感兴趣的:(自我修养-fu'hao)