在 C 语言中使用“{}”进行强制转换有什么好处？

Question

我试图理解为什么在 ProcessHacker 代码中使用这种转换风格。

 RtlSetHeapInformation(
            PhHeapHandle,
            HeapCompatibilityInformation,
            &(ULONG){ HEAP_COMPATIBILITY_LFH }, // HEAP_COMPATIBILITY_LFH = 2UL 
            sizeof(ULONG)
            );

使用“{}”进行强制转换有什么好处？它可以在 C 和 C++ 中使用吗？

&(ULONG){ HEAP_COMPATIBILITY_LFH }, // HEAP_COMPATIBILITY_LFH = 2UL 

Answer 1

这个

&(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++ 中没有复合字面量这样的概念。

Answer 2

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

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

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

1. 铸造只适用于标量（指针和数字），而复合字面量适用于任何类型
2. Casting 产生 rvalues （不能获取它们的地址）而 compound literals 是 lvalues （可以使用一元 @987654327 @他们）。
3. 铸造是大锤：它会很乐意将指针重新解释为数字，反之亦然，而复合文字初始化更温和，因为它遵守更严格的初始化/赋值规则（@987654321 @)
4. 转换 如果转换的值是一个整数常量，但复合字面量初始化从不这样做，则转换将产生整数常量表达式（可用于switchcases、位域宽度或数组大小）。李>

复合文字是 C99 的一项功能。它们在 C++ AFAIK 中不存在。

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