从const对象访问非const方法

Question

我有一个C ++示例，我尝试在通过const getter访问的类成员上设置属性。

#include <iostream>

struct prop
{
    prop() : m_val {0} {}
    int val() const { return m_val; }
    void set_val(int v) { m_val = v; }
private:
    int m_val;
};

struct base
{
    virtual ~base() = default;
    virtual prop property() const = 0;
    virtual void set_property(prop p) = 0;
};

struct derived : public base
{
    derived() : m_prop {prop {}} {}
    prop property() const { return m_prop; }
    void set_property(prop p) { m_prop = p; }
private:
    prop m_prop;
};

int main()
{
    base *d1 = new derived();
    d1->property().set_val(2);
    // prints 0
    std::cout << "property val: " << d1->property().val() << '\n';
    delete d1;

    base *d2 = new derived();
    auto p = d2->property();
    p.set_val(2);
    d2->set_property(p);
    // prints 2
    std::cout << "property val: " << d2->property().val() << '\n';
    delete d2;

    return 0;
}

我希望这会给我d1->property().set_val(2);一个错误d1->property().set_val(2); 因为property()方法是const ，应该给我一个没有set_val方法的const prop对象。 但这会编译而没有任何错误，并且行d1->property().set_val(2); 实际上并没有更改cout线所示的val 。 有人可以解释我所缺少的吗？

编辑：我现在理解property()返回非常量和按值返回的问题，以及为什么它不产生编译器错误并且不更改d1 。 在我的用例中，最好的解决方案是使property的返回值成为prop const& 。

Answer 1

d1->property().set_val(2); 实际上并没有改变val

因为property()按值返回，所以这意味着property()返回的是一个临时对象，该对象是从数据成员m_prop复制的。 然后，在立即销毁的临时对象上调用set_val 。

因为property()方法是const ，应该给我一个const prop对象

不。您将返回类型声明为prop ，然后它将返回一个非const prop 。 在const property() ，数据成员m_prop变为const ，并将其复制到返回的非const对象中。 返回类型不会变为 const 。

我认为您应该将返回类型更改为const prop& （在base类和derived类中）。 然后，您将得到预期的错误。 例如

const prop& property() const { return m_prop; }

Answer 2

property返回m_prop的副本 ，该副本是可修改的（尽管是临时的）值。 因此，您无需对dl进行任何更改，并且打印时的值仍将是原始值。

Answer 3

该方法为const只是意味着调用它不会使您调用它的对象发生变异。

从方法中返回的对象（按值）是一个全新的对象，您可以根据需要对其进行操作。 它与您从中获得对象的方式（除了作为getter返回的内容的副本）或您调用以获取它的函数的const性无关。

Answer 4

如果希望您的property()成员函数返回const prop对象，请指定这样做：

struct base{
    virtual const prop property() const=0;
};

就目前而言，您将获得一个非const prop对象，该对象是属性的副本 。 您可以快乐地设置该对象的值，但不会影响存储的属性值。