c – 为什么移动构造函数会影响is_assignable？

刚刚来自 is_assignable and std::unique_ptr. @Angew告诉我,因为std :: unique_ptr< int,do_nothing>和std :: unique_ptr< int>是不同的类型,所以static_assert(不是std :: is_assignable< std :: unique_ptr< int>,std :: unique_ptr< int,do_nothing>> :: value,“”);.所以,我尝试过：

template<typename T,typename D>
struct MoveAssignOnly_V2
{
    MoveAssignOnly_V2&
    operator=(MoveAssignOnly_V2&)
        = delete;

    MoveAssignOnly_V2&
    operator=(MoveAssignOnly_V2&&) noexcept
    {}
};

int main()
{
      static_assert(not std::is_assignable_v<MoveAssignOnly_V2<int,float>,MoveAssignOnly_V2<int,double>>);
}

是的,因为MoveAssignOnly_V2< int,float>和MoveAssignOnly_V2< int,double>是两种不同的类型,因此它们不可分配.

但是,当我添加一个移动ctor时：

template<class U,class E>
MoveAssignOnly_V2(MoveAssignOnly_V2<U,E>&& m) noexcept {}

static_assert fail!(包括gcc和clang).

问题：为什么移动构造函数会影响is_assignable？

更新

我添加这个构造函数的原因是我发现std :: unique_ptr有一个

template< class U,class E >
unique_ptr( unique_ptr<U,E>&& u ) noexcept;

,这让我有点困惑：如果它有这样一个ctor,它怎么可能不可分配？所以我尝试将此类ctor添加到MoveAssignOnly_V2并发布此问题.这两个答案都很好,但是仍然无法解释为什么当std :: unique_ptr同时具有移动赋值和这个模板化构造函数时,它不可赋值.

MoveAssignOnly_V2<int,float> lhs;
MoveAssignOnly_V2<int,double> rhs;
lhs = stdL::move(rhs);

double lhs = 3.14;
float rhs = 42.f;
lhs = std::move(rhs);