使用对 const char * 的右值引用的重载解析

Question

#include <iostream>

using namespace std;

void f(const char * const &s) {
    cout << "lvalue" << endl;
}

void f(const char * const &&s) {
    cout << "rvalue" << endl;
}

int main()
{
    char s[] = "abc";

    f("abc");
    f(s);
}

输出：

rvalue
rvalue

为什么不是输出 "rvalue lvalue"？

Answer 1

s 是一个数组左值（"abc" 也是如此——字符串文字是左值）。要获得指针，需要执行数组到指针的转换。此转换产生一个指针 prvalue，它优先绑定到右值引用重载。

Answer 2

字符串文字和 s 都不是指针（它们是数组），因此标准的相关部分是 [conv.array]:

An lvalue or rvalue of type "array of N T" or "array of unknown bound of T" can be converted to a prvalue of type "pointer to T". The result is a pointer to the first element of the array.

注意

char const *p = s;
f(p);

打印 "lvalue," 以表明这正如您对指针所期望的那样有效。

附录回复：评论：在

的情况下

char *p = s;
f(p);

如果右值重载存在但不会导致编译器错误，则打印 "rvalue"，标准的其他两个部分开始起作用——其中一个部分似乎禁止绑定 char*到char const *const &一共，另外开一个window回来。

第一个是[dcl.init.ref]/4，这里写着

Given types "cv1 T1" and "cv2 T2", "cv1 T1" is reference-related to "cv2 T2" if T1 is the same type as T2, or T1 is a base-class of T2. "cv1 T1" is reference-compatible with "cv2 T2" if T1 is reference-related to T2 and cv1 is the same cv-qualification as, or greater cv-qualification than, cv2. (...)

它详细介绍了引用初始化的精确规则，所有这些都是相关的，但不幸的是对于 SO 答案来说太长了。长话短说，对 cv1 T1 的引用可以用 cv2 T2 的对象初始化，如果两者是参考兼容的。

这个法律术语对我们的案例意味着 char* 和 char const * 不 reference-compatible（尽管 char* 和 char *const 会是），因为 char* 不是 char const * 也不是另一个的基础 class。如果您认为以下非法代码段在其他情况下是合法的，则此限制是有意义的：

const char c = 'c';
char *pc;
const char*& pcc = pc;   // #1: not allowed
pcc = &c;
*pc = 'C';               // #2: modifies a const object

这改编自 [conv.qual]/4 中的一个类似示例，该示例使用指向指针的指针来演示相同的问题。

[conv.qual] 也是打开 window 的其他相关部分。它在 [conv.qual]/1:

中说

A prvalue of type "pointer to cv1 T" can be converted to a prvalue of type "pointer to cv2 T" if "cv2 T" is more cv-qualified than "cv1 T"

由此可见，char*可以转换为char const *¹（与char const *const引用兼容），这就是为什么如果删除 f 的右值重载，代码仍然可以编译。但是，此转换的结果是纯右值，因此如果它存在，则在重载决策中首选右值重载。

¹ char* glvalue -> char* prvalue (by [conv.lval]) -> char const * prvalue)

使用对 const char * 的右值引用的重载解析

Overload resolution with rvalue reference to const char *

c++

rvalue

lvalue

c++11