C当成员值从指针更改为非指针时出现const问题

Question

我有两个类TestClass和另类，其中TestClass有一个名为m_otherClass的另类类型的成员变量。请注意，这没有声明为const。

在下面提供的最小示例中；当m_otherClass是指针时，那么一切都会编译并运行良好。如果我将其更改为非指针，那么我会得到编译器错误（这些更改在最小示例中被注释掉）：

“对常量对象调用了非常量函数“setOtherMember”

错误：通过'const其他类'作为'this'参数丢弃限定符[-fpermissive]m_otherClass.set其他成员（）；

#include <iostream>
#include <memory>

class OtherClass {
public:
    void setOtherMember() {
        m_otherMember = 2;
        std::cout << "Other member is now 2" << std::endl;
    }

private:
    int m_otherMember = 0;
};


class TestClass {
public:
    TestClass(): m_otherClass(std::make_unique<OtherClass>())
//  TestClass()
    {}

    void myMethod() const {
        m_otherClass->setOtherMember();
//      m_otherClass.setOtherMember();
    }
private:
        std::unique_ptr<OtherClass> m_otherClass;
//      OtherClass m_otherClass; // If changing to this I get the error!!
};


int main() {
    TestClass testClass;
    testClass.myMethod();
    return 0;
}

这是因为myMethod（）是const（然后promise不更改任何成员变量），而set的成员（）是非const和正在更改其他类的成员变量，然后间接地也是m_otherClass对象？

但是，当m\u otherClass是指针时，为什么这不会失败呢？当m\u OtherClass未声明为const时，为什么编译器错误会说将“const OtherClass”作为“this”参数传递失败？

Answer 1

在方法上设置常量时，所有数据成员都被视为常量。这就是为什么当使用OtherClass作为值时会出现错误，因为它变成了const OtherClass的值。

现在，当您使用另一类指针时，您会得到const std：：unique\u ptr

Answer 2

一个更简单的示例来演示这种差异。

struct Foo { int m; };

const Foo f = {10}; 
f.m = 20; // Not allowed since modifying f.m modifies f.

struct Bar { int* p; };
int i = 10;
int j = 20;

const Bar b = {&i};

b.p = &j;    // Not allowed since modifying b.p modifies b.

*(b.p) = j;  // Allowed since it does not change b or b.p. It changes the value
             // of what b.p points to.

Answer 3

在大多数情况下，const限定成员函数不允许更改对象的成员状态。这意味着，每个不可变的成员都不能在该函数体中修改。在处理指针时，您只是说，您不会修改指针值，而不是指针本身。这是因为指针的恒定性不会在其指针上传播。

在即将到来的标准中，可以通过使用propagate_const来改变这种行为。