隐式 Pointer-To-Const-T 转换

Question

我想知道是否隐式转换为指向 const 数据类型的指针是在 C11 标准中定义的：

T x;
const T *p = &x;

指向T 类型对象的指针被隐式转换为指向const T 类型对象的指针。这种隐式转换是否在 C11 标准中定义？ （我知道允许这样做是有意义的以及它有多么有用。我只是想知道它在标准中的定义）

此外，根据 C11 是否禁止从类型 T** 到 const T** 的隐式转换？

T *p;
const T **pp = &p;

这是一个众所周知的问题部分，因此 GCC 和 LLVM/clang 会发出警告。我仍然想知道根据 C11 标准是否允许这样做。我只在 §6.5.16.1P6 中找到一条评论，指出这应该是违反约束。但是，我看不出应该违反哪个约束。我再次知道这应该被禁止，并且这种隐式转换可能会导致微妙的问题。我只是想知道这是否是根据 C11 定义的（未）行为。

再一次，我的两个问题不是关于这是否好（这里已多次回答），而是 C11 标准如何/在何处定义这一点。

---

为了完整起见，这里是第二个示例有问题的原因的链接：http://c-faq.com/ansi/constmismatch.html

Answer 1

指向 T 类型对象的指针被隐式转换为 指向 const-T 类型对象的指针。这是隐式转换吗 在 C11 标准中定义的某个地方？

是的。这种隐式转换是标准强制要求的。

6.5.4 Cast Operators 部分的Paragraph 3 这么说

涉及指针的转换，除 6.5.16.1 的约束，应通过显式的方式指定 演员表。

第 3 点下引用的 6.5.16.1 说：

左操作数具有原子、限定或非限定指针类型， 和（考虑到左操作数在左值之后的类型 转换）两个操作数都是指向合格或不合格的指针 兼容类型的版本，左边指向的类型有 右边指向的类型的所有限定符；

因此，const T *p = &x; 的隐式转换成立，因为您只是添加限定符，而不是删除它们。

const T **pp = &p; 不属于此范围，因此您需要显式强制转换（C++ 将允许 const T*const*pp = &p;（需要第二个 const），但 C 仍然不允许。）

只要对齐匹配（对于指向不同限定类型的指针，它们会匹配），就 UB 而言，通过显式强制转换的指针转换不是问题，因为 6.3.2.3p7 保证：

指向对象类型的指针可以转换为指向对象类型的指针 不同的对象类型。如果结果指针不正确 aligned68) 对于引用的类型，行为未定义。 否则，当再次转换回来时，结果将比较相等 到原来的指针。当指向对象的指针转换为 指向字符类型的指针，结果指向最低地址 对象的字节。结果的连续递增，直到 对象的大小，产生指向剩余字节的指针 对象。

但您需要注意将由strict aliasing rule 管理的访问/取消引用：

对象的存储值只能由左值访问 具有以下类型之一的表达式：88)

与对象的有效类型兼容的类型，合格的 与对象的有效类型兼容的类型的版本，a type 是有符号或无符号类型，对应于 对象的有效类型，有符号或无符号的类型 type 对应于有效类型的限定版本 对象，聚合或联合类型，包括以下之一 其成员之间的上述类型（包括，递归地， 子聚合或包含联合的成员）或字符类型。