D中C#`readonly`关键字的等价物？

Question

根据我在读取D时的理解,在immutable变量上使用关键字时,必须在编译时知道变量的值,而C#readonly不需要,并且readonly可以使用非静态值在类构造函数中分配字段.这可能在D？

Answer 1

在D2中,const成员只能在构造函数内初始化(或直接在类声明中初始化,但不能同时在两者中):

import io = std.stdio;

class A
{
    const int member;
    this(int nb)
    {
        this.member = nb;
    }
}

void main()
{
    A a = new A(12);
    io.writeln(a.member);
    //a.member = 14; //Error: can only initialize const member member inside constructor
}

Answer 2

由于关于不可变的问题似乎存在一些混淆(来自原始问题和he_the_great的评论),我想我会补充一点.

当你说immutable int i = 42,你说我不会被修改,而不是它在编译时已知的值.immutable实际上是一个类型修饰符,并创建一个新类型.immutable T是一个简称immutable(T).immutable(T)创建一个永远不会变异的T,也就是说,如果你读取了值,然后调用一个函数,那么值就是相同的.比较这个const(T)提供了较弱的保证,这个类型的实例不会被修改,但有人可能有可变的访问权限,所以如果你读取值然后调用一个函数,你不能假设值将是相同.

一般来说,immutable(T) != T.然而,在某些情况下,它们可以隐含地相互转换.例如,如果T是一种被认为没有"可变间接"的类型.也就是说,如果我传递一个函数immutable(int),它们会收到一个副本 - 该函数无法修改我传递的值,因为它被复制 - 如果类型系统不允许,它会只是烦人而没有额外的保证,所以D型系统允许它.但是,如果我传递一个immutable(int*),那么可以通过调用函数进行更改.在结构的情况下,如果任何成员具有可变间接,那么结构也被称为具有它.

因此,为了摆脱理论并回到更实际的问题,根本不可能在编译时知道不可变值,并且没有好的方法来创建它们.但是,唯一的突变可能发生在构造函数内部.对于简单的标量类型,这很明显:

immutable(int) i = rand();

但是像对象一样呢？好吧,构建我们使用的类型T.

auto t = new T();

所以要构造我们使用的类型immutable(T)

auto t = new immutable(T)();

这是一个更完整的小例子

class Useless
{
    int i;

    this(int i)
    {
        this.i = i;
    }
}

int main(string[] args)
{
    auto o = new immutable(Useless)(cast(int) args.length);
    //o.i = 17;  error
    return o.i;  // fine
}

如您所见,构造函数内部可能发生变异.您可以读取成员变量,但不能写入它们(不可变是传递性的;也就是说,如果父项成员,每个成员(以及成员的每个成员)都变为不可变.只有当它们被标记为时才能调用方法const.

我为偏离话题的漫无边际道歉,但我看到很多人似乎对这个话题感到困惑.