clang-tidy无法将统一赋值运算符识别为移动赋值运算符的问题咨询

你好，这完全不是你的问题——clang-tidy目前确实没办法自动识别这种统一赋值运算符（也常被称为“拷贝并交换”赋值写法）同时承担了拷贝赋值和移动赋值的双重职责。

先帮你确认：你的写法是完全正确的 #

你写的这个传值版operator=是C++里非常优雅的惯用法：

MyClass& operator=(MyClass other) noexcept
{
    swap(*this, other);
    return *this;
}

它会根据赋值操作的实参类型自动适配：

• 当给左值赋值时，other会通过拷贝构造生成；
• 当给右值（比如临时对象）赋值时，other会通过移动构造生成；
  之后通过swap完成资源转移，本质上同时实现了拷贝赋值和移动赋值的功能，完全符合C++标准，行为上没有任何问题。

为什么clang-tidy会误报？ #

cppcoreguidelines-special-member-functions这个检查规则的判断逻辑比较“死板”：它只会识别签名完全匹配标准特殊成员函数的声明——也就是：

• 拷贝赋值：MyClass& operator=(const MyClass&)
• 移动赋值：MyClass& operator=(MyClass&&)

它不会去分析你的传值版operator=是否通过构造函数的重载间接实现了移动赋值的功能，所以才会错误地认为你没定义移动赋值运算符。

解决办法 #

这里有几个实用的方案：

• 方案一：直接抑制警告
  在你的类定义或者这个operator=函数上方添加注释，告诉clang-tidy忽略这个特定的警告：

  // NOLINT(cppcoreguidelines-special-member-functions)
  MyClass& operator=(MyClass other) noexcept
  {
      swap(*this, other);
      return *this;
  }
  

  这种方法最简单，不需要改动代码逻辑。

• 方案二：显式声明移动赋值（冗余但能满足检查）
  你可以额外声明一个标准签名的移动赋值运算符，让它调用你的统一赋值运算符，这样既能让clang-tidy识别到移动赋值的存在，又不会重复实现逻辑：

  MyClass& operator=(MyClass&& other) noexcept
  {
      return *this = std::move(other);
  }
  

  这个写法虽然有点冗余，但能完美适配clang-tidy的检查规则。

• 方案三：升级clang-tidy版本（不一定生效）
  部分较新的clang-tidy版本可能优化了这个规则的判断逻辑，但目前大部分稳定版本还是存在这个误报，所以前两个方案更可靠。

备注：内容来源于stack exchange，提问作者mparati