如何创建引用局部变量的函数指针？

Question

我正在尝试使用第一个列表的 forEach 方法将一个列表中的所有项目添加到另一个列表中，该方法接受一个函数指针并在每个元素上调用该函数，但是我无法创建一个可以调用的函数指针第二个列表的成员函数。我尝试过使用 lambda：

LinearLinkedList<bar> test;
//<add items to test>
LinearLinkedList<bar> sorted;
auto addToSorted = [&](bar * b) { sorted.addSorted(b, &barLessThan); };
test.forEach(&addToSorted);

并使用内部struct:

LinearLinkedList<bar> test;
//<add items to test>
LinearLinkedList<bar> sorted;
struct Sorter {
    static LinearLinkedList<bar> * list = &sorted;
    static void addToSorted(bar * b) { list->addSorted(b, &barLessThan); }
};
test.forEach(&Sorter::addToSorted);

但两者都被编译器拒绝，因为它们以非法方式引用 sorted。如何在调用forEach 时引用sorted？

Answer 1

只有在不捕获任何内容时，Lambda 才能衰减为函数指针。考虑以下 sn-p：

#include <iostream>

void run(int(*f)())
{
    std::cout << f();
}

struct S {
    static int something;
    static int nothing()
    {
        return something;
    }
};
int S::something = 0;

int main()
{
    auto simpleLambda = [](){ return 1; };
    run(simpleLambda);

    // auto capturingLambda = [&](){ return 1; };
    // run(capturingLambda);

    S::something = 2;
    run(S::nothing);
}

注释掉的部分不会编译，因为capturingLambda 有一个非空的捕获列表。您可以使用我在代码中添加的解决方法，或者更好地将您的 forEach 函数模板化为仿函数类型，就像所有 STL 算法一样。