《C語言 — 隱式函數聲明implicit declaration 》

1. 隱式函數聲明概念

　　在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'（`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.程序中造成的問題

　　前面給出的例子，並不會造成太大影響，因為在鏈接階段很容易發現存在的問題。然而下面這個例子則會造成莫名的運行時錯誤。

#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語言的規范，並不是所有的編譯器實現都有這樣的功能。

 

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");
}