C說話中的隱式函數聲明。本站提示廣大學習愛好者:(C說話中的隱式函數聲明)文章只能為提供參考,不一定能成為您想要的結果。以下是C說話中的隱式函數聲明正文
1 甚麼是C說話的隱式函數聲明
在C說話中,函數在挪用前紛歧定非要聲明。假如沒有聲明,那末編譯器會主動依照一種隱式聲明的規矩,為挪用函數的C代碼發生匯編代碼。上面是一個例子:
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' collect2: ld 前往 1
之所以編譯不會報錯,是由於C說話劃定,關於沒有聲明的函數,主動應用隱式聲明。相當於釀成了以下代碼:
int any_name_function(); int main(int argc, char** argv) { double x = any_name_function(); return 0; }
2 帶來的成績
2.1 隱式聲明函數稱號正好在鏈接庫中存在,但前往非int類型
後面給出的例子,其實不會形成太年夜影響,由於在鏈接階段很輕易發明存在的成績。但是上面這個例子則會形成莫名的運轉時毛病。
#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編譯器在編譯時可以或許主動在經常使用庫頭文件(內建函數)中查找與隱式聲明同名的函數,假如發明二者其實不雷同,則會依照內建函數的聲明原型去生成挪用代碼。這常常也是法式員預期的設法主意。
下面的例子中隱式聲明的函數原型為:
int sqrt(int);
而對應的同名內建函數原型為:
double sqrt(double);
終究編譯器依照內建函數原型停止了編譯,到達了預期後果。但是gcc編譯器的這類行動其實不是C說話的標准,其實不是一切的編譯器完成都有如許的功效。異樣的源碼在VC++2015下編譯運轉的成果倒是:
VC++編譯
warning C4013: “sqrt”不決義;假定內部前往 int
運轉成果
2884223.000000
明顯,VC++編譯器沒有無所謂的“內建函數”,只是簡略的依照隱式聲明的原型,生成挪用sqrt函數的代碼。因為前往類型和參數類型的分歧,招致毛病的函數挪用方法,發生莫名奧妙的運轉時毛病。
對著這類情形,因為前往類型的分歧,兩種編譯器都可以給出正告信息,至多能惹起法式員的留意。而上面這類情形,則加倍隱藏。
2.2 隱式聲明函數稱號正好在鏈接庫中存在,且前往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編譯鏈接
[smstong@centos192 test]$ gcc -c main.c [smstong@centos192 test]$ gcc main.o
可見,gcc的內建函數機制其實不關懷函數的參數,只是關懷函數的前往值。
vc++編譯鏈接
warning C4013: “abs”不決義;假定內部前往 int
固然這個例子的運轉成果都是准確的,然則這類准確是“恰巧”的,由於額定的函數參數並沒有影響到成果。這類有時准確是法式中要防止的。
3 編程中留意事項
C說話的隱式函數聲明,給法式員帶來了各類迷惑,給法式的穩固性帶來了異常壞的影響。不曉得現在C說話設計者是若何斟酌這個成績的?
* 為了不這類影響,激烈建議法式員看重編譯器給出的關於隱式聲明的正告,實時經由過程包括需要的頭文件來清除這類正告。*
關於gcc來講,後面給出的誰人abs(-1,2,3,4)的特別例子,編譯器基本不會發生任何正告,只能靠法式員熟習本身挪用的每個庫函數了。
為了不這類成績,在C說話的C99版本中,不管若何都邑給出正告。如gcc應用C99編譯上述代碼。
gcc -std=c99編譯 [smstong@centos192 test]$ gcc -c main.c -std=c99 main.c: 在函數‘main'中: main.c:5: 正告:隱式聲明函數‘abs'
而C++則更嚴厲,直接擯棄了隱式函數聲明,關於未聲明函數的挪用,將直接沒法經由過程編譯。
g++編譯
[smstong@centos192 test]$ g++ main.c main.c: In function ‘int main(int, char**)': main.c:5: 毛病:‘abs'在此感化域中還沒有聲明
vc++編譯(作為C++)
error C3861: “abs”: 找不到標識符
在函數強類型這一點上,C++確切比C更嚴厲,更嚴謹。