arrays - D中不可变长度的可变数组

Question

在 D 中是否有可能有一个可变数组，其长度在编译时未知以具有静态长度？

void testf(size_t size) {
    int immutable([]) testv = new int[](a);
}

Answer 1

不，至少除非您提供自己的数组包装器，否则不会。您可以执行以下操作：

struct ImmutableLength {
     int[] array;
     alias array this; // allow implicit conversion to plain array
     this(int[] a) { array = a; } // initialization from plain array
     @property size_t length() { return array.length; }
     @disable @property void length(size_t) {}
     @disable void opOpAssign(string op: "~", T)(T t) {}
     @disable void opAssign(int[]) {}
 }

请注意禁用的长度设置器和附加运算符，它们几乎实现了您想要的。

            auto i = ImmutableLength([1,2,3]); // declare it like this

Answer 2

您可以将本机数组类型包装在限制对length属性的访问的自定义类型中：

struct FixedLengthArray(T)
{
    T[] arr;
    alias arr this;

    this(size_t size) { arr = new T[size]; }

    @property size_t length() { return arr.length; }
}

void main()
{
    auto arr = FixedLengthArray!int(10);
    arr[1] = 1;               // OK
    arr[2..4] = 5;            // OK
    assert(arr.length == 10); // OK
    arr.length = 12;          // Error
}