是否有可能使`=`更喜欢从转换转移(删除)复制分配？

Question

我发现一些线程严重意味着无法完成,但没有一个使用完全相同的运算符和条件组合,所以我想更具体地问.希望这意味着对某人来说这是一个快速而简单的答案......无论如何!

考虑一个示例代理类,用于管理较大存储块中的值 - 如此过于简化但有代表性的示例:

class SomeProxyThing {
    std::uint32_t storage;

public:
    operator std::uint16_t() const
    {
        return storage & 0x0000FFFF;
    }

    SomeProxyThing &operator=(std::uint16_t const value)
    {
        storage &= 0xFFFF0000;
        storage |= value;
    }
};

我想通过用户定义的s 来完成所有作业operator.在这种情况下,用户应该只能传入或取出"暴露"类型std::uint16_t.我可能正在使用各种代理类类型,并希望它适用于所有这些类型.理想情况下,对于任何类型的组合,我只需键入someProxy = anotherProxy并让编译器完成其余的工作.

但是,当赋值的左侧和右侧具有相同或继承相关的类型时,默认的复制赋值运算符 - 当然 - 与此目标冲突.它复制了整个storage,从而破坏了另一半uint32_t- 而不是根据需要只复制'暴露'值.这是正确的!对于大多数情况.但即使LHS和RHS类型相同,我也想要一种"通过转换分配"的方法.为了避免这种情况,我可以:

• 重新定义复制赋值运算符以使用用户定义的operators 执行'代理'副本- 这是我一直在做的,但它似乎有点hacky,并且像任何用户定义的构造函数/赋值运算符一样,打破了平凡的可复制状态对的struct-我需要保持.它仍然memcpy()s ^ 反正在g++,但我想定义的行为.
• 或= delete复制赋值运算符(我们现在可以为TC类型执行).但是,赋值仍然会尝试使用它并抛出编译错误 - 因为delete如果我选择了重载,意味着'中止错误',而不是"从重载解析中排除我".为了解决这个问题,我必须明确告诉编译器使用转换运算符并从其结果中分配:

SomeProxyThing a, b;
a = 42;
b = static_cast<std::uint16_t>(a);
// a.k.a.
b.operator=( a.operator std::uint16_t() );

似乎没有办法告诉编译器' 忽略您首选的重载产生的任何错误并选择下一个最好的错误 '.在那儿？更一般地说,在这种情况下,是否有任何方式/ hack/horrifying kludge 强制编译器自动使用/偏好某些operators？

换句话说,理想情况下,在

SomeProxyThing a, b;
a = 42;
b = a;

这b = a;真的会这样做:

b = static_cast<std::uint16_t>(a);
// a.k.a.
b.operator=( a.operator std::uint16_t() );

我不必手动输入,使用static_cast或实现命名的get/set方法.理想情况下,我希望对任何此类代理的读/写看起来与写入代码中的基本类型的读/写完全相同=.

我强烈怀疑这是不可能的......但确认会很好!

Answer 1

编译时类型匹配/不匹配可以通过std::enable_if控制。可以通过显式关键字禁用隐式类型转换。所有复制和移动构造函数都可以显式删除以避免复制，默认构造函数可以显式标记为默认。编辑：早期答案考虑到问题的第一部分，即“用户应该只能传入或传出‘公开’类型”，因此所有转换都必须是显式的，但是要完成答案，您可以定义一个简单可复制的类并在代理类中使用它可能是您想要的：

#include  <cstdint>
#include <type_traits>
struct copyable{
    std::uint32_t number = 0x0;
};
class SomeProxyThing {

public:
    explicit operator  std::uint16_t()  const 
    {
        return storage.number & 0x0000FFFF;
    }
template <typename T, typename std::enable_if<std::is_same<T, std::uint16_t>::value, int>::type=0>
    SomeProxyThing& operator=(T value)
    {
        storage.number &= 0xFFFF0000;
        storage.number |= value;
        return *this;
    }

    SomeProxyThing()=default;
    SomeProxyThing(const SomeProxyThing&)=delete;
    SomeProxyThing(SomeProxyThing&&)=delete;
    SomeProxyThing& operator=(const SomeProxyThing& other) {
        this->storage.number = static_cast<std::uint16_t>(other.storage.number);
    }
    SomeProxyThing& operator=(SomeProxyThing&& other) {
        this->storage.number = static_cast<std::uint16_t>(other.storage.number);
    }

private:
    copyable storage;
};
int main()
{
    SomeProxyThing a, b;
    a = static_cast<std::uint16_t>(43);
    b = a; 
}