Pourquoi le lambda de capture ne peut-il être appliqué à std :: valarray?

Question

Qu'est-ce qui disqualifie la capture de lambda d'être passé à la méthode apply de std::valarray? considérer le code suivant:

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; 
} 

en direct sur coliru http://coliru.stacked-crooked.com/a/f0407046699574fc

Testé sur https://gcc.godbolt.org/
Ni GCC, ni MSVC ou Clang compilerait le code ci-dessus

Answer 1

La raison en est dans la définition de std::valarray::apply:

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

Le type de func dans les deux membres est un type de fonction. Qui, lorsqu'il est utilisé en tant que type de paramètre d'une autre fonction, se décompose en un pointeur de fonction. Ces fonctions membres n'acceptent pas les foncteurs généraux. Seuls les pointeurs vers les fonctions régulières. Maintenant, un lambda sans capture a un opérateur de conversion implicite à un pointeur de fonction. Donc le premier lambda est converti en un int(*)(int) qui est une adresse de fonction régulière qui peut exécuter le corps lambdas.

Mais les lambdas qui capturent l'état ne peuvent pas être convertis de cette manière, et comme vous pouvez le voir, ne peuvent pas être passés en argument à std::valarray::apply.