将派生类赋值给基类时消除Clang-Tidy切片警告的合法性探讨

原始代码 #

struct base
{
    base() = default;
    virtual ~base() = default;
    base(const base&) = default;
    base(base&&) = default;
    base& operator=(const base&) = default;
    base& operator=(base&&) = default;

    virtual void debug(){ std::cout << "base debug\n"; }
};

struct derived : public base
{
public:
    void debug() override { std::cout << "derived debug\n"; }
    void derived_only() { std::cout << "derived only\n"; }
};

derived g_d; // NOLINT
void get_base(base &b)
{
    b = g_d; // 触发Clang-Tidy切片警告
}

上述代码触发Clang-Tidy的对象切片警告，提示将派生类对象赋值给基类时，会丢失派生类特有的成员（比如重写的debug()方法）。

修改后的代码（警告消失） #

void get_base(base &b)
{
    base &b_temp = g_d;
    b = b_temp;
}

通过增加一层基类引用指向派生类对象，再赋值给目标基类引用，Clang-Tidy的警告消失了。现提出以下疑问：

• 两种写法是否存在本质差异？
• 这是合法的解决方案，还是仅仅掩盖了问题？
• 注：理想情况下我们会直接传递指针/引用避免拷贝，但当前场景下这个写法更便利；且我们本来就只需要基类成员，派生类部分被切片是预期行为。

解答 #

两种写法完全等价 #

不管是直接赋值b = g_d，还是通过临时基类引用b_temp中转赋值，实际行为完全一致：

• 两种情况最终都会调用base类的拷贝赋值运算符，将g_d中的基类部分拷贝到b指向的对象中，派生类特有的成员（比如derived_only()、重写的debug()的动态类型信息）都会被丢弃，也就是所谓的对象切片。
• 临时引用b_temp = g_d只是让派生类对象以基类的视角被访问，并没有改变后续赋值操作的本质。

警告消失的原因 #

Clang-Tidy的切片检测逻辑是直接识别派生类对象直接赋值给基类的场景。增加临时基类引用后，检测器无法直接关联到原始的派生类对象来源，因此不会触发警告，但切片行为并没有任何改变——这只是一种“掩盖”警告的写法，而非真正解决了切片问题（而你本来就预期切片发生）。

合法性与优化建议 #

• 这个写法是合法的C++代码，因为切片是你预期的行为，没有违反语言规则。
• 如果想更清晰地表达“故意切片”的意图，避免后续维护者误解，建议用显式的类型转换替代临时引用：

  b = static_cast<const base&>(g_d);
  

  这种写法既能明确告知编译器和其他开发者你的意图，也能让Clang-Tidy不再触发警告，可读性比临时引用的写法更好。

内容的提问来源于stack exchange，提问作者code_fodder