const_cast 的行为

Question

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

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

const_cast 运算符语法即

<块引用>

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

我对这种语法的理解是，它有助于消除类型 Type 的表达式的常量性。但是请考虑

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(this)，我认为this指针的const应该被丢弃，但输出显示它是this的对象code> 指的是失去它的常量。

我觉得代码应该是 ConstTest *c = const_cast(*this)，但这会产生错误。我知道我的很多解释都是错误的。请大家指正。

2.我的第二个问题是下面给出的语句

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

为什么会这样，为什么在指针的情况下却不是这样？

Answer 1

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

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

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

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

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

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

您可以执行 ConstTest &c = const_cast(*this) 或 ConstTest *c = const_cast(this)，所以选择你最喜欢的。

const_cast 表达式的结果是右值，除非 Type 是
参考类型。在本例中，结果是左值。

为什么会这样以及为什么在指针的情况下不成立？

对于指针来说也是如此。 ConstTest* 不是引用类型，并且 const_cast(this) 的结果是右值。然后将该值分配给变量c。