const 铸造空基类

Question

const_cast 离开一个空的基类并在其上调用非 const 方法是未定义的行为吗？例如

class EmptyBase {
public:
    void bar() { ... }
};

class Something : public EmptyBase {
public:
    void foo() const {
        const_cast<EmptyBase&>(static_cast<const EmptyBase&>(*this)).bar();
   }
};

我无法在标准（C++14 和 C++17）中找到相关信息来回答这个问题..

Answer 1

它本身不是 UB。当你抛弃 constness 并使用获得的 glvalue 来修改最初声明为 const 的对象时，你会得到未定义的行为。这是对此的标准报价 ([dcl.type.cv]/4)：

除了声明为 mutable 的任何类成员都可以修改外，任何 尝试在其生命周期内修改 const 对象会导致 未定义的行为。

仅仅调用成员函数并不是对对象的修改。这完全取决于函数做什么。所以如果它做了一些疯狂的事情，比如：

std::memset(this, 0, sizeof(*this));

这肯定会导致未定义的行为。但假设它没有，并且由于 没有成员 可以以不正确的方式进行修改，因此调用中没有 UB。

另一个问题，是否是一个好主意，有一个明显的答案。常量转换不应该乱扔代码库。但是，如果基类行为良好，尽管定义不明确，但您无法更改类可能是可以接受的。