- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
#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
为什么输出不是“右值左值”?
最佳答案
字符串文字和 s
都不是指针(它们是数组),因此标准的相关部分是 [conv.array]:
An lvalue or rvalue of type "array of
N
T
" or "array of unknown bound ofT
" can be converted to a prvalue of type "pointer toT
". The result is a pointer to the first element of the array.
注意
char const *p = s;
f(p);
打印“左值”,以表明这与您对指针的预期一样有效。
附录回复:评论:在
的情况下char *p = s;
f(p);
如果右值重载存在则打印“右值”,但如果删除右值重载则不会导致编译器错误,标准的另外两个部分开始发挥作用——其中一个部分似乎禁止 char* 的绑定(bind)
to char const *const &
一共,另开一个窗口回来。
第一个是[dcl.init.ref]/4,其中声明
Given types "cv1
T1
" and "cv2T2
", "cv1T1
" is reference-related to "cv2T2
" ifT1
is the same type asT2
, orT1
is a base-class ofT2
. "cv1T1
" is reference-compatible with "cv2T2
" ifT1
is reference-related toT2
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 *
也不是其他。如果您认为以下非法代码段在其他情况下是合法的,则此限制是有意义的:
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] 也是打开窗口的其他相关部分。它在 [conv.qual]/1 中说:
A prvalue of type "pointer to cv1
T
" can be converted to a prvalue of type "pointer to cv2T
" if "cv2T
" is more cv-qualified than "cv1T
"
由此可见,char*
可以转换为 char const *
1(与 引用兼容char const *const
),这就是为什么如果删除了 f
的右值重载,代码仍然可以编译。但是,此转换的结果是纯右值,因此如果它存在,则在重载决策中优先选择右值重载。
1 char*
glvalue -> char*
prvalue (by [conv.lval]) -> char const *
纯右值)
关于c++ - 使用对 const char * 的右值引用的重载解析,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28680325/
假设我有一个类,我在其中重载了运算符 == : Class A { ... public: bool operator== (const A &rhs) const; ... };
我知道你不应该使用 std::find(some_map.begin(), some_map.end()) 或 std::lower_bound,因为它会采用线性时间而不是 some_map.lowe
我正在尝试在 Haskell 中定义 Vector3 数据类型,并允许在其上使用 (+) 运算符。我尝试了以下方法: data Vector3 = Vector3 Double Double Doub
我已经为我的类图将运算符重载为“-”。它的用途并不完全直观(糟糕的编码 - 我知道)但是如果我做 graph3 = graph2-graph1 那么图 3 是应该只接收图 2 和图 1 中的那些顶点。
这个问题在这里已经有了答案: 关闭 11 年前。 Possible Duplicate: Operator overloading 我想重载 以按字母顺序排列字符串,但我不确定该怎么做。 如何再次
下面的代码给我一个编译错误。谁能告诉我为什么? class mytype { public: int value; mytype(int a) { value = a;
这有什么问题吗? class Vec2 attr_accessor :x, :y # ... def += (v) @x += v.x @y += v.y retu
是否可以重载 [] 运算符两次?允许这样的事情:function[3][3](就像在二维数组中一样)。 如果可能的话,我想看看一些示例代码。 最佳答案 您可以重载 operator[] 以返回一个对象
我的团队目前正在与 Lua 合作,创建一个 android 游戏。我们遇到的一件事是表面上无法创建重载构造函数。 我习惯于使用默认值设置一个对象,然后在需要时使其过载。 前任: apples() {
我有一个网页,在某个时候显示一个导航栏,它只不过是一个 a 元素的列表 (ul)。所述 a 元素的大多数样式规则都是通用的。唯一应该改变的部分是要显示的图像,可以从列表中每个 li 元素的 id 标签
我对使用/重载“范围步长”运算符(.. ..)很感兴趣,但我终其一生都无法了解如何使用它。 在文档中它说 // Usage: start .. step .. finish 但是在 F# shell
Java 11(可能无关紧要): public static String toString(Object obj) { return ReflectionToStringBuilder.to
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the he
我无法理解以下代码(针对行号进行注释) class Base { void m1(Object o) { } void m2(String o) { } } publi
我有以下代码片段: #include using namespace std; struct Integer{ int x; Integer(const int val) : x(v
class myclass{ //definitions here }; myclass e; int myarray[10]; /* Do something... */ e = myarray;
为什么不能将下标运算符(operator [])作为 friend 函数重载? 最佳答案 正如Bjarne Stroustrup在D&E book中所说: However, even in the o
我有以下代码片段: #include using namespace std; struct Integer{ int x; Integer(const int val) : x(v
因此,我有一个问题是我最近尝试重载 namespace Eng { /** * A structure to represent pixels */ typedef
如何重载onResume()以正确的方式工作?我想从 activity 返回到 MainActivity ,我希望在其中具有与应用程序启动后相同的状态。我想使用 recreate() 但它循环了或者类
我是一名优秀的程序员,十分优秀!