为什么捕获 lambda 不能应用于 std::valarray？

Question

什么不符合将 lambda 传递给apply方法的条件std::valarray？考虑以下代码：

int main()
{
    std::valarray<int> arr = {1, 2, 3, 4, 5, 6};
    auto arr1 = arr.apply([](int val) { return val * 2; }); // compiles
    int n = 3;
    auto arr2 = arr.apply([n](int val) { return val * n; }); //does not compile
    return 0;
}

住在coliru http://coliru.stacked-crooked.com/a/f0407046699574fc

在https://gcc.godbolt.org/ 上测试
GCC、MSVC 或 CLang 都不会编译上述代码

Answer 1

原因在于 的定义std::valarray::apply：

valarray<T> apply( T func(T) ) const;
valarray<T> apply( T func(const T&) ) const;

func两个成员中的类型都是函数类型。当用作另一个函数的参数类型时，它会衰减为函数指针。这些成员函数不接受通用函子。仅指向常规函数的指针。

现在，无捕获 lambda 具有到函数指针的隐式转换运算符。因此，第一个 lambda 被转换为 a int(*)(int)，它是可以执行 lambda 主体的常规函数​​的地址。

但是捕获状态的 lambda 不能以这种方式转换，并且如您所见，不能作为参数传递给std::valarray::apply.