如何使用lambda表达式作为模板参数？

Question

如何使用lambda表达式作为模板参数？例如，作为初始化 std::set 的比较类。

以下解决方案应该有效，因为 lambda 表达式仅创建一个匿名结构，该结构应该适合作为模板参数。然而，却产生了很多错误。

代码示例：

struct A {int x; int y;};
std::set <A, [](const A lhs, const A &rhs) ->bool {
    return lhs.x < rhs.x;
    } > SetOfA;

错误输出（我使用 g++ 4.5.1 编译器和 --std=c++0x 编译标志）：

error: ‘lhs’ cannot appear in a constant-expression
error: ‘.’ cannot appear in a constant-expression
error: ‘rhs’ cannot appear in a constant-expression
error: ‘.’ cannot appear in a constant-expression
At global scope:
error: template argument 2 is invalid

这是 GCC 中的预期行为还是错误？

编辑

正如有人指出的，我错误地使用了 lambda 表达式，因为它们返回了它们所引用的匿名结构的实例。

但是，修复该错误并不能解决问题。对于以下代码，我收到 lambda-expression in unevaluated context 错误：

struct A {int x; int y;};
typedef decltype ([](const A lhs, const A &rhs) ->bool {
    return lhs.x < rhs.x;
    }) Comp;
std::set <A, Comp > SetOfA;

Answer 1

std::set 的第二个模板参数需要一个类型，而不是表达式，所以这只是你错误地使用了它。

您可以像这样创建该集合：

auto comp = [](const A& lhs, const A& rhs) -> bool { return lhs.x < rhs.x; };
auto SetOfA = std::set <A, decltype(comp)> (comp);

Answer 2

对于以这种方式使用的比较器，您仍然最好使用非 0x 方法：

struct A { int x; int y; };

struct cmp_by_x {
  bool operator()(A const &a, A const &b) {
    return a.x < b.x;
  }
};

std::set<A, cmp_by_x> set_of_a;

但是，在 0x 中，您可以将 cmp_by_x 设为本地类型（即在函数内定义它），这样更方便，但当前的 C++ 禁止这样做。

此外，您的比较将 A(x=1, y=1) 和 A(x=1, y=2) 视为等效。如果不需要，您需要包含有助于唯一性的其他值：

struct cmp_by_x {
  bool operator()(A const &a, A const &b) {
    return a.x < b.x || (a.x == b.x && a.y < b.y);
  }
};

Answer 3

不确定这是否是您所要求的，但返回 RetType 并接受 InType 的 lambda 签名将是：（

std::function<RetType(InType)>

确保 #include）

您可以通过使用来缩短它typedef，但我不确定您是否可以使用 decltype 来避免弄清楚实际类型（因为 lambda 显然不能在该上下文中使用。）

所以您的 typedef 应该是：

typedef std::function<bool(const A &lhs, const A &rhs)> Comp

或

using Comp = std::function<bool(const A &lhs, const A &rhs)>;

Answer 4

问题是最后一个模板参数是类型而不是对象，因此您可能需要执行以下操作

    std::set <A, std::fuction<bool(const A &,const A &)>> 
              SetOfA([](const A lhs, const A &rhs) ->bool {
                                                             return lhs.x < rhs.x;
                                                          } > SetOfA;

以使其更简单，您可以执行以下操作：

auto func = SetOfA([](const A lhs, const A &rhs) ->bool { return lhs.x < rhs.x;}
set <A,decltype(func)> SetOfA(func);

干杯