4

我试图理解为什么在 ProcessHacker Code 中使用这种铸造风格。

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

使用“{}”进行强制转换有什么好处？它适用于 C 和 C++ 吗？

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

2 回答 2

13

这

&(ULONG){ HEAP_COMPATIBILITY_LFH },

不是铸造。它是一个复合字面量。它创建一个ULONG具有自动存储持续时间的类型的对象，并使用 value 对其进行初始化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++ 中没有复合文字这样的概念。

于 2021-03-06T09:36:19.210 回答
6

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

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

(TYPE){ InitVal }本质上等同于TYPE __someInternalNameXYZ = { InitVal } /*lifted above the expression where used*/; __someInternalNameXYZ /*use*/并且它与铸造不同。

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

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

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

于 2021-03-06T09:50:25.037 回答