为什么std :: async不能与接收对抽象类的引用作为参数的函数一起使用？

Question

我正在尝试执行一个接收参数的函数，该参数是对抽象类的引用，std::async但是由于某种原因，这似乎无效。另一方面，如果我将上述引用替换为指针，则一切正常。

为什么会这样？通常将抽象类参数作为指针传递会更好吗？

请参阅以下示例：

不正确使用std :: async

#include <iostream>
#include <future>

class AbsClass {
  public:
    virtual int f() = 0;
};

class ImplClass : public AbsClass {
  public:
    int f() override { return 21; }
};

int func(AbsClass &asbclass) {
  return 210 + asbclass.f();
}

int main() {
  ImplClass ic;
  AbsClass &ac = ic;

  // This causes a compilation failure:
  std::future<int> res = std::async(&func, ac);

  std::cout << res.get() << std::endl;
}

显示失败

/usr/include/c++/7/future:1745:5: error: invalid abstract parameter type ‘AbsClass’
main.cpp:4:7: note:   because the following virtual functions are pure within ‘AbsClass’:
 class AbsClass {
       ^~~~~~~~
main.cpp:6:17: note:    virtual int AbsClass::f()
     virtual int f() = 0;

正确使用std :: async

#include <iostream>
#include <future>

class AbsClass {
  public:
    virtual int f() = 0;
};

class ImplClass : public AbsClass {
  public:
    int f() override { return 21; }
};

int func(AbsClass *asbclass) {
  return 210 + asbclass->f();
}

int main() {
  ImplClass ic;
  AbsClass &ac = ic;

  std::future<int> res = std::async(&func, &ac);

  std::cout << res.get() << std::endl;
}

Answer 1

参数需要存储，这意味着它们已被复制。并且引用不能被复制。

因此，引入了一个引用包装，它可以存储引用，同时也可以被复制。您可以使用辅助函数使用它std::ref和std::cref：

std::future<int> res = std::async(&func, std::ref(ac));  // Pass ac by reference