在 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 的对象，具有自动存储持续时间，并使用值 HEAP_COMPATIBILITY_LFH 对其进行初始化。然后取对象的地址。

这是一个演示程序。

#include <stdio.h>

int main(void) 
{
    unsigned long *p = &( unsigned long ){ 10ul };
    
    printf( "%lu\n",*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++ 中没有复合字面量这样的概念。

,

(ULONG){ HEAP_COMPATIBILITY_LFH } 在 C 中是对象字面量初始化。

它本质上创建一个匿名自动（auto，在堆栈上）或静态（如果在文件范围复合文字中使用）并初始化它。

(TYPE){ InitVal } 本质上等同于 TYPE __someInternalNameXYZ = { InitVal } /*lifted above the expression where used*/; __someInternalNameXYZ /*use*/ 并且它在多种方式上与强制转换不同。

1. 强制转换仅适用于标量（指针和数字），而复合文字适用于任何类型
2. Casting 产生rvalues（不能获取它们的地址）而复合文字是lvalues（可以使用一元&）。
3. 强制转换是个大锤子：它很乐意将指针重新解释为数字，反之亦然，而复合文字初始化更温和，因为它遵守更严格的初始化/赋值规则(https://port70.net/~nsz/c/c11/n1570.html#6.5.16.1)
4. Casting 将产生整数常量表达式（可用于 switch cases、位域宽度或数组大小）如果转换的值是一个整数常量开始但复合字面初始化永远不会。

复合文字是 C99 的特性。它们在 C++ AFAIK 中不存在。

在 C 中，有时可以使用复合字面量初始化来获得 C++ 的 static_cast 的更温和的转换效果。