返回 D 中函数的函数的纯函数

Question

我正在尝试创建一个纯函数，它返回两个其他纯函数的乘积：

pure Func multiplyFunctions(Func,Real)(scope const Func f1, scope const Func f2)
{
    return (Real a) { return f1(a) * f2(a); };
}

不幸的是，我遇到了问题，第一，我想将 f1 和 f2 声明为定义了 opCall 的纯函数/委托/类...这是必需的，因为我从纯函数调用它们。

但是第二点，似乎最成问题的是，我希望 f1 和 f2 成为一个返回一个“Real”值的“Real”变量的函数......但我不知道如何将其模板化...

有人有什么想法吗？

Answer 1

首先，去掉scope；这是错误的，因为代表的范围被转义了。

其次，尝试类似：

real delegate(real) multiplier(const real delegate(real) pure f1,
                               const real delegate(real) pure f2) pure
{
    real multiply(real val) { return f1(val) * f2(val); }
    return &multiply;
}

您也可以尝试使用模板执行此操作，尽管没有太多理由这样做：

pure auto multiplier(alias F1, alias F2)(ParameterTypeTuple!F1 args)
{
    return F1(args) * F2(args);
}

real square(real a) pure { return a * a; }

alias multiplier!(square, square) squareMultiplier;

//Now squareMultiplier is a multiplier of square()

请注意，编译器中有 错误 不允许纯度 100% 正确，因此您现在只能忍受它们。