- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
在下面的程序中:
int Func()
{
int a = { 10 };
return a;
}
int main()
{
int& r = (int&)(const int&)Func();
r = 5;
}
r
是对类型 int
的临时引用。但是临时对象会立即被销毁,除非它们通常被分配给一个引用。上面的分配似乎不正常。在标准 C++ 中使用 r
安全吗?
最佳答案
简介: C 风格的转换等同于 (C++17 [expr.cast]):
int& r = const_cast<int&>( static_cast<const int&>(Func()) );
在子表达式 static_cast<const int&>(Func())
中该行为由 C++17 [expr.static.cast]/4 描述(其中 T
是要转换为的类型):
If
T
is a reference type, the effect is the same as performing the declaration and initializationT t(e);
for some invented temporary variablet
(11.6) and then using the temporary variable as the result of the conversion
在这种情况下 T
是const int&
, 所以引用的初始化类似于 const int& t(Func());
.
现在这段代码中有两个问题:
临时的类型是const int
(C++17 [dcl.init.ref]/5.2.1.2)。因此,您的代码通过修改 const 对象导致未定义的行为。 Link to other SO question on this topic
对于此答案的其余部分(解决生命周期问题),我假设您更改了 r = 5
一些只读为 r
的声明.
引用链接的行为随着 CWG 1299 的应用而改变.该缺陷于 2011 年 4 月提交,并于 2017 年 3 月解决。该解决方案未出现在 C++17 (N4659) 中;它只出现在 C++17 之后的草稿中。
该决议的状态为 DRWP,我的理解是这意味着它追溯适用于 C++17 但不适用于 C++14(如果有人想确认或更正这一点,那就太好了)。
无论如何,在某些情况下,此解决方案可以延长引用链的生命周期。写法是(N4762 class.temporary/6):
[...] The temporary object to which the reference is bound or the temporary object that is the complete object of a subobject to which the reference is bound persists for the lifetime of the reference if the glvalue to which the reference is bound was obtained through one of the following:
- [...]
- a
const_cast
,static_cast
,dynamic_cast
, orreinterpret_cast
converting, without a user-defined conversion, a glvalue operand that is one of these expressions to a glvalue that refers to the object designated by the operand, or to its complete object or a subobject thereof,
在 CWG1299 之前,本段仅适用于从纯右值初始化引用,但现在如果指定对象是临时对象,它可以适用于从任何表达式类别初始化引用的情况。
请注意,临时物化在 C++17 中的工作方式是,当物化发生时,纯右值被转换为一个缺值,而这个缺值就是上面粗体文本所指的泛左值。
现在甚至有一个例子可以证实这一点:
const int& b = static_cast<const int&>(0);
// temporary int has same lifetime as b
另一个已删除的答案中显示的编译器行为必须应用 CWG1299 的决议。
关于c++ - 将类型为 `int` 的临时对象转换为引用安全吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54736807/
我正在尝试使用 y 组合器在 Scala 中定义 gcd: object Main { def y[A,B]( f : (A => B) => A => B ) : A => B = f(y(f)
我正在尝试了解返回指向函数的指针的函数,在我尝试编译代码后,它给了我这种错误: cannot convert int (*(int))(int) to int (*(int))(int) in ass
所以我一直在关注 youtube 上的游戏编程教程,然后弹出了这段代码:bufferedImageObject.getRGB(int, int, int, int, int[], int, int);
我正在将时间现在 与存储在数据库某处的时间进行比较。数据库中存储的时间格式为“yyyyMMddHHmmss”。例如,数据库可能会为存储的时间值返回 201106203354。然后我使用一个函数将时间现
例如 Maze0.bmp (0,0) (319,239) 65 120 Maze0.bmp (0,0) (319,239) 65 120 (254,243,90) Maze0.bmp (0,0) (
评论 Steve Yegge的post关于 server-side Javascript开始讨论语言中类型系统的优点和这个 comment描述: ... examples from H-M style
我正在研究 C 的指针,从 Deitel 的书中我不明白 int(*function)(int,int) 和 int*function(int, int) 表示函数时。 最佳答案 C 中读取类型的经验
您好,我使用 weblogic 11g 创建 war 应用程序,我对 joda time 的方法有疑问 new DateTime(int, int, int, int, int, int); 这抛出了
Create a method called average that calculates the average of the numbers passed as parameters. The
var a11: Int = 0 var a12: Int = 0 var a21: Int = 0 var a22: Int = 0 var valueDeterminant = a11 * a12
我正在为一个项目设置 LED 阵列。我得到了一个 LED 阵列,可以根据引脚变化电压进行更改,但我无法添加更多引脚。 当我尝试时,编译失败并显示错误:函数“int getMode(int, int,
除了创建对列表执行简单操作的函数之外,我对 haskell 还是很陌生。我想创建一个列表,其中包含 Int 类型的内容, 和 Int -> Int -> Int 类型的函数. 这是我尝试过的: dat
这个问题已经有答案了: Java add buttons dynamically as an array [duplicate] (4 个回答) 已关闭 7 年前。 StackOverFlow问题今天
我有几个 EditText View ,我想在其中设置左侧的图像,而 setCompoundDrawablesWithIntrinsicBounds 似乎不起作用。图形似乎没有改变。 有人知道为什么会
#include using namespace std; int main() { static_assert(is_constructible, int(*)(int,int)>::val
fun sum(a: Int, b: Int) = a + b val x = 1.to(2) 我在找: sum.tupled(x),或者 sum(*x) 当然,以上都不能用 Kotlin 1.1.3
有一个函数: func (first: Int) -> Int -> Bool -> String { return ? } 返回值怎么写?我对上面 func 的返回类型感到很困惑。 最
type foo = A of int * int | B of (int * int) int * int 和 (int * int) 有什么区别?我看到的唯一区别在于模式匹配: let test_
我正在尝试制作一个 slider 游戏。在这个类中,我使用 Graphics 对象 g2 的 drawImage 方法来显示“拼图”的 block 。但在绘制类方法中,我收到此错误:找不到符号方法dr
我试着理解这个表达: static Func isOdd = i => (i & 1) == 1; 但是这是什么意思呢? 例如我有 i = 3。然后 (3 & 1) == 1 或 i = 4。然后
我是一名优秀的程序员,十分优秀!