为什么从char***转换为char*const**是无效的？

Question

为什么从char***转换为char*const**是无效的？

c++

16

根据N4606，4.5 [conv.qual]的第3段写道:

一个类型为T1的prvalue表达式可以转换为类型T2，如果满足以下条件，其中cv_i^j表示T_j的cv-qualifiers：

...
如果cv¹_i和cv²_i不同，则const在0 < k < i的每个cv²_k中都存在。

上面的最后一条建议以下转换失败。

T1 : pointer to / pointer to /       pointer to / T
T2 : pointer to / pointer to / const pointer to / T

为了成功，T2必须是指向/常量指针/常量指针/T的指针。 T2仅仅比T1更具cv限定符是否就足够了吗？ 为什么在较低维度中需要更多的cv限定符才能成功转换？

- b1sub

2

请注意，这一规定自古以来就存在。 - Pete Becker

2

在同一标准章节中难道没有解释和演示吗？ - Lightness Races in Orbit

6

似乎您误将Stack Overflow视为一个代码调试/编写服务。实际上它并不是。这是一个很好的问题（如果没有被无数次回答过的话），比如现在这个网站的主要内容——大量的本地化垃圾——要好得多。此外，任何一个Stack Exchange网站都不是一个“论坛”。 - Lightness Races in Orbit

1

@LightnessRacesinOrbit 你是对的...我弄错了，这个例子是针对另一个问题的。事实上，下面被接受的答案似乎只是标准中示例的编辑版本。请原谅我... - eca2ed291a2f572f66f4a5fcf57511

2

@Elyasin，Lightness的评论并没有任何攻击性——他们只是陈述了自己的不同意见。这并不是要针对你。公开表达对这种问题的不同意见非常重要，因为这不仅仅是个人观点的问题。例如，每当有人分享关于Stack Overflow中他们认为是主题或非主题的观点时，他们都会微微地推动整个社区朝着那个观点的方向前进一点。如果你关心这个网站并且持有不同意见，公开表达你的不同意见是完全自然的方式来抵消这种影响。 - duplode

显示剩余8条评论

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- celtschk · Accepted Answer

请考虑以下代码：

char str[] = "p1 should always point here.";
char* const p1 = str;
char** p2 = nullptr;
char*** p3 = &p2;

char str2[] = "Can we make p1 point to here?"
// p1 = str2; // does not work: const violation

// But:
char*const** p4=p3; // if it were allowed
*p4 = &p1; // no const violation, as *p4 is of type char*const*
**p3 = str2; // oops, changed p1!

因此，如果允许所讨论的转换，则可以更改常量变量（p1）而不会违反任何正式的const规定。