`const &&` 是否绑定到所有prvalues（和xvalues）？

Question

C++标准定义了以下函数被删除；

template <class T>
void ref(const T&&) = delete;

template <class T>
void cref(const T&&) = delete;

这是为了通过禁止函数绑定到临时值（右值）来帮助确保函数不会被滥用。

• const && 是否绑定到所有右值，特别是纯右值？
• const && 是否会绑定到所有“移动对象”（xvalues；基本上是从std::move 或类似返回的东西）？

我可以推断它应该，但我没有任何“证据”。

• 或者相反，是否存在右值（prvalue 或 xvalue）不会绑定到const && 的情况？
  • 如果是，那又如何？

注意：来自 cmets 的一些澄清，这个问题严重影响了经典的右值，即纯右值值类别。

Answer 1

T const&& 可以绑定到T 或const T 类型的右值。

从 8.5.3 [dcl.init.ref] 第 5 段：

5 - 对“cv1 T1”类型的引用由“cv2 T2”类型的表达式初始化，如下所示：[...]
— 否则，[...] 引用应为右值引用。 [...]
— 如果初始化表达式
— 是一个 xvalue、类纯右值、数组纯右值或函数左值，“cv1 T1”与“cv2 T2”引用兼容 [...] 然后引用绑定到初始化表达式的值 [...]

如果初始化表达式是非类类型的纯右值，则为引用绑定创建一个临时副本（同上）。

参考兼容性在 8.5.3p4 中定义；它需要相同或基类关系和相同或更大的 cv 限定。

因此，要将右值绑定到 T const&&，其 cv-qualification 必须不大于 const。

Answer 2

我想在这里添加一些经验证据来支持答案。

template <class T>
void ref(T&) {}

template <class T>
void ref(volatile T&) {}

template <class T>
void ref(volatile const T&) {}

template <class T>
void ref(const T&) {}

template <class T>
void ref(const T&&) = delete;

// xvalues
int&& ax();
const int&& bx();
volatile int&& cx();
volatile const int&& dx();

// prvalues
int ap();
const int bp();
volatile int cp();
volatile const int dp();

void test()
{
    ref(ax());
    ref(bx());
    ref(cx());
    ref(dx());

    ref(ap());
    ref(bp());
    ref(cp());
    ref(dp());
}

在这种情况下，所有对 ref 的调用都无法编译，包括带有 cv 限定变体的 xvalue 和 prvalue； msvc、gcc and clang 都因相应的“尝试引用已删除的函数”错误而导致编译失败。