C++中围绕常量正确性还有许多其他微妙之处。我想这里的问题只是关于C，但我会给出一些相关的例子，因为标记是C++：

通常将字符串等大参数作为TYPE const&传递，这会防止对象被修改或复制。例子：TYPE&TYPE:：operator=（const TYPE&rhs）｛…return*this；｝但是TYPE&const是没有意义的，因为引用总是常量。您应该始终将不修改类的类方法标记为const，否则不能从TYPE const引用调用该方法。例子：bool TYPE:：运算符==（const TYPE&rhs）const｛…｝在一些常见情况下，返回值和方法都应该是常量。例子：const TYPE TYPE：：运算符+（const TYPE&rhs）const｛…｝事实上，const方法不能返回内部类数据作为对非常量的引用。因此，必须经常使用常量重载创建常量和非常量方法。例如，如果定义T const&operator[]（unsigned i）const；，那么您可能还需要以下给出的非常量版本：内联T运算符[]（无符号i）（&O）{返回const_cast＜char&＞（static_cast<const TYPE&>（*this）[]（i）);}

事实上，C中没有常量函数，非成员函数本身在C++中不能是常量，常量方法可能有副作用，编译器不能使用常量函数来避免重复的函数调用。事实上，即使是一个简单的int const&reference，它引用的值也可能在其他地方更改。

我想这里已经回答了所有问题，但我只想补充一点，你应该小心typedefs！它们不仅仅是文本替换。

例如：

typedef char *ASTRING;
const ASTRING astring;

跨接的类型是char*const，而不是const char*。这是我总是倾向于将常量放在类型的右边，而从不放在开头的原因之一。

两边带有int的常量将使指针指向常量int：

const int *ptr=&i;

or:

int const *ptr=&i;

*后的const将使常量指针指向int：

int *const ptr=&i;

在这种情况下，所有这些都是指向常量整数的指针，但没有一个是常量指针：

 const int *ptr1=&i, *ptr2=&j;

在这种情况下，所有指针都指向常量整数，ptr2是指向常量整数的常量指针。但ptr1不是常量指针：

int const *ptr1=&i, *const ptr2=&j;

常量参考：对变量（此处为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指针。

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

常量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对象。