behaviour of const_cast

behaviour of const_cast

本文关键字:cast const of behaviour      更新时间:2023-10-16

我正在阅读有关 c++ const_cast运算符的信息

1.我无法理解的第一件事是

const_cast运算符语法,即

-const_cast--<--类型-->--(--表达式--(--------------------><</p>

我对这种语法的理解是,它有助于抛弃 Typeexpression的恒定性。但是考虑一下这段代码

class  ConstTest {   
private:
    int year;
public:
    ConstTest() : year(2007) {}
    void  printYear() const;
};
int main() {
    ConstTest c;
    c.printYear();
    return  0;
}
void ConstTest::printYear() const {
    ConstTest  *c  = const_cast<ConstTest*>(this);
    c->year  = 42;
    std::cout  <<  "This  is the  year "  << year  << std::endl;
}

在第 ConstTest *c = const_cast<ConstTest*>(this) 行中,我认为应该丢弃this指针的常量,但输出显示this引用的对象失去了恒定性。

我觉得代码应该ConstTest *c = const_cast<ConstTest>(*this),但这会产生错误。我知道我在很多解释上都是错误的。请全部更正。

第二个问题是 2.my 下面给出的陈述

const_cast表达式的结果是右值,除非 Type 是引用类型。在这种情况下,结果是一个左值。

为什么

会这样,为什么在指针的情况下不是真的?

它有助于抛弃类型表达式的恒定性

不,Type是结果的类型,而不是操作数的类型。

我认为这个指针的常量应该被抛弃

this具有类型 const ConstTest*const_cast<ConstTest*>(this)具有类型 ConstTest* 。这就是从指向常量指针中"抛弃康斯特"的意思。

我觉得代码应该ConstTest *c = const_cast<ConstTest>(*this)

const_cast<T>的结果具有类型 T,这就是它的定义方式。也许你会以不同的方式定义它,但运气不好,你不会通过写const_cast<ConstTest>来获得ConstTest*,而是通过写const_cast<ConstTest*>来获得它.您的首选语法不可用。

你可以做ConstTest &c = const_cast<ConstTest&>(*this)ConstTest *c = const_cast<ConstTest*>(this),所以选择你最喜欢的。

const_cast表达式的结果是右值,除非 Type 是 引用类型。在这种情况下,结果是一个左值。

为什么

会这样,为什么在指针的情况下不是真的?

指针也是如此。 ConstTest*不是引用类型,const_cast<ConstTest*>(this)的结果是右值。然后,将该值分配给变量 c