函数式编程陷入 D 困境

Question

我在 D 中创建一个有效的模板时遇到了麻烦：

pure T BSpline(int k:1, T)(in T x, in T[] t)
{
    if (t[0] <= x && x < t[k])
        return 1;
    else
        return 0;
}

pure T BSpline(int k, T)(in T x, in T[] t)
{
    if (t[0] <= x && x < t[k])
    {
        T a = (x - t[0]) / (t[k-1] - t[0]);
        T b = (t[k] - x) / (t[k] - t[1]);

        return a * BSpline!(k-1,T)(x, t[0..k-1]) + b * BSpline!(k-1,T)(x, t[1..k]);
    }
    else
        return 0;
}

然后我的单元测试：

unittest {
    real a = .5;
    real[] b = [0,0,1,2,3];
    assert(BSpline!(1,real)(a,b[0..2]) == 0);
    assert(BSpline!(2,real)(a,b[0..3]) == .5);
    assert(BSpline!(3,real)(a,b[0..4]) == .625);
    assert(BSpline!(4,real)(a,b[0..5]) == 0.260417);
}

失败并出现以下错误：

bspline.d(18): Error: template BSplineBasis.BSpline(int k : 1,T) does not match any function template declaration
bspline.d(18): Error: template BSplineBasis.BSpline(int k : 1,T) cannot deduce template function from argument types !(1,real)(const(real),const(real[]))
bspline.d(18): Error: template instance errors instantiating template

我不会问，但是，我不明白为什么 D 无法推导出来自相当明确的参数类型的模板函数...

我做错了什么。

如果这应该在代码审查堆栈交换中而不是在这里，请告诉我，但我希望这是我对模板如何工作的误解，而不是错误。

Answer 1

我现在无法测试它，但我认为这是因为 in T[] 是 scope const T[] ，它是 scope const(T[])，这对每个人来说都比scope const(T)[]更烦人，同时几乎没有任何好处。

尝试将参数列表中的更改

in T x, in T[] t

为

scope T x, scope const(T)[] t

，看看是否可以解决问题。