1、出人意料的Warning
test_cpp.c
#include <stdlib.h>
#include <stdio.h>
int main()
{
char c = 'c';
char *p = &c;
char **pp = &p;
const char **cpp = &p;
char const **c_pp = &p;
char * const *p_const_p = &p;
char ** const ppc = &p;
return 0;
}
编译的时候有如下warning:
x@ubuntu:~/Desktop/const$ gcc text_cpp.c
text_cpp.c: In function ‘main’:
text_cpp.c:11:21: warning: initialization of ‘const char **’ from incompatible pointer type ‘char **’ [-Wincompatible-pointer-types]
const char **cpp = &p;
^
text_cpp.c:12:22: warning: initialization of ‘const char **’ from incompatible pointer type ‘char **’ [-Wincompatible-pointer-types]
char const **c_pp = &p;
^
看到上面的warning,第一时间就是有点懵,和"经验不符“,我们常见的是如下用法:
#include <stdlib.h>
#include <stdio.h>
int main()
{
char c = 'c';
const char *p = &c;
char const *q = &c;
char *const r = &c;
return 0;
}
上述用法都是ok的,编译不会有warning。
2、 解释
2.1 理论背景介绍
查了很多资料,大致搞清楚了上面warning的原因。上面warning原因在《C专家编程》中有解释,而且也参考了本文后面网址的资料。
先来看看ANSI C中的规定:“两个操作数都是指向有限定符或无限定符的相容类型的指针,左边指针指向的类型必须具有右边指针指向类型的全部限定符“。这句话的前半句强调类型,后半句强调限定符(修饰符)。 出现编译warning的地方,如果不看修饰符const,赋值完全没有问题,问题出现在const修饰符。还是上面那句话,需要进行两点说明:
(1) 相容类型:在《ANSI C》的6.2.7节中,对相容类型(compatible type)的定义为:Two types have compatible type if their types are the same.
(2) 指针指向类型:字面意思理解,应该指的是对指针仅进行一次解引用得到的类型。
2.2. 应用理论解释
根据上面的说明,分别对下图中的三种情况进行解释:
情况一:
char **pp = &p等式两边的两个操作数都没有限定符去,且pp指向的是char *类型,&p指向也是char *类型,是相容类型,符合前面那句话的前半句,两个操作数都是指向无限定符的相容类型指针,那么这个赋值ok,没有任何问题。
情况二
char * const *pp = &p。pp 指向的是char * 类型,&p指向是char *类型,等式两边的类型相容,但是等式左边pp指向的类型有const关键字修饰,右边操作数没有限定符。指向类型一个有限定符,一个没有限定符,不符合前面那句话的前半句:两个操作数都是指向有限定符或无限定符的相容类型的指针。
需要注意的是左边的const是pp指向类型*pp的限定符,指的是不能通过对pp一次解引用改变p的值,也就是说const是左边操作数指向类型的限定符。
接着看是否符合后半句,左边指针指向的类型有const限定符,右边指针指向的类型没有限定符,符合后半句:左边指针指向的类型必须具有右边指针指向类型的全部限定符。 可以这么理解左边指针指向的限定符集合是A={const, Ø}, 右边指针指向类型的限定符集合是B={Ø},很显然 A 具有B的所有限定符。
情况三
const char **pp = &p等式左边pp指向的类型是const char *,&p指向是char *类型,不是相容类型。这是因为pp指向的类型是 *pp(const char *), *pp (const char *)没有限定符,const 限定符修饰的不是*pp, 而是*pp指向的类型**p(char), 显然这是对pp解引用二次了;&p指向的类型是p(char *)。 核心问题要确定const限定符修饰的对象。