《C专家编程》学习笔记 （一）ANSI-C const相关

ANSI C简介：

    1983年，美国国家标准化组织（ANSI）成立了C语言工作小组，开始了对C语言的标准化工作。1989年12月，C语言标准草案最终被ANSI委员会接纳。随后国际标准化组织（ISO）也接纳了ANSI C标准。1990年初，ANSI C重新采纳了ISO C，取代了原先的版本。因此从原则上来说，ANSI C说采纳的C语言标准是ISO C。

    点击查看C语言标准 ISO/IEC 9899:1900

编译限制：

1、在函数定义中形参数量的上限至少可以达到31个

2、在 函数调用时实参数量的上限至少可以达到31个

3、每一条源代码行里至少可以有509个字符

4、在表达式中至少可以支持32层嵌套的括号

5、long int 最大值不得低于32位

问题实例

请看下面代码：

foo(const char **p){}

main(int argc,char **argv)
{
    foo(argv);
}

如果编译这段代码，编译器会发出警告信息

产生这个警告的原因也很简单：

在ANSI C标准第6.3.2.2节中讲述约束条件的小节中有这么一句话：

“每个实参都应该具有自己的类型，这样它的值就可以赋值给与它所对应的形参类型的对象（该对象的类型不能含有限定符）”

这就是说参数传递过程类似赋值

“要使上面的赋值形式合法，必须满足下列条件之一

两个操作数都是指向有限定符或无限定符的相容类型的指针，左边指针所指向的类型必须具有右边指针所指向类型的全部限定符”

正是这个条件使得函数调用中实参char* 能与形参const char*匹配。如下面代码

char *p;
const char *cpp;
cpp=cp;

•   左操作数是一个指向有const限定符的char指针
•  右操作数是一个指向没有限定符的char指针
•  char 类型和char类型是相容的，左操作数所指向的类型具有右操作数所指向类型的限定符，加上自身的限定符。

  在标准6.1.2.5节中声称：

“const float* 类型并不是一个有 限定符的类型——它的类型是“指向一个具有const限定符的float类型的指针””

由于char** 和const char** 都是没有限定符的指针类型，但他们说指向的类型不一样，因此他们 是不相容的。因此类型为char**的实参与类型为const char**的形参是不相容的，所以编译器会产生警告。

拓展：

 const 不能把变量变成常量。在一个符号上加上const限定符只是表示这个符号不能被赋值，但不能房子通过程序内部的方法来修改这个值。const最有用之处就是用它限定函数的形参，这样该函数将不会修改实参指针所指的数据，但其他的函数可能会修改它。