const &, const &&, &, && 在函数之后？

Question

我现在正在查看一些内部基础架构代码，我看到了一些这样定义的函数：

// func_name is a class member function

some_return_type func_name() & {
  // definition
}

some_return_type func_name() && {
  // definition
}

some_return_type func_name() const& {
  // definition
}

some_return_type func_name() const&& {
  // definition
}

我知道在类成员函数名称之后有const 意味着它不会修改类中定义的不可变成员变量。但是这里的&、&&、const & 和const && 变体是什么意思？

Answer 1

使用self作为调用方法的对象：

1. self 必须匹配 Type&:

   some_return_type func_name() &;
   

2. self 必须匹配 Type&&（也将匹配 Type const&& 和 Type const&）：

   some_return_type func_name() &&;
   

3. self 必须匹配 Type const&&（也将匹配 Type const&）：

   some_return_type func_name() const&&;
   

4. self 必须匹配 Type const&:

   some_return_type func_name() const&;
   

如您所见，如果 C++ 从一开始就有引用，并且选择 self-references 而不是 this-pointers，这将更容易理解。

Cppreference.com on ref-qualified member-functions.