如何使用没有复制构造函数的给定类初始化元组

Question

我有一个需要初始化元组的要求，如下所示。如何创建包含 A 类对象的元组？

#include <iostream>
#include <tuple>

using namespace std;

class A{
  int a;

public:
  A(const A&)=delete;
  A(int a): a(a){}
};

std::tuple<A>& createTuple(A &&a){
  return std::make_tuple<A>(std::forward<A>(a));
}
int main(){
  std::cout << std::get<0>(createTuple(std::forward<A>(A(1))));
}

我无法以任何方式修改 A 类。

Answer 1

像这样：

std::tuple<A> t(1);

A 的移动构造函数没有被隐式声明，因为您 deleted 复制构造函数（应该采用 A const& 顺便说一句），因此您尝试使用的表单在外部无效tuple 反正：

A a = A(1); // error

如果您需要移动构造函数，则需要显式编写一个：

A(A&& rhs) = default;

什么时候会起作用：

std::tuple<A> t(A(1));

注意forward 是多余的，因为A(1) 已经是一个右值。

---

我无法以任何方式修改 A 类。

鉴于此，您无法创建std::tuple<A>。成员 int 是私有的，所以你不能像我最初建议的那样使用 int 构造函数来访问它。没有移动构造函数，所以你也不能使用那个。这是你的两个选择——显然都不可行。

此外，您甚至无法创建std::tuple<std::shared_ptr<A>>，因为A 是不可复制的，您无法访问int 成员。

游戏结束，伙计。游戏结束。