behaviour of const_cast
behaviour of const_cast
我正在阅读有关 c++ const_cast运算符的信息
1.我无法理解的第一件事是
const_cast运算符语法,即
-const_cast--<--类型-->--(--表达式--(--------------------><</p>
我对这种语法的理解是,它有助于抛弃 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.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
。