对指针的常量引用

Question

我遇到了一些使用这样的方法的代码：

QList<Item*> itemList;
void addItem(Item* const& item)
{
    itemList.append(item);
}

现在，我看不出那个和这个之间有任何有意义的区别：

QList<Item*> itemList;
void addItem(Item* item)
{
   itemList.append(item);
}

但显然有人不遗余力地使用这样一个奇怪的类型。或者也许重构工具出了严重错误。

有什么充分的理由保留该函数签名吗？某种行为不同的极端情况？我想不出什么。

Answer 1

唯一的区别是，在第一个版本中，您不允许更改函数内本地 item 的值（您仍然可以修改它指向的 Item） 。因此，如果您出于某种原因希望 Item* 保存不同的值，您将被迫使用另一个 Item* 类型的本地变量，并且该函数将消耗额外的sizeof(intptr_t) 字节的堆栈空间 (boo hoo)。

我知道，这并不惊天动地。

Answer 2

它是对 const 指针的引用，这意味着您会为此指针获得一个昵称，但无法更改它指向的地址。

指针副本是等效的，如果你也将其设置为 const 的话。

我闻到了历史上一系列的变化，这些变化使代码达到了这一点，当然是在多次命名重构之后。

Answer 3

第一个声明的意思是“item 是一个常量指针引用变量”。您无法更改该项目以指向 ITEM 类型的另一个数据，而且它也是一个引用，因此它指向在被调用函数中作为参数传递的指针。

伪代码：Item* myItem = new Pen();
添加项目（我的项目）；
第一个声明确保 additem 函数不会更改 pen 对象，因为它是一个常量引用，也不会复制 myItem 的内容，它只是指向 myItem 的内存位置。
而第二个声明有复制 myItem 内容的开销。

Answer 4

它是对指向可变值的常量指针的可变引用。

引用允许您修改它所引用的任何内容，但碰巧引用的类型是常量指针，因此指针的值无法更改。指针指向的值是可以改变的。

void* const &

• 原始指针：不可变
• 引用指针：不可变
• 原始值：可变

直接传递常量指针是等效的。

void* const

• 原始指针：不可变
• 复制指针：不可变
• 原始值：可变

Answer 5

我发现的另一个显着差异是在堆栈上传递的实际数据。在 Item* 版本中，Item* 作为参数传递，需要一次取消引用才能获取 Item 值。但是，由于引用是通过传递指针在最终机器代码中实现的，因此 Item* const& 版本实际上传递 Item** 作为参数，需要两个 取消引用以获取 Item 值。

这也解释了为什么您需要额外的堆栈空间来获取可修改的 Item* 版本 - 您的调用者实际上并没有在堆栈上（或在一个寄存器），你可以乱搞，你只有一个 Item** （或者在 C++ 领域中的 Item* const& ）。

Answer 6

可能是从模板复制的。

template<class T>
class hashBase {
    virtual int hash( const T& c ) = 0;
    // other stuff: save hash, compare, etc.
};

class intHash : hashBase<int> {
    int hash( const int& c ) override { /* c=1; ERROR */ return 1; }
};

struct structData{ int a; };
class structHash : hashBase<structData> {
    int hash( const structData& c ) override { /* c.a=1; ERROR */ return 1; }
};

class structPtrHash : hashBase<structData*> {
    int hash( structData* const& c ) override { c->a=1; return 1; }
};

我想创建一个通用类来计算哈希值。

intHash：设置参数为常量
structHash：将签名更改为引用
structPtrHash：它编译的唯一方法

我达到了这个寻找“对常量指针的引用”的任务，
这在我的代码中没有实现。

此问题的热门评论：
const 和 const 有什么区别int*、const int * const 和 int const *?

推荐：
顺时针/螺旋规则
cdecl.org

我的案例的正确模式：

class constStructPtrHash : hashBase<const structData*> {
    int hash( const structData* const& c ) override { /* c->a=1; ERROR */ return 1; }
};