对我来说，常量的位置，即它相对于*是出现在左侧还是右侧，还是同时出现在左侧和右侧，有助于我理解实际含义。

*左边的常量表示指针指向的对象是常量对象。*右边的常量表示指针是常量指针。

下表摘自斯坦福CS106L标准C++编程实验室课程阅读器。

就像每个人都指出的那样：

常量X*p、X*constp和常量X*const p之间有什么区别？

必须读取指针声明从右到左。const X*p表示“p指向常量的X”：X对象不能通过p更改。X*const p表示“p是指向非常量X的常量指针”：不能更改指针p本身，但可以通过p更改X对象。const X*const p表示“p是指向常量X的常量指针”：不能更改指针p本身，也不能通过p更改X对象。

简单助记符：

类型指针<-*->指针对象名称

我喜欢把int*I看作是声明“I的解引用是int”；在这个意义上，constint*i表示“i的deref是constint”，而int*consti表示“consti的derref是int”。

（像这样思考的一个危险是，它可能会导致人们倾向于int const*i风格的声明，而人们可能会讨厌/拒绝这种声明）

这很简单，但很棘手。请注意，我们可以将const限定符应用于任何数据类型（int、char、float等）。

让我们看看下面的例子。

const int*p==>*p是只读的[p是指向常量整数的指针]

int const*p==>*p是只读的[p是指向常量整数的指针]

int*p const==>错误语句。编译器抛出语法错误。

int*const p==>p是只读的[p是指向整数的常量指针]。因为这里的指针p是只读的，所以声明和定义应该在同一位置。

const int*p const==>错误语句。编译器抛出语法错误。

const int const*p==>*p为只读

const int*const p==>*p和p是只读的[p是指向常量整数的常量指针]。因为这里的指针p是只读的，所以声明和定义应该在同一位置。

int const*p const==>错误语句。编译器抛出语法错误。

int const int*p==>错误语句。编译器抛出语法错误。

int const const*p==>*p是只读的，与int const*p等效

int const*const p==>*p和p是只读的[p是指向常量整数的常量指针]。因为这里的指针p是只读的，所以声明和定义应该在同一位置。

常量参考：对变量（此处为int）的引用，该变量是常量。我们主要将变量作为引用传递，因为引用的大小比实际值小，但有一个副作用，这是因为它像实际变量的别名。通过对别名的完全访问，我们可能会意外地更改主变量，因此我们将其设置为常量以防止这种副作用。int var0=0；常量int&ptr1=var0；ptr1=8；//错误var0=6；//好啊常量指针一旦常量指针指向一个变量，那么它就不能指向任何其他变量。int var1=1；int var2=0；int*const ptr2=&var1；ptr2=&var2；//错误指向常量的指针不能改变所指向变量值的指针称为常量指针。int const*ptr3=&var2；*ptr3=4；//错误指向常量的常量指针指向常量的常量指针是一个既不能改变它所指向的地址，也不能改变保存在该地址的值的指针。int var3=0；int var4=0；const int*const ptr4=&var3；*ptr4=1；//错误ptr4=&var4；//错误

最初的设计者多次将C和C++声明语法描述为失败的实验。

相反，让我们将类型命名为“pointer to type”；我叫它Ptr_：

template< class Type >
using Ptr_ = Type*;

现在Ptr_<char>是一个指向char的指针。

Ptr_＜const char＞是指向const char的指针。

const Ptr_<const char>是指向const char的const指针。