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
}