c 函数声明和定义-凯发app官方网站

声明的含义

     前面已经解释过声明是什么意思，在此由于成员函数的定义规则这种新的定义语法，必须重新考虑声明的意思。注意一点，前面将一个函数的定义放到main函数定义的前面就可以不用再声明那个函数了；同样如果定义了某个变量，就不用再声明那个变量了。这也就是说定义语句具有声明的功能，但上面成员函数的定义语句却不具有声明的功能，下面来了解声明的真正意思。
     声明是要求编译器产生映射元素的语句。所谓的映射元素，就是前面介绍过的变量及函数，都只有3栏（或3个字段）：类型栏、名字栏和地址栏（成员变量类型的这一栏就放偏移值）。即编译器每当看到声明语句，就生成一个映射元素，并且将对应的地址栏空着，然后留下一些信息以告诉连接器——此.obj文件（编译器编译源文件后生成的文件，对于vc是.obj文件）需要一些符号，将这些符号找到后再修改并完善此.obj文件，最后连接。
     回想之前说过的符号的意思，它就是一字符串，用于编译器和连接器之间的通信。注意符号没有类型，因为连接器只是负责查找符号并完善（因为有些映射元素的地址栏还是空的）中间文件（对于vc就是.obj文件），不进行语法分析，也就没有什么类型。
     定义是要求编译器填充前面声明没有书写的地址栏。也就是说某变量对应的地址，只有在其定义时才知道。因此实际的在栈上分配内存等工作都是由变量的定义完成的，所以才有声明的变量并不分配内存。但应注意一个重点，定义是生成映射元素需要的地址，因此定义也就说明了它生成的是哪个映射元素的地址，而如果此时编译器的映射表（即之前说的编译器内部用于记录映射元素的变量表、函数表等）中没有那个映射元素，即还没有相应元素的声明出现过，那么编译器将报错。
     但前面只写一个变量或函数定义语句，它照样正常并没有报错啊？实际很简单，只需要将声明和定义看成是一种语句，只不过是向编译器提供的信息不同罢了。如：void abc( float );和void abc( float ){}，编译器对它们相同看待。前者给出了函数的类型及类型名，因此编译器就只填写映射元素中的名字和类型两栏。由于其后只接了个“;”，没有给出此函数映射的代码，因此编译器无法填写地址栏。而后者，给出了函数名、所属类型以及映射的代码（空的复合语句），因此编译器得到了所有要填写的信息进而将三栏的信息都填上了，结果就表现出定义语句完成了声明的功能。
     对于变量，如long a;。同上，这里给出了类型和名字，因此编译器填写了类型和名字两栏。但变量对应的是栈上的某块内存的首地址，这个首地址无法从代码上表现出来（前面函数就通过在函数声明的后面写复合语句来表现相应函数对应的代码所在的地址），而必须由编译器内部通过计算获得，因此才硬性规定上面那样的书写算作变量的定义，而要变量的声明就需要在前面加extern。即上面那样将导致编译器进行内部计算进而得出相应的地址而填写了映射元素的所有信息。
     上面难免显得故弄玄虚，那都是因为自定义类型的出现。考虑成员变量的定义，如：
     struct abc { long a, b; double c; };
     上面给出了类型——long abc::、long abc::和double abc::；给出了名字——abc::a、abc::b和abc::c；给出了地址（即偏移）——0、4和8，因为是结构型自定义类型，故由此语句就可以得出各成员变量的偏移。上面得出三个信息，即可以填写映射元素的所有信息，所以上面可以算作定义语句。对于成员函数，如下：
     struct abc { void ab( float ); };
     上面给出了类型——void ( abc:: )( float )；给出了名字——abc::ab。不过由于没有给出地址，因此无法填写映射元素的所有信息，故上面是成员函数abc::ab的声明。按照前面说法，只要给出地址就可以了，而无需去管它是定义还是声明，因此也就可以这样：
     struct abc { void ab( float ){} };
     上面给出类型和名字的同时，给出了地址，因此将可以完全填写映射元素的所有信息，是定义。上面的用法有其特殊性，后面说明。注意，如果这时再在后面写abc::ab的定义语句，即如下，将错误：
     struct abc { void ab( float ){} };
     void abc::ab( float ) {}
     上面将报错，原因很简单，因为后者只是定义，它只提供了abc::ab对应的地址这一个信息，但映射元素中的地址栏已经填写了，故编译器将说重复定义。再单独看成员函数的定义，它给出了类型void ( abc:: )( float )，给出了名字abc::ab，也给出了地址，但为什么说它只给出了地址这一信息？首先，名字abc::ab是不符合标识符规则的，而类型修饰符abc::必须通过类型定义符“{}”才能够加上去，这在前面已多次说明。因此上面给出的信息是：给出了一个地址，这个地址是类型为void ( abc:: )( float )，名字为abc::ab的映射元素的地址。结果编译器就查找这样的映射元素，如果有，则填写相应的地址栏，否则报错，即只写一个void abc::ab( float ){}是错误的，在其前面必须先通过类型定义符“{}”声明相应的映射元素。这也就是前面说的定义仅仅填充地址栏，并不生成映射元素。


声明的作用

     定义的作用很明显了，有意义的映射（名字对地址）就是它来做，但声明有什么用？它只是生成类型对名字，为什么非得要类型对名字？它只是告诉编译器不要发出错误说变量或函数未定义？任何东西都有其存在的意义，先看下面这段代码。
     extern"c" long abc( long a, long b );
     void main(){ long c = abc( 10, 20 ); }
     假设上面代码在a.cpp中书写，编译生成文件a.obj，没有问题。但按照之前的说明，连接时将错误，因为找不到符号_abc。因为名字_abc对应的地址栏还空着。接着在vc中为a.cpp所在工程添加一个新的源文件b.cpp，如下书写代码。
     extern"c" float abc( float a ){ return a; }
     编译并连接，现在没任何问题了，但相信你已经看出问题了——函数abc的声明和定义的类型不匹配，却连接成功了？
     注意上面关于连接的说明，连接时没有类型，只管符号。上面用extern"c"使得a.obj要求_abc的符号，而b.cpp提供_abc的符号，剩余的就只是连接器将b.obj中_abc对应的地址放到a.obj以完善a.obj，最后连接a.obj和b.obj。
     那么上面什么结果，由于需要考虑函数的实现细节，这在《c 从零开始（十五）》中再说明，而这里只要注意到一件事：编译器即使没有地址也依旧可以生成代码以实现函数操作符的功能——函数调用。之所以能这样就是因为声明时一定必须同时给出类型和名字，因为类型告诉编译器，当某个操作符涉及到某个映射元素时，如何生成代码来实现这个操作符的功能。也就是说，两个char类型的数字乘法和两个long类型的数字乘法编译生成的代码不同；对long abc( long );的函数调用代码和void abc( float )的不同。即，操作符作用的数字类型的不同将导致编译器生成的代码不同。
     那么上面为什么要将abc的定义放到b.cpp中？因为各源文件之间的编译是独立的，如果放在a.cpp，编译器就会发现已经有这么个映射元素，但类型却不匹配，将报错。而放到b.cpp中，使得由连接器来完善a.obj，到时将没有类型的存在，只管符号。下面继续。
     struct abc { long a, b; void ab( long tem1, long tem2 ); void abcd(); };
     void main(){ abc a; a.ab( 10, 20 ); }
     由上面的说法，这里虽然没有给出abc::ab的定义，但仍能编译成功，没有任何问题。仍假设上面代码在a.cpp中，然后添加b.cpp，在其中书写下面的代码。
     struct abc { float b, a; void ab( long tem1, long tem2 ); long abcd( float ); };
     void abc::ab( long tem1, long tem2 ){ a = tem1; b = tem2; }
     这里定义了函数abc::ab，注意如之前所说，由于这里的函数定义仅仅只是定义，所以必须在其前面书写类型定义符“{}”以让编译器生成映射元素。但更应该注意这里将成员变量的位置换了，这样b就映射的是0而a映射的是4了，并且还将a、b的类型换成了float，更和a.cpp中的定义大相径庭。但没有任何问题，编译连接成功，a.ab( 10,20 );执行后a.a为0x41a00000，a.b为0x41200000，而*( float* )&a.a为20，*( flaot* )&a.b为10。
     为什么？因为编译器只在当前编译的那个源文件中遵循类型匹配，而编译另一个源文件时，编译其他源文件所生成的映射元素全部无效。因此声明将类型和名字绑定起来，而名字就代表了其所关联的类型的地址类型的数字，而后继代码中所有操作这个数字的操作符的编译生成都将受这个数字的类型的影响。即声明是告诉编译器如何生成代码的，其不仅仅只是个语法上说明变量或函数的语句，它是不可或缺的。
     还应注意上面两个文件中的abc::abcd成员函数的声明不同，而且整个工程中（即a.cpp和b.cpp中）都没有abc::abcd的定义，却仍能编译连接成功，因为声明并不是告诉编译器已经有什么东西了，而是如何生成代码。


头文件

     上面已经说明，如果有个自定义类型abc，在a.cpp、b.cpp和c.cpp中都要使用它，则必须在a.cpp、b.cpp和c.cpp中，各自使用abc之前用类型定义符“{}”重新定义一遍这个自定义类型。如果不小心如上面那样在a.cpp和b.cpp中写的定义不一样，则将产生很难查找的错误。为此，c 提供了一个预编译指令来帮忙。
     预编译指令就是在编译之前执行的指令，它由预编译器来解释执行。预编译器是另一个程序，一般情况，编译器厂商都将其合并进了c 编译器而只提供一个程序。在此说明预编译指令中的包含指令——#include，其格式为#include <文件名>。应注意预编译指令都必须单独占一行，而<文件名>就是一个用双引号或尖括号括起来的文件名，如：#include "abc.c"、#include "c:\abc.dsw"或#include 。它的作用很简单，就是将引号或尖括号中书写的文件名对应的文件以ansi格式或mbcs格式（关于这两个格式可参考《c 从零开始（五）》）解释，并将内容原封不动地替换到#include所在的位置，比如下面是文件abc的内容。
     struct abc { long a, b; void ab( long tem1, long tem2 ); };
     则前面的a.cpp可改为：
     #include "abc"
     void main() { abc a; a.ab( 10, 20 ); }
     而b.cpp可改为：
     #include "abc"
     void abc::ab( long tem1, long tem2 ){ a = tem1; b = tem2; }
     这时，就不会出现类似上面那样在b.cpp中将自定义类型abc的定义写错了而导致错误的结果（a.a为0x41a00000，a.b为0x41200000），进而a.ab( 10, 20 );执行后，a.a为10，a.b为20。
     注意这里使用的是双引号来括住文件名的，它表示当括住的只是一个文件名或相对路径而没有给出全路径时，如上面的abc，则先搜索此时被编译的源文件所在的目录，然后搜索编译器自定的包含目录（如：c:\program files\microsoft visual studio .net 2003\vc7\include等），里面一般都放着编译器自带的sdk的头文件（关于sdk，将在《c 从零开始（十八）》中说明），如果仍没有找到，则报错（注意，一般编译器都提供了一些选项以使得除了上述的目录外，还可以再搜索指定的目录，不同的编译器设定方式不同，在此不表）。
     如果是用尖括号括起来，则表示先搜索编译器自定的包含目录，再源文件所在目录。为什么要不同？只是为了防止自己起的文件名正好和编译器的包含目录下的文件重名而发生冲突，因为一旦找到文件，将不再搜索后继目录。
     所以，一般的c 代码中，如果要用到某个自定义类型，都将那个自定义类型的定义分别装在两个文件中，对于上面结构abc，则应该生成两个文件，分别为abc.h和abc.cpp，其中的abc.h被称作头文件，而abc.cpp则称作源文件。头文件里放的是声明，而源文件中放的是定义，则abc.h的内容就和前面的abc一样，而abc.cpp的内容就和b.cpp一样。然后每当工程中某个源文件里要使用结构abc时，就在那个源文件的开头包含abc.h，这样就相当于将结构abc的所有相关声明都带进了那个文件的编译，比如前面的a.cpp就通过在开头包含abc以声明了结构abc。
     为什么还要生成一个abc.cpp？如果将abc::ab的定义语句也放到abc.h中，则a.cpp要使用abc，c.cpp也要使用abc，所以a.cpp包含abc.h，由于里面的abc::ab的定义，生成一个符号?ab@abc@@qaexjj@z（对于vc）；同样c.cpp的编译也要生成这个符号，然后连接时，由于出现两个相同的符号，连接器无法确定使用哪一个，报错。因此专门定义一个abc.cpp，将函数abc::ab的定义放到abc.obj中，这样将只有一个符号生成，连接时也就不再报错。
     注意上面的struct abc { void ab( float ){} };。如果将这个放在abc.h中，由于在类型定义符中就已经将函数abc::ab的定义给出，则将会同上，出现两个相同的符号，然后连接失败。为了避开这个问题，c 规定如上在类型定义符中直接书写函数定义而定义的函数是inline函数，出于篇幅，下篇介绍。