代码之家 › 专栏 › 技术社区 › Slava

无处引用C++ [关闭]

undefined-behavior reference c++

Slava · 技术社区 · 8 年前

int main()
{
    int &ri = ri;
    ri = 0;
}

更新:当引用是全局引用时,会发生不同的情况: godbolt ,gcc似乎将其声明为指针并使其指向自身

注意:我知道这段代码是无效的,我不希望编译器有特殊的行为,但我认为查看内部可能有助于理解为什么以下代码不是非法的,以及引用如何在该语言中工作:

struct foo {
    int &ri = i;
    int i = 0;
};

或者这个:

 extern int i;
 int &ri = i;
 int i = 0;

更新2:虽然赋值肯定是UB,但如果声明本身:

int &ri = ri;

ri

1 回复 | 直到 8 年前

zdf 8 年前

不是回答,只是长篇大论。

“……它将不在C++上编译而不使用CAST……” .

references source pointers source 将生成 完全相同的代码

引用本身没有地址 . 这个 following i 的地址两次:

int i;
int &ri = i;
cout << &ri << endl << &i;

因为语言 ,我认为一个好的编译器 必须发出警告而不是错误 : uninitialized variable used .

[编辑]

T x = x; 是可取的,但是 C++不是从头开始设计的:它必须与C向后兼容。

所以,你找到了一个 合法的 “…这个引用实际上指向哪里?”

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前