静态数组是向前范围吗？

Question

这有效：

int[] a = [ 1, 2, 3, 4 ];
fill(a, 5);

但这不起作用：

int[4] a = [ 1, 2, 3, 4 ];
fill(a, 5);

并且我收到此错误：

错误：模板 std.algorithm.fill(Range,Value) if (isForwardRange!(Range) && is(typeof(range.front = Filler))) 与任何函数模板声明不匹配

与任何函数模板声明不匹配，我必须这样做为了使其能够与静态数组一起使用：

int[4] a = [ 1, 2, 3, 4 ];
fill(a[], 5);

有人可以解释一下这种行为吗？

Answer 1

不可以。对于静态数组，isForwardRange 为 false，因为它们不是有效的前向范围。它们必须具有有效的 front、empty 和 popFront。

范围在迭代时必须发生变化。 popFront 从范围中删除第一个元素，将范围的长度减少一个。静态数组不能被改变。他们的元素可以是，但他们不能是。

int[5] a;
a.length = 4;

是非法的。因此，popFront 无法使用静态数组，因此静态数组不能是范围。

front、empty 和 popFront 在 std.array 中为数组声明，并且 front 和 empty 将使用静态数组，因为它们显式地采用动态数组（而不是范围），并且当函数采用动态数组（采用静态数组的切片）时，静态数组可以隐式转换为动态数组。但是，popFront 不起作用，因为它需要动态数组的 ref。正如我指出的那样，无论 popFront 的实现如何，都无法使 popFront 与静态数组一起使用，因为您无法像以前那样改变静态数组需要一个范围。

现在对于fill，它需要一个向前的范围，而不是一个数组。因此，IFTI（隐式函数模板实例化）将尝试使用静态数组类型（而不是动态数组类型）。由于静态数组的 isForwardRange 为 false，因此 fill 无法使用静态数组进行编译。但是，当您对静态数组进行切片时，您将传递一个动态数组，其中 isForwardRange is true。所以，它有效。因为切片指向相同的元素，而 fill 会改变元素而不是数组，所以静态数组中的元素会被 fill 改变。

但是，在将静态数组切片传递给函数时要小心。只要静态数组存在就可以。但是一旦静态数组离开作用域，它的任何切片都将无效。所以，做这样的事情

int[] foo()
{
    int[5] a = [1, 2, 3, 4, 5]
    return find(a[], 3);
}

是非常糟糕的。对 a 的引用正在转义 foo - 即最后 3 个元素的切片。

因此，如果将静态数组的切片传递给函数，则需要确保没有对该数组的引用逃逸。不过，fill 应该没问题。

Answer 2

isForwardRange 检查 front、empty 属性和 popfront() 函数是否存在，

问题在于 popfront() 需要缩小数组，因为您（应该）知道您无法调整静态数组的大小，但可以调整静态数组的切片（本质上是普通的动态数组）的大小（当然这是不影响静态数组）

为了澄清 a.popfront() 需要将 a 从 int[4] 转换为 int[3] 但这是不可能的