C 宏 : get smallest type for an integer constant

Question

为什么我需要弄清楚文字的小类型(背景故事)

我编写了一组宏来创建和使用 fifos。宏允许在所有具有静态内存分配的系统(例如小型嵌入式系统)上进行通用但仍然非常快速的实现。 codereview 的人对 my implementation 没有任何重大担忧要么。

数据被放入匿名结构中，所有数据都通过该结构的标识符访问。目前创建这些结构的类似函数的宏看起来像这样

#define _fff_create(_type, _depth, _id)                 \
    struct {uint8_t read; uint8_t write; _type data[_depth];} _id = {0,0,{}}

#define _fff_create_deep(_type, _depth, _id)            \
    struct {uint16_t read; uint16_t write; _type data[_depth];} _id = {0,0,{}}

我在找什么

现在我想将这两个合并为一个宏。为此，我必须计算出 read 和 write 在编译时索引 _depth 元素数量所需的最小大小。以 _ 开头的参数名称表示可能仅传递文字或 #define 值，两者在编译时都是已知的。

因此我希望找到一个宏typeof_literal(arg)，它返回uint8_t if arg<256 or uint16_t else.

我尝试过的

1. 海湾合作委员会 4.9.2。提供一个名为 typeof() 的命令.但是，当与任何文字一起使用时，它会返回一个 int 类型，在我的系统上它是两个字节。
2. GCC 4.9.2 的另一个特性是 compound statement . typeof(({uint8_t u8 = 1; u8;})) 将正确返回 uint8_t。但是我想不出一种方法来为该 block 中的类型设置条件:
3. typeof(({uint8_t u8 = 1; uint16_t u16 = 1; input ? u8 : u16;})) 总是返回 uint16_t 因为类型提升?: 运算符
4. if(...) 也不能使用，因为任何命令都会在“较低” block 中发生
5. 宏不能包含 #if，这使得它们也无法用于此比较。

你不能就这样离开吗？

我意识到这个问题可能没有解决方案。那也没关系；当前的代码只是一个小的不便之处。但是我想知道是否有解决此问题的棘手方法。对此的解决方案通常可以为宏开辟新的可能性。如果您确定这不可能，请解释原因。

Answer 1

我认为您正在寻找的构建基 block 是 __builtin_choose_expr ，这很像三元运算符，但不会将其结果转换为通用类型。与

#define CHOICE(x) __builtin_choose_expr (x, (int) 1, (short) 2)

这个

printf ("%zu %zu\n", sizeof (CHOICE (0)), sizeof (CHOICE (1)));

将打印

2 4

正如预期的那样。

然而，正如 Greg Hewgill 指出的那样，C++ 对此有更好的设施(但它们仍然难以使用)。