代码之家 › 专栏 › 技术社区 › Curious

常量转换空基类

const-cast c++17 language-lawyer c++14 c++

Curious · 技术社区 · 8 年前

是否有未定义的行为 const_cast 去掉一个空的基类并对其调用一个非常量方法?例如

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)中找不到回答这个问题的相关信息。。

1 回复 | 直到 8 年前

Barry 8 年前

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

除了任何声明为可变的类成员都可以修改之外,任何尝试在常量对象的生存期内修改该对象会导致未定义的行为。

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

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

这肯定会导致未定义的行为。但假设没有,既然有 无成员 如果要以格式错误的方式进行修改,则调用中没有UB。

另一个问题,即这是否是一个好主意,有一个明显的答案。Const cast不应丢弃代码基。但是,如果基类表现良好,尽管定义不好,但如果您不能更改该类,那么它可能是可以接受的。

推荐文章

Paul J. Lucas · _C中任意大小的原子结构体赋值?

1 年前

ä½å½è¯ · 如果在命名空间中声明的枚举是在命名空间之外定义的,那么它的枚举值在外部可见吗?

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Thomas Weller · 我在这里有什么样的UB,删除运算符new[]的数组?

1 年前

user17732522 · 使用显式默认构造函数从空大括号复制列表初始化

2 年前

nore · 为什么C标准禁止在源文件末尾使用部分预处理令牌?

2 年前

user17732522 · C中是否允许以命名返回值优化的形式进行复制省略?

2 年前

cppBeginner · 从lambda函数中获取constexpr变量是可以的,但当这样的语句位于新的lambda中时,编译失败(Visual C++)和编译失败(gcc)是可以的

2 年前

Gene · 是否允许使用受约束的别名模板?

2 年前

yg-i · C的“基本执行字符集”中的字符总数究竟是多少?

2 年前