时间戳

首页 > 解决方案 > 是什么导致不调用移动赋值运算符？

c++ - 是什么导致不调用移动赋值运算符？

问题描述

我正在研究自己的智能指针，但遇到了一些奇怪的问题。未调用移动赋值运算符。所以我写了一个测试类并且能够重现这个问题。不调用移动赋值运算符，但会发生复制赋值（即使没有复制赋值运算符）。

这是我的测试课

#include <utility>
#include <iostream>

struct tag_t {};
constexpr tag_t tag {};

template <typename T>
struct Foo {
  Foo() noexcept
    : val{} {
    std::cout << "Default construct\n";
  }
  template <typename U>
  Foo(tag_t, const U &val) noexcept
    : val{val} {
    std::cout << "Construct " << val << '\n';
  }
  ~Foo() noexcept {
    std::cout << "Destruct " << val << '\n';
  }

  template <typename U>
  Foo(Foo<U> &&other) noexcept
    : val{std::exchange(other.val, U{})} {
    std::cout << "Move construct " << val << '\n';
  }
  template <typename U>
  Foo &operator=(Foo<U> &&other) noexcept {
    std::cout << "Move assign " << other.val << '\n';
    val = std::exchange(other.val, U{});
    return *this;
  }

  T val;
};

这些是测试

int main() {
  {
    Foo<int> num;
    std::cout << "Value " << num.val << '\n';
    num = {tag, 5};
    std::cout << "Value " << num.val << '\n';
  }
  std::cout << '\n';
  {
    Foo<int> num;
    std::cout << "Value " << num.val << '\n';
    num = Foo<int>{tag, 5};
    std::cout << "Value " << num.val << '\n';
  }
  return 0;
}

运行测试后，我得到了这些结果

Default construct
Value 0
Construct 5
Destruct 5
Value 5
Destruct 5

Default construct
Value 0
Construct 5
Move assign 5
Destruct 0
Value 5
Destruct 5

让我感到困惑的是第一个测试的输出。不调用移动赋值运算符，但会发生复制赋值。这导致5被破坏两次。当您尝试制作智能指针时并不理想！

我正在使用禁用优化的 Apple Clang 进行编译。有人可以解释我的观察吗？另外，如何确保在第一次测试中调用了移动赋值运算符？

标签： c++c++17movemove-semantics

解决方案

template <typename U>
Foo &operator=(Foo<U> &&other) noexcept;

这不能由 调用={ }。

而是Foo& operator=(Foo&&)noexcept被调用。

模板方法从来都不是特殊的成员函数。明确默认、删除或实施它们。

推荐阅读