C 的三元条件运算符是否创建了新范围？

Question

标题基本上说明了一切，但我特别想知道是否应该期望以下（稍微滥用）宏（使用 C99 或更高版本）工作，也就是说，它将返回一个指向有效部分的指针基于表达式大小的堆栈分配内存：

#include <stdint.h>

#define NASTY(expr) ( \
    8 == sizeof(expr) ? (void *)(&(uint64_t){(expr)}) : \
    ( \
        4 == sizeof(expr) ? (void *)(&(uint32_t){(expr)}) : \
        ( \
            2 == sizeof(expr) ? (void *)(&(uint16_t){(expr)}) : (void *)(&(uint8_t){(expr)}) \
        ) \
    ) \
)

编辑：

我对这样一个宏感兴趣的原因是 (1) 我是一个书呆子，并且 (2) 我正在为需要动态 memcpy 表达式结果的嵌入式应用程序编写一些代码生成宏（例如如x*y+z)。我们正在开发一个对能量敏感的应用程序，其中函数调用很重要。

Answer 1

我不知道您所说的“新范围”是什么意思——在 C 中，“范围”仅与标识符相关，与对象生命周期无关。根据 6.5.2.5 复合文字，

如果复合文字出现在函数体之外，则对象具有静态存储持续时间；否则，它具有与封闭块关联的自动存储持续时间。

因此，如果您在函数体中使用此宏，则指向对象的生命周期将持续到封闭块的执行结束。这可能会也可能不会满足您的需求；你可能会因为这样写而惹上麻烦：

if (foo) {
    p = NASTY(bar);
}
/* ... */
/* Do something with p */