修改值 const 方法

Question

为什么我可以修改这个字符串值？ I0st const 方法，但工作对我来说是不合理的

#include <iostream>
#include <string>

class Foo : private std::string
{
public:
    Foo(const char* c) :std::string(c) {}
    const std::string& name() const
    {
        (std::string&)(*this) = "Change";
        return (const std::string&)(*this);
    }
};
int main()
{
Foo temp("value1");
std::cout << temp.name();
}

这将输出

Change

Answer 1

像(std::string&)(*this)这样的 AC 风格显式转换几乎可以将任何内容转换为其他所有内容，而不管您是否被允许使用结果。 显式转换通常也被编译器解释为告诉它“我知道我在做什么”。 ，因此如果您滥用显式强制转换，则不会有任何警告。

特别是 C 风格的显式强制转换首先尝试做

const_cast<std::string&>(*this);

这是不可能的，因为const_cast只能添加或删除const和volatile限定符，否则不能更改类型。

然后它尝试

static_cast<std::string&>(*this);

这是不可能的，因为static_cast不能删除const限定，但*this在函数中是const限定的。

然后它尝试一个static_cast后跟一个const_cast ，例如相当于

const_cast<std::string&>(static_cast<const std::string&>(*this));

这是成功的，因为*this派生自std::string并且可以绑定到const std::string&引用。 const_cast然后删除const限定符。

结果将是对std::string基类子对象的引用。

原则上，您可以像在代码中一样使用此引用并分配给它。 然而，如果this所指的完整对象本身被声明为const ，例如，如果在main你有

const Foo temp("value1");

相反，那么您的代码仍然会在没有警告的情况下编译，但它将具有未定义的行为，因为修改const对象是未定义的行为，即使您能够获得非const引用或指向它的指针。

这就是为什么在大多数情况下使用const_cast是不好的风格，如果使用它，需要特别小心，它引用的对象永远不能声明为const 。 你在你的代码中没有那么小心。

C 风格的显式强制转换可以（除了许多其他危险的强制转换）执行const_cast并且出于同样的原因（和其他原因）不应使用。

你真正想要的是一个static_cast ，它只会在类层次结构中转换引用和指针，并且不会违反const正确性：

static_cast<std::string&>(*this) = "Change";

如果成员函数是const限定的，这将为您提供适当的错误消息，否则将在没有未定义行为的情况下工作。

或者，只要您不覆盖派生类中的operator=重载，您也可以在不进行强制转换的情况下调用基类operator= 。 如果成员函数是const限定的并且将在没有未定义行为的情况下工作，那么这也会产生适当的错误：

*this = "Change";