C++ getter 函数：常量和非常量

Question

我正在用 C++ class 编写机器人程序。下面的代码，当我尝试访问 getter 崩溃时

==19724== Stack overflow in thread 1: can't grow stack to 0xffe801ff8
==19724== Warning: client switching stacks?  SP change: 0x15788828 --> 0xffeffe990
==19724==          to suppress, use: --max-stackframe=68342473064 or greater
unknown location(0): fatal error in "trying": memory access violation at address: 0xffe801ff8: no mapping at fault address

这是 getter 代码：

#ifndef ROBOT_MAP
#define ROBOT_MAP

#include <iostream>
#include <stdio.h>
#include <cv.h>
#include <highgui.h>

class Robot{
protected : 

    int _y;
    int _x;
public : 

    Robot(int x, int y): _x(x), _y(y){};

    void setX(int x){_x = x;}
    void setY(int y){_y = y;}

    const int& getX() const {return _x;}
    int& getX(){return const_cast<int&>(static_cast <Robot &>(*this).getX());}
    const int& getY() const {return _y;}
    int& getY(){return const_cast<int&>(static_cast <Robot &>(*this).getY());}


};
#endif

我正在尝试正确实现 const 和非 const 函数，因为我发现它在本网站的其他地方定义。同样类型的 getter 返回 std::vector 可以工作，但一旦尝试 SomeRobot.getX()，它就会崩溃。

我在 valgrind 中运行它并没有给我更多的信息。

那么导致它崩溃的代码有什么问题？

Answer 1

这里：

int& getX(){return const_cast<int&>(static_cast <Robot &>(*this).getX());}

由于 *this 被强制转换为 Robot &（即未更改），因此调用了 getX() 的非常量版本，使该函数无限递归。它继续死于堆栈溢出。

改为写

//                                                     vvvvv-- here
int& getX(){return const_cast<int&>(static_cast <Robot const &>(*this).getX());}

让 getX() 调用 getX() const。这同样适用于 getY().

必须注意：要非常非常非常小心const_cast。这是为数不多的使用它有一定意义的上下文之一¹，而且并不是非常危险。虽然，我不得不说 getX() 和 getY() 的函数体足够短，我可以毫不犹豫地复制它们。

¹也就是说，如果函数再复杂一点就有点道理了

C++ getter 函数：常量和非常量

C++ getter function : const and non const

c++

constants

const-correctness