在C语言中使用“{}”进行转换有什么好处?
我试图理解为什么在 ProcessHacker 代码中使用这种铸造风格。
RtlSetHeapInformation(
PhHeapHandle,
HeapCompatibilityInformation,
&(ULONG){ HEAP_COMPATIBILITY_LFH }, // HEAP_COMPATIBILITY_LFH = 2UL
sizeof(ULONG)
);
使用“{}”进行转换有什么好处?它适用于 C 和 C++ 吗?
&(ULONG){ HEAP_COMPATIBILITY_LFH }, // HEAP_COMPATIBILITY_LFH = 2UL
回答
这个
&(ULONG){ HEAP_COMPATIBILITY_LFH },
不是铸造。它是一个复合字面量。它创建一个ULONG
具有自动存储持续时间的类型的对象,并使用 value 对其进行初始化HEAP_COMPATIBILITY_LFH
。然后获取对象的地址。
这是一个演示程序。
#include <stdio.h>
int main(void)
{
unsigned long *p = &( unsigned long ){ 10ul };
printf( "%lun", *p );
return 0;
}
程序输出是
10
来自 C 标准(6.5.2.5 复合文字)
3 由带括号的类型名称后跟花括号括起来的初始值设定项列表组成的后缀表达式是复合字面量。它提供了一个未命名的对象,其值由初始化列表给出。
您可以通过以下方式想象复合字面量的定义。
例如,您可以使用花括号列表初始化标量变量,如
unsigned long x = { 10ul };
但是复合文字没有名称。所以这个构造
( unsigned long ){ 10ul }
事实上看起来像
unsigned long unnamed_literal = { 10ul };
^ ^
| |
( unsigned long ) { 10ul }
请注意,在 C++ 中没有复合字面量这样的概念。
- Worth mentioning that this is not valid in C++
回答
(ULONG){ HEAP_COMPATIBILITY_LFH }
在 C 中是对象字面量初始化。
它本质上创建一个匿名的自动(auto
, 在堆栈上)或静态(如果在文件范围复合文字中使用)并初始化它。
(TYPE){ InitVal }
本质上等同于TYPE __someInternalNameXYZ = { InitVal } /*lifted above the expression where used*/; __someInternalNameXYZ /*use*/
并且在多种方式上不同于铸造。
- 强制转换仅适用于标量(指针和数字),而复合文字适用于任何类型
- 转换产生右值(不能获取它们的地址),而复合文字是左值(可以
&
对它们使用一元)。 - 铸造是个大锤子:它会很高兴地将指针重新解释为数字,反之亦然,而复合文字初始化更温和,因为它遵守更严格的初始化/赋值规则(https://port70.net/~nsz/c/c11/n1570 .html#6.5.16.1 )
switch
case
如果转换的值是一个整数常量开始,但复合文字初始化永远不会,则转换将产生整数常量表达式(可用于s、位域宽度或数组大小)。
复合文字是 C99 的特性。它们在 C++ AFAIK 中不存在。
在 C 中,有时可以使用复合字面量初始化来获得 C++ 的更温和的转换效果static_cast
。