c++ - 模板 lambda 有时无法编译

Question

我想为我的 trie 数据结构实现一个通用的访问者模式。下面是提取的最小片段，这给编译器带来了麻烦:

#include <functional>

struct Node {
    size_t length;
};

template<typename N>
class C {
public:
  size_t longest = 0;
  std::function<void(const N )> f = [this](N node) {
    if(node->length > this->longest) this->longest = node->length;
  };
};

int main() {

  Node n;
  n.length = 5;
  C<Node*> c;
  c.f(&n);
}

它使用 g++ (Ubuntu/Linaro 4.7.2-2ubuntu1)、Ubuntu clang 版本 3.4-1ubuntu3 和 Apple LLVM 版本 5.0 (clang-500.2.79) 编译。 icc (ICC) 14.0.2 说:

try_lambda_T.cc(15): error: "this" cannot be used inside the body of this lambda
  if(node->length > this->longest) this->longest = node->length;

我发现了一个类似的帖子: Class with non-static lambda member can't use default template paramers?这个故事导致了一个错误报告，该错误报告在 g++ 4.8.1 中得到解决: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54764

但是，g++ (Ubuntu 4.8.2-19ubuntu1) 导致:

internal compiler error: in tsubst_copy, at cp/pt.c:12125
   std::function<void(const N )> f = [this](N node) {
                                        ^
Please submit a full bug report,
with preprocessed source if appropriate.

我可以用它做什么来编译最新的 g++(希望是 icc)？

Answer 1

如果您不使用非静态数据成员初始化程序来初始化f，gcc-4.8.1 会编译代码

template<typename N>
class C {
public:
  C()
  : f([this](N node) {
        if(node->length > longest) longest = node->length;
      })
  {}
  size_t longest = 0;
  std::function<void(const N )> f;
};

Live demo

如果您更喜欢在 lambda 主体中将 longest 称为 this->longest，它甚至可以工作。