arrays - 如何连接两个数组？

Question

[indent=4]

init
    x: array of int = {1, 2, 3}
    y: array of int = {4, 5, 6}
    z: array of int = x + y

上面的代码产生了这个错误信息：

concat_arrays.gs:6.23-6.27: error: Incompatible operand
    z: array of int = x + y

Vala 的翻译效果再好不过了：

int main () {
    int[] x = {1, 2, 3};
    int[] y = {4, 5, 6};
    int[] z = x + y;
    return 0;
}

错误信息是：

concat_arrays_v.vala:4.15-4.19: error: Incompatible operand
    int[] z = x + y;

这样做的正确方法是什么？

Answer 1

使用GLib.Array<T>：

int main () {
    int[] x = {1, 2, 3};
    int[] y = {4, 5, 6};
    Array<int> a = new Array<int> (false, true, 0);
    a.append_vals (x, x.length);
    a.append_vals (y, y.length);
    // taking over ownership avoids array copying
    int[] z = (owned) a.data; 

    foreach (var i in z) {
        stdout.printf ("%d ", i);
    }
    stdout.printf ("\n");

    return 0;
}

精灵版：

[indent=4]

init
    x: array of int = {1, 2, 3}
    y: array of int = {4, 5, 6}
    var a = new Array of int (false, true, 0)
    a.append_vals (x, x.length)
    a.append_vals (y, y.length)
    z: array of int = (owned) a.data

更新：在回答了这个问题后，我修改了上面的代码来(owned)避免不必要的数组复制操作。

仍然会增加一些分配对象的new Array<T>开销，但在大多数情况下应该没问题。

使用Memory.copy是危险的，因为它会导致各种内存问题。