正确使用 const c++

Question

我有这个示例代码（如下）， example1() 方法工作没有问题， example2() 类似，但我必须强制 const_char 使其编译，尽管我认为不需要 example1() 方法， example2() 将是也不需要。

我的问题是，如何修改 add() 方法以进行编译，或者如何在 example2() 中正确调用 buffer.add() 而不强制 const_cast ？ add() 方法不修改 item，因此 const_cast 是不必要的。哪种形式是正确或合适的？

这是示例代码：

template <class Item>
class Buffer
{
public:
    Item *      _pItems;
    int         _nItems;
    // ... constructor / destructors etc
    void    add( const Item & item ) // or maybe Item const & item
    {
        _pItems[_nItems++] = item;
    }
};
class MyClass
{
public:
    // data
};
void    example1( const MyClass & item )
{
    Buffer<MyClass>        buffer;
    buffer.add( item );  // WORKS, no problem
}
void    example2( const MyClass & item )
{
    Buffer<MyClass *>        buffer; // NOW with pointers to MyClass
    //buffer.add( item );  // ERROR: 'Buffer<Item>::add' : cannot convert parameter 1 from 'const MyClass' to 'MyClass *const &'
    buffer.add( const_cast<MyClass *>( &item ) );  // forcing const_cast WORKS
}

Answer 1

你应该这样做：

Buffer<MyClass const*> 

因为 const MyClass 上的 &item 是 Myclass const* 而不是 MyClass*

Answer 2

您的 Buffer 类模板可以被认为是正确的，而您的 example2 函数是不正确的。我将在此基础上继续。

在 example1 中，该函数有一个指向 MyClass 实例的 const 引用参数。然后，Buffer 的 add 方法复制实例的值，将其放置在自己的内存缓冲区中（我希望 Buffer 保留跟踪所有这些记忆）。因此，example 采用 const 引用的事实与 Buffer 无关，因为已创建值的副本。

在 example2 中，Buffer 的 add 方法获取指向 MyClass 实例的指针的副本并存储在它自己的内存缓冲区中。在 example2 中，您已将 Buffer 实例化为保存指向 MyClass 的非常量指针，因此这就是您应该提供的内容，因此 example2 应该是：

void example2( MyClass & item )
{
    Buffer<MyClass *> buffer; // NOW with pointers to MyClass
    buffer.add( &item );
}

现在，您必须知道，如果要使用 buffer，则 item 必须在内存中保持固定状态，直到您使用完毕为止。而在 example1 中，这些项目可能会消失，因为您已将副本安全地存储在 buffer 中。