const_cast的行为

Question

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

1.我不明白的第一件事是

const_cast运算符语法，即

-const_cast-<-类型->-（-表达式-）--------------------> <

我对这种语法的了解是，它有助于消除Type的expression的常量性。

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.我的第二个问题是下面给出的声明

除非Type是引用类型，否则const_cast表达式的结果为rvalue。 在这种情况下，结果是一个左值。

为什么这样，为什么在使用指针的情况下不正确呢？

Answer 1

它有助于消除类型为Type的表达式的常量性

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

我认为该指针的const应该被丢弃

this类型为const ConstTest* 。 const_cast<ConstTest*>(this)具有类型ConstTest* 。 这就是从指向const的指针“放弃const”的含义。

我觉得代码应该是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) ，所以请选择您喜欢的。

除非Type是引用类型，否则const_cast表达式的结果为rvalue。 在这种情况下，结果是一个左值。

为什么这样？为什么在指针情况下不正确？

指针是正确的。 ConstTest*不是引用类型，并且const_cast<ConstTest*>(this)是一个右值。 然后，您将该值分配给变量c 。