根据特定类型将特定的移动构造函数注入到任意类型中

Question

我有一种感觉，我会因为问这个问题而被灼伤，但是我的C++知识是有限的，而且我正在学习。

是否有一种方法可以隐藏/覆盖另一种类型T的移动行为，当目标my_class的实例与其他操作符所做的相似时？

例如：

template<typename T> 
class my_class 
{ 
... 
}; 

std::istream& operator>>(std::istream& is, my_class& c); 

而是与移动分配/移动构造函数。

如果我想在处理my_class的实例时覆盖类型T的移动（构造或赋值）行为，这是可能的吗？这是否需要某种反思，或者是否可以用构造如friend执行，或者只需在全局范围声明一个函数，并将这两种类型都作为参数？

示例假设T是某种类型的，我想隐藏/覆盖T的举动为建设和分配行为：

T t; 
t = my_class<T>(...); // move-assign T from my_class rvalue 
T t(my_class<T>(...)); // move-construct T from my_class rvalue 

我假设有人还要问为什么在世界上我会想要做这样的事情，the answer to that question lies in my comments here.

Answer 1

据我所知，你正在尝试注入一个特定的移动构造函数到任意类型的基础上你的具体类型。有些语言可以让你做到这一点，但是C++并不是其中之一。

虽然没有什么能阻止你引入你的自己的类型。你可以用任意T和 “注入” 你的举动构造函数有：

template <typename T> 
struct wrapped 
{ 
    wrapped(my_class<T>&& cls) { 
     // move-construct val as you wish 
    } 

    wrapped& operator=(my_class<T>&& cls) { 
     // move-assign val as you wish 
    } 

    // possibly other constructors? 

    T val; 
}; 

wrapped<T> t(my_class<T>(...)); // uses your move constructor