程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C++ >> 關於C++ >> C說話中的隱式函數聲明

C說話中的隱式函數聲明

編輯:關於C++

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更嚴厲,更嚴謹。

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved