std::any 用于无法复制构造的对象

Question

我有一个拥有 unique_ptr 的对象，因此如果不进行深度复制（我不想要），就无法复制构造。

我想让 std::any 持有该对象，但我发现的唯一选择是让 std::any 持有一个指针，这增加了无用的间接性，或者让我的对象具有唯一性点。下面的代码有望说明我的观点：

//Compiled with clang++ -std=c++2a; clang version 5.0.0
#include <iostream>
#include <any>
#include <memory>

struct A {
        std::unique_ptr<int> m = std::make_unique<int>(11);
        A(A&& a): m(std::move(a.m)) {}
        A() {}
};

struct B {
        std::shared_ptr<int> m = std::make_shared<int>(11);
};


template<class T>
void use_any_ptr() {
        std::any a{new T{}};
        std::cout << *(std::any_cast<T*>(a)->m) << std::endl;
}

template<class T>
void use_any() {
        std::any a{T{}};
        std::cout << *(std::any_cast<T>(a).m) << std::endl;
}


int main() {
        use_any_ptr<A>(); // Workaround using a pointer
        use_any<B>(); // Workaround using shared pointer
        use_any<A>(); // Breaks because A has no cc no matching constructor for initialization of 'std::any'
}

据我了解 std::any 的构造似乎需要复制对象，但是我不确定为什么不能简单地移动对象。

有没有办法解决这个问题？也就是说，除了使用 shared_ptr 之外，这意味着我基本上是在表达“错误的事情”，以便创建任何对象或传递 std::any 指针（这是一个不需要的间接级别，因为 std::据我所知，any 持有一个指向类型的 void 指针）。

是否有任何不同的实现可以在创建时使用移动 ctr 而不是复制 ctr？

还是我很傻，不理解这里的“真正”问题？

Answer 1

还是我很傻，不理解这里的“真正”问题？

问题在这里很简单：std::any 有 a copy constructor，因此它要求包含的对象是可复制构造的。

解决这个问题的方法是定义一个包含指针的自定义对象，该对象是可复制的，并为其实现 proper 逻辑（无论 proper 是什么意思在您的情况下，我看不出您如何复制std::any，因此其中包含一个拥有std::unique_ptr 的对象，但也许您可以以某种方式摆脱它）。

否则重新考虑您的设计并尝试摆脱对std::any 的需求。它确实没有太多用处，也许你可以通过一些模板机制或std::variant 或其他什么来获得相同的效果