c++ - Lambda 表达式作为类模板参数

Question

可以将 lambda 表达式用作作为类模板参数吗？ (请注意，这是一个与 this one 非常不同的问题，后者询问是否可以对 lambda 表达式本身进行模板化。)

我问你是否可以这样做:

template <class Functor> 
struct Foo { };
// ...
Foo<decltype([]()->void { })> foo;

这在某些情况下很有用，例如，类模板具有各种参数，如 equal_to 或其他东西，这些参数通常被实现为单行仿函数。例如，假设我想实例化一个使用我自己的自定义相等比较函数的哈希表。我希望能够这样说:

typedef std::unordered_map<
  std::string,
  std::string,
  std::hash<std::string>,
  decltype([](const std::string& s1, const std::string& s2)->bool 
    { /* Custom implementation of equal_to */ })
  > map_type;

但我在 GCC 4.4 和 4.6 上对此进行了测试，但它不起作用，显然是因为 lambda 表达式创建的匿名类型没有默认构造函数。 (我记得 boost::bind 有一个类似的问题。)是否有某种原因草案标准不允许这样做，或者我错了，它是允许的，但 GCC 只是落后于他们的实现？

Answer 1

从 C++20 开始，此答案现已过时。 C++20 在未评估的上下文中引入了无状态 lambda 1 :

This restriction was originally designed to prevent lambdas from appearing in signatures, which would have opened a can of worm for mangling because lambdas are required to have unique types. However, the restriction is much stronger than it needs to be, and it is indeed possible to achieve the same effect without it

一些限制仍然存在(例如，lambdas 仍然不能出现在函数签名上)，但所描述的用例现在完全有效，不再需要声明变量。

---

I'm asking if you can do something like:

Foo<decltype([]()->void { })> foo;

不，你不能，因为 lambda 表达式不应出现在未计算的上下文中(例如 decltype 和 sizeof 等)。 C++0x FDIS，5.1.2 [expr.prim.lambda] p2

The evaluation of a lambda-expression results in a prvalue temporary (12.2). This temporary is called the closure object. A lambda-expression shall not appear in an unevaluated operand (Clause 5). [ Note: A closure object behaves like a function object (20.8).—end note ] (emphasis mine)

您需要先创建一个特定的 lambda，然后在其上使用 decltype:

auto my_comp = [](const std::string& left, const std::string& right) -> bool {
  // whatever
}

typedef std::unordered_map<
  std::string,
  std::string,
  std::hash<std::string>,
  decltype(my_comp)
  > map_type;

这是因为每个 lambda 派生的闭包对象都可以有完全不同的类型，它们毕竟就像 匿名 函数。