在C11中实现干净的lambda函数

#include <vector>
#include <algorithm>

struct foo
{
    void bar() {}
};

int main()
{
    vector<foo> v(10);

    for_each(v.begin(),v.end(),[](f) {f.bar();});
                                   ^^^
}

有什么办法可以接近任何事情吗？ Boost的Phoenix库是可以的,但是调用成员函数的语法需要大量的锅炉板 – 我想我是在C 11之后轻松地调用成员函数以及Phoenix的自动扣除类型.

当前的想法

我已经得到这个语法：

vector<foo> x(1);
vector<bar> y(1);
for_each(x.begin(),x.end(),[](_a f) {f->f();});
for_each(y.begin(),y.end(),[](_a b) {b->b();});

哪个有效,但是您必须添加每种类型的功能(例如ADD_AUTO_LAMBDA_SUPPORT(foo);)).它还有一个限制,即所有支持的类型不能有任何不明确的成员.

完整的代码是：

#include <vector>
#include <algorithm>
#include <iostream>

using namespace std;

struct foo
{
    foo() : x(3) {}
    int x;
    void f() { cout << x << endl;}
};

struct bar
{
    bar() : y(133.7) {}
    double y;
    void b() { cout << y << endl;}
};

struct combo : foo,bar { };

struct _a
{
    _a(foo& f) : offset(reinterpret_cast<combo*>(&f)) {}
    _a(bar& b) : offset(reinterpret_cast<combo*>((char*)&b - 2*sizeof(foo))) {}

    combo* operator->() { return offset; }

private:
    combo* offset;
};

int main()
{
    vector<foo> x(1);
    vector<bar> y(1);

    for_each(x.begin(),[](_a f) {f->f();});
    for_each(y.begin(),[](_a b) {b->b();});
}

然后,您可以使用一些模板和预处理魔术来生成_a和combo,但是当您有不明确的名称(例如,具有ab()功能的第三个结构)时,会出现问题 – 您需要一种消除歧义的方式,我无法想象的时候.