类成员函数在声明为const后修改类成员变量

class member function altering class member variables after they were declared const

本文关键字：成员 变量 const 修改 声明 函数      更新时间：2023-10-16

考虑以下代码(不完全是我使用的，但只是为了突出问题)

class Pointarr //creates an array of points which can be recalled by object
{
    public:
    Pointarr(int, int, bool);
    ~Pointarr(){};
    mutable Point array[];
    private:
    void fillarray(int) const;
    int const minpix;
    int const mirrors;
    bool const canvasfeed;
};
void Pointarr::fillarray(int mirrors) const
{
    Point zero(0,0);
    for(int i = 0; i < mirrors; i++)
    {
        array[i] = zero;
    }
}
Pointarr::Pointarr(Mat dt, int mpx, int mir, bool cf) : dot(dt), minpix(mpx), mirrors(mir), canvasfeed(cf)
{
    fillarray(mirrors);
}

我将得到一些东西先出来的方式，我在linux上使用gcc c++编译器。我正在使用OpenCV库，其中点是一种变量类型，它以(x,y)的格式保存坐标。我相信它只是在内存中使用了足够的空间来容纳每个数字，所以对于两个整数，x为4字节，y为4字节。

我遇到的问题是，在构造函数声明(Pointarr())中的变量初始化正确，我确认了这一点，但是当我调用fillarray(int)函数填充数组与零值的负载，(0,0)，它导致变量镜像和minpix都改变为0，其中canvasfeed保持原样，但这只是当镜像等于1。

现在，让我们指定一些东西，你会注意到当镜像为1时，填充数组内的循环只运行一次，这意味着数组只有一个值(一个点)。如果我将镜像设置为2，那么canvasfeed也变为0。我认为这是相当清楚的，fillarray函数是分配相同的内存用于保存我的私有变量到数组，因此正在改变我的私有变量。这是一个问题，因为我需要他们稍后。

问题是，我被引导相信使私有变量const意味着编译器会抱怨，如果在任何时候变量被改变，但它在这种情况下编译得很好，如果我是诚实的，虽然我不完全理解const应该如何使用(几乎)。

所以最后的问题是，我如何避免使数组使用我需要的其他内存，但仍然初始化它具有相同数量的元素槽作为镜像。

我被引导相信使私有变量为const意味着编译器在任何时候改变变量都会报错。

要么你误解了，要么你被误导了。有许多方法可以修改固有的const成员，而编译器甚至可能无法检测到它。最终，尽管这会导致未定义的行为。

你要确保你永远不会直接或间接地修改一个固有的const数据成员。

 mutable Point array[];

被称为Point类型的不完全数组，它保证只存储一个元素。当您使用它来存储更多元素时，您最终写入超出数组的边界，导致未定义行为。

你需要使用一个向量:

mutable std::vector<Point> array;
相关文章：