c++ - 可以为了速度牺牲常量正确性吗？

Question

我有一个工厂类，用于创建某个类的大量实例。创建过程非常困惑，可能需要相当长的时间。所以我认为将已经在工厂中创建的类的实例存储起来会很聪明，我可以在以后调用它们。

创建取决于单个参数(名称)，因此可以将内容存储在 std::map 中，我称之为 old_instances。

A A_factory::make_A(std::string const& name)
{
    if ( old_instances.find(name) != old_instances.end() )
    {
        return old_instances.find(name) -> second;
    }
    else
    {
        // obfuscated creation process that creates instance 'new_A'
        // ...

        old_instances.insert(std::pair<std::string, A>(name, new_A)); // <- problem
        return new_A;
    }
}

这里的问题是整个例程可能是工厂的 const 成员。但是因为 old_instances 被改编了。

为了这种微不足道的事情而牺牲函数的 const 特性，我觉得有点尴尬。 这些牺牲合乎逻辑吗？

如果这个问题太依赖口味，请不要拍我。

Answer 1

这是使用mutable 的经典示例。只要外部行为确实是 const 的行为，您就可以这样做。