C++中const和指针*的组合问题

今天在复习<> 章节7.3的时候想到以前做的一个题，const和指针运算符*的若干种组合的合法性和意义问题，有点混淆，所以写了一个测试代码来验证一下，简单明了，一目了然。如果有什么遗漏的话欢迎指出。

首先是在Ubuntu14.04.1下用gcc 4.8.4编译运行的结果，编译器报错信息都附加在对应语句后面的注释里

/*
 * Note : Test for the combinations of const and *
 * Last edit : 2016-2-27
 */

#include 

int main()
{
    int a = 1, b = 2;
    const int *p1 = &a;
    p1 = &b;
//    *p1 = 3; // error: assignment of read-only location ‘* p1’

    int * const p2 = &a;
//    p2 = &b; // assignment of read-only variable ‘p2’
    *p2 = 3;

    int const * p3 = &a;
    p3 = &b;
//    *p3 = 3; // error: assignment of read-only location ‘* p3’

//    const * int p4 = &a; // error: expected unqualified-id before ‘int’
//    int * p5 const = &a; // error: expected initializer before ‘const’

//    const const int * p6 = &a; // error: duplicate ‘const’

    const int * const p7 = &a;
//    p7 = &b; // error: assignment of read-only variable ‘p7’
//    *p7 = 3; // error: assignment of read-only location ‘*(const int*)p7’
    return 0;
}

下面是Visual Studio 2013下用vs自带的编译器编译运行的结果

/*
* Note : Test for the combinations of const and *
* Last edit : 2016-2-27
*/
#include "stdafx.h"
#include 

int main()
{
	int a = 1, b = 2;
	const int *p1 = &a;
	p1 = &b;
//    *p1 = 3; // error C3892: “p1”: 不能给常量赋值

	int * const p2 = &a;
//    p2 = &b; // error C3892: “p2”: 不能给常量赋值
	*p2 = 3;

	int const * p3 = &a;
	p3 = &b;
//    *p3 = 3; // error C3892: “p3”: 不能给常量赋值

//    const * int p4 = &a; // error C2143: 语法错误 : 缺少“;”(在“const”的前面)
//    int * p5 const = &a; // error C4430: 缺少类型说明符 - 假定为 int。注意:  C++ 不支持默认 int
	                     // error C2513: “const int”: 在“=”前没有声明变量

//    const const int * p6 = &a; // warning C4114: 多次使用同一类型限定符

	const int * const p7 = &a;
//    p7 = &b; // error C3892: “p7”: 不能给常量赋值
//    *p7 = 3; // error C3892: “p7”: 不能给常量赋值
	return 0;
}

上面两个环境下错误的原因基本一样，总结如下

声明原则：

• 变量类型必须在*前（纯属废话，反例见p4）
• const不能位于变量名后 （反例见p5）

const对象的理解：

const修饰的对象看其后先接哪个，指针变量名还是 * 

• 先接指针变量名（如上面的int * const p2）则const修饰指针变量，即p2的值不能修改
• 先接* （如上面的const int *p1; 和 int const * p3）则const修饰指针指向的变量，即*p2的值不能修改