C++ lambda 不推断函数重载

Question

我正在定义一个这样的类：

class foo {
public:
  // I define const and non-const versions of the 'visit' function
  // nb. the lambda is passed by reference
  virtual void visitWith(std::function<void(foo&)>&);
  virtual void visitWith(std::function<void(const foo&)>&) const;
};

foo 可以有孩子，所以我们的想法是递归地访问 foo 及其所有孩子。

当我尝试使用它时，例如。像这样：

foo f;
f.visitWith([&](const foo&) {
  // Do something here
});

我得到编译器错误。编译器不知道该怎么做。

我可以通过添加这样的类型转换使其工作：

foo f;
f.visitWith( (std::function<void(const foo&)>) [&](const foo&) {
  // Do something here
});

但这太可怕了。

我怎样才能让它整齐地工作？

编辑：

这可能是 Visual C++ 的问题，它拒绝编译这里给出的代码：

https://ideone.com/n9bySW

我尝试编译时的 VC++ 输出是：

Edit2：不，Visual C++ 是正确的，代码是模棱两可的。请参阅下面的解决方案...

Answer 1

lambda 是编译器生成的类型，它不是std::function 的实例，但它可以分配给一个。

您的visitWith() 方法通过非常量引用获取std::function，这意味着它需要一个预先存在的std::function 对象，例如：

std::function<void(const foo&)> func = [&](const foo&) {
    // Do something here
};
foo f;
f.visitWith(func);

将 lambda 直接传递给 visitWith() 需要编译器创建一个临时的 std::function 对象，但非常量引用不能绑定到临时对象。这就是您的原始代码无法编译的原因。

对于您正在尝试的内容，您必须通过值或 const-reference 来传递 std::function：

class foo {
public:
    void visitWith(std::function<void(foo&)>);
    void visitWith(std::function<void(const foo&)>) const;
};

Live Demo

class foo {
public:
    void visitWith(const std::function<void(foo&)> &);
    void visitWith(const std::function<void(const foo&)> &) const;
};

Live Demo

Answer 2

我向微软报告了这个“错误”并得到了回复，这里：

https://developercommunity.visualstudio.com/content/problem/1201858/c-stdfunction-overloading-fails.html

短版：Visual C++ 处理正确，ideone 错误。

最后我通过向 foo 添加第三个重载来解决它，它可以向对象添加 const-ness，如下所示：

class foo {
public:
  // Use typedefs so that all the code that comes after these two functions is neater
  typedef std::function<void(Branch&)>visitor;
  typedef std::function<void(const Branch&)>const_visitor;
  
  virtual void visitWith(const visitor&);
  virtual void visitWith(const const_visitor&) const;

  // This is to thunk the third case that can happen when you start
  // a const visit from a non-const foo.
  void visitWith(const const_visitor& v) {
    static_cast<const foo*>(this)->visitWith(v);  // Add const-ness
  }

};

现在代码可以工作了，例如：

foo f;
f.visitWith([](const foo& f) {
    std::cout << "visited a const foo!" << std::endl;
});