language-agnostic - 这个高阶函数有名字吗？

Question

我在我的代码和库中到处都看到这种模式，但似乎没有任何地方可以找到它的名称或抽象。

示例(伪代码)

T foo( T x, void f(T&) )
{
    T y = x;
    f( y );
    return y;
}

基本上:取一个值，以及一个转换该值的函数。制作一个值的副本，转换它，然后返回它。

现实生活中的例子 (C++)

T operator+(const T& x, const T& y)
{
    T z = x; // Make a copy
    operator+=(z, y); // Modify in place
    return z;
}

Vector3 Vector3::normalized() const
{
    Vector3 x = *this; // Make a copy
    x.normalize(); // Modify in place
    return x;
}

T sorted(T const& x)
{
    T y = x; // Make a copy (yeah, yeah, could have passed by value)
    sort( y ); // Modify in place
    return y;
}

基本上，你有一个就地函数(有副作用)，并从中创建一个非就地函数(没有副作用)。

这个图案有名字吗？您知道使用它的任何库或语言吗？显然，函数式语言不会使用它，因为它们一开始就没有引用不透明的函数。

Answer 1

它实际上在数学和 FP 中被称为组合，因为您可以将其表示为 mystery_function(x, fun) = fun(copy(x))反而。

在设计模式语言中，它是一个包装器，用一个副本包装函数调用。所以我宁愿自然地称它为复制包装 .但我从未在任何地方看到它分类。