这主要涉及第二行：最佳实践、分配、功能参数等。

一般做法。尽可能使一切保持稳定。或者换一种说法，从一开始就让所有的常量都是常量，然后完全删除允许程序运行所需的最小常量集。这将大大有助于实现常量正确性，并有助于确保在人们尝试分配不应该修改的内容时不会引入细微的错误。

避免像瘟疫一样的const_cast＜＞。它有一两个合法的使用案例，但它们非常少。如果你试图改变一个常量对象，你会做得更好，找到第一步中声明它常量的人，并与他们讨论此事，以就应该发生的事情达成共识。

这很好地引导到作业中。只有当它是非常量时，才能将其赋值。如果您想分配给常量，请参见上文。请记住，在声明中int const*foo；和int*const bar；不同的东西是恒定的——这里的其他答案都很好地涵盖了这个问题，所以我就不赘述了。

功能参数：

传递值：例如，voidfunc（int-param），在调用站点，你不在乎这一种方式或另一种方式。可以这样做，即存在将函数声明为void func（int const param）的用例，但这对调用方没有影响，只对函数本身没有影响，因为函数在调用期间不能更改传递的任何值。

通过引用传递：例如，void func（int&param）现在它确实起了作用。正如刚才声明的，func可以更改参数，任何调用站点都应该准备好处理结果。将声明更改为void func（int const&param）将更改约定，并保证func现在不能更改param，这意味着传入的内容将返回。正如其他人所指出的，这对于便宜地传递不想更改的大型对象非常有用。传递引用比按值传递大型对象要便宜得多。

传递指针：例如，void func（int*param）和void func（int const*param）这两个与它们的引用对应项几乎同义，但需要注意的是，被调用的函数现在需要检查nullptr，除非其他契约保证func不会在param中收到nullpter。

关于这个话题的评论文章。在这种情况下证明正确性非常困难，犯错误太容易了。所以不要冒险，总是检查指针参数的nullptr。从长远来看，你会让自己免于痛苦和痛苦，并且很难找到bug。至于检查的成本，它非常便宜，在编译器中内置的静态分析可以管理它的情况下，优化器无论如何都会取消它。为MSVC启用“链接时间代码生成”，或为GCC启用“WOPR（我认为）”，您将在程序范围内获得它，即即使在跨越源代码模块边界的函数调用中。

在一天结束时，以上所有内容都证明了一个非常可靠的理由，即总是倾向于引用指针。他们只是更安全。

这个问题确切地说明了为什么我喜欢用我在问题中提到的在类型id可接受之后是常量的方式做事？

简而言之，我发现记住这个规则最简单的方法是“const”跟在它应用的对象后面。所以在你的问题中，“int const*”表示int是常量，而“int*const”表示指针是常量。

如果有人决定把它放在最前面（例如：“constint*”），作为这种情况下的一个特殊例外，它适用于后面的东西。

许多人喜欢使用这个特殊的例外，因为他们认为它看起来更好。我不喜欢它，因为它是一个例外，从而混淆了事情。

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，它引用的值也可能在其他地方更改。

对于那些不了解顺时针/螺旋规律的人：从变量的名称开始，顺时针移动（在这种情况下，向后移动）到下一个指针或类型。重复此操作，直到表达式结束。

下面是一个演示：

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

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

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

两边带有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;