pointers - 如何在 D 中声明一个指向非常量/可变数据的常量指针？

Question

在 D 中，如何声明指向 D 中非常量/可变数据的常量或不可变指针？

dlang 网站说你不能只是将它声明为 const，因为这使得指针 const 和它指向的数据都是不可修改的。

我读过与此相关的早期帖子，表明这根本不可能。如果是这样，那么这就是语言设计中的一个大漏洞。应该可以单独将指针声明为不可修改的，否则就太疯狂了。让 const 从指针传播到也暗示 const 数据可能是一个有用的默认安全功能。

Answer 1

你没有。在 D, const , immutable , 和 shared都是可传递的。因此，一旦类型的外部是 const (或 immutable 或 shared )，整个类型是。有一次，在 D2 的早期，该语言同时拥有 const和尾部const ，但它被认为太复杂而不值得，因此被删除(回到 2.015 IIRC 版本)。所以，现在 const , immutable , 和 shared是完全可传递的，多年来一直如此。

你可以声明像

const(int)* p;

所以类型的内部是 const ，但是没有办法表明外边部分是 const无需将所有内容都放入其中 const以及。

所以，是的，你想要做的在 D 中是不可能的，这可能不如理想的灵活，但头部 const也是 const 最不实用的形式.因此，虽然这可能是一种损失，但据我所知，这确实不是什么大损失。并允许头 const真的会使事情复杂化 - 特别是当 immutable和 shared发挥了作用。因此，当前的系统要简单得多，而且不会损失太多功率，这可以说是一个非常好的折衷方案。

如果你真的想要像头这样的东西 const ，您始终可以创建一个不允许赋值的包装器类型，但这是您将要获得的最接近的类型。