为什么移动构造函数影响可赋值?

is_assignable and std::unique_ptr . @安吉告诉我是因为 std::unique_ptr<int, do_nothing> std::unique_ptr<int> 是不同的类型,所以 static_assert(not 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> 它们是不可分配的。

但是 ,当我添加移动向量时:

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

static_assert fail! (gcc和clang)。

这里的问题:为什么move构造函数影响是可赋值的?

更新

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

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

,这让我有点困惑:既然它有这样一个角色,它怎么可能不可分配呢?因此,我尝试将这样的ctor添加到 MoveAssignOnly_V2 并发布这个问题。这两个答案都很好,但仍然无法解释原因 std::unique\u ptr 当同时具有移动分配和此模板化构造函数时,不可分配。