C++中能否使用对象切片实现派生类基类部分的有效赋值

首先给出前置的结构体定义：

struct A{
    int a1 = 0;
    int a2 = 1;
};

struct B: public A{
    int b1 = 2;
    int b2 = 3;
};

现有B类型对象foo，需要将其从A类继承的字段值更新为另一个A类型对象bar的对应值，相关问题解答如下：

能否通过对象切片实现该需求 #

可以。你之前尝试的(A) foo = bar;没有生效，判断的原因完全正确：C风格强转(A)foo等价于值转换static_cast<A>(foo)，会从foo的A基类子对象拷贝生成一个临时的A类型对象，后续的赋值操作全是在这个临时副本上做的，语句执行完临时对象就直接销毁了，foo本身的内容一点都没被改动。
正确的切片赋值写法是先拿到foo内部A基类子对象的引用，再执行赋值：

static_cast<A&>(foo) = bar;

这行代码执行后，foo里继承自A的a1、a2字段会被更新为bar的对应值，派生类独有的b1、b2字段保持原值，完全符合需求。

两个具体问题的答复 #

• 是否属于未定义行为？
  不属于。公有继承场景下，派生类对象内存中会包含一个和派生类对象同生命周期的基类子对象，static_cast<A&>(foo)是C++标准明确允许的合法转换，得到的引用直接指向foo内部的A子对象，对这个子对象调用A的默认赋值运算符做逐成员拷贝，是完全合规的操作，不存在未定义行为。
• 是否属于合理的编码实践？
  不推荐作为常规写法使用。
  对象切片本身是C++里非常常见的坑——绝大多数出现在代码里的对象切片都是开发者失误导致的：比如把派生类对象按值传给接收基类类型的函数、或者直接把派生类对象赋值给基类变量，都会直接切掉派生类的独有数据，引发逻辑bug。
  如果直接写static_cast<A&>(foo) = bar;这种故意触发切片的赋值，可读性非常差，后续维护代码的人看到第一反应大概率是觉得这里写了个切片bug，根本想不到你是故意要只赋值基类部分。
  真要实现这个需求，更稳妥的选择要么是直接逐字段赋值，逻辑直白谁都能看懂；要么给B类封装一个语义明确的成员函数，比如写个void update_from_base(const A& a) { static_cast<A&>(*this) = a; }，调用的时候直接写foo.update_from_base(bar)，意图清晰不会引发误解。就算非要直接用切片赋值的写法，也一定要加清晰的注释说明你是故意这么做的，避免后续被人误改。

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