1. 隱式函數聲明概念程序員
在C語言中,函數在調用前不必定非要聲明。若是沒有聲明,那麼編譯器會自動按照一種隱式聲明的規則,爲調用函數的C代碼產生彙編代碼。下面是一個例子:centos
int main(int argc, char** argv) { double x = any_name_function(); return 0; }
單純的編譯上述源代碼,並無任何報錯,只是在連接階段由於找不到名爲any_name_function的函數體而報錯。 函數
[smstong@centos192 test]$ gcc -c main.c [smstong@centos192 test]$ gcc main.o main.o: In function `main': main.c:(.text+0x15): undefined reference to `any_name_function'(`any_name_function'引用沒有定義) collect2: ld 返回 1
之因此編譯不會報錯,是由於C語言規定,對於沒有聲明的函數,自動使用隱式聲明。至關於變成了以下代碼:spa
int any_name_function(); int main(int argc, char** argv) { double x = any_name_function(); return 0; }
2.程序中形成的問題code
前面給出的例子,並不會形成太大影響,由於在連接階段很容易發現存在的問題。然而下面這個例子則會形成莫名的運行時錯誤。blog
#include <stdio.h> int main(int argc, char** argv) { double x = sqrt(1); printf("%lf", x); return 0; }
gcc編譯連接原型
[smstong@centos192 test]$ gcc -c main.c main.c: 在函數‘main’中: main.c:6: 警告:隱式聲明與內建函數‘sqrt’不兼容 [smstong@centos192 test]$ gcc main.o
運行結果 編譯器
1.000000
編譯時會給出警告,提示隱式聲明與內建函數’sqrt’不兼容。gcc編譯器在編譯時可以自動在經常使用庫頭文件(內建函數)中查找與隱式聲明同名的函數,若是發現二者並不相同,則會按照內建函數的聲明原型去生成調用代碼。這每每也是程序員預期的想法。
上面的例子中隱式聲明的函數原型爲:io
int sqrt(int);
而對應的同名內建函數原型爲:編譯
double sqrt(double);
最終編譯器按照內建函數原型進行了編譯,達到了預期效果。然而gcc編譯器的這種行爲並非C語言的規範,並非全部的編譯器實現都有這樣的功能。
3.隱式聲明函數名稱剛好在連接庫中存在,且返回int類型
#include <stdio.h> int main(int argc, char** argv) { int x = abs(-1); printf("%d", x); return 0; }
此時,因爲隱式聲明的函數原型與gcc的內建函數原型徹底相同,因此gcc不會給出任何警告,結果也是正確的。
而VC++則仍然會給出警告:warning C4013: 「abs」未定義;假設外部返回 int。
不管如何,隱式聲明的函數原型與庫函數徹底相同,因此連接運行都是沒有問題的。
下面,稍微改動一下代碼:
#include <stdio.h> int main(int argc, char** argv) { int x = abs(-1,2,3,4); printf("%d", x); return 0; }
gcc下編譯連接沒有任何報錯。
可見,gcc的內建函數機制並不關心函數的參數,只是關心函數的返回值。
C++則更嚴格,直接拋棄了隱式函數聲明,對於未聲明函數的調用,將直接沒法經過編譯。
4.舉例
main.c #include <stdio.h> #include "sub.h" int main(int argc, char *argv[]) { int i; printf("Main fun!\n"); sub_fun(); return 0; } sub.c void sub_fun(void) { printf("Sub fun!\n"); } sub.h void sub_fun(void);
gcc -o test main.c sub.c
可見,雖然程序編譯過去。也能夠運行。可是這邊有提示警告。
修改:
sub.c #include <stdio.h> void sub_fun(void) { printf("Sub fun!\n"); }