计算总 sizeof 参数的 C 函数

Question

我目前正在寻找计算传递给函数的参数的总大小(以字节为单位)。理论上，一个人可以写出sizeof(x)对于每一个论点。但是，如果要为很多功能执行此操作，那将是极大的时间浪费。我正在尝试计算参数的空间量，以便我可以分配适当的内存量来存储它们并存储它们(用于各种函数，混合类型)。

我正在寻找一个表达式来确定非可变函数的所有参数的大小，而不管它们的名称和数量(在合理范围内，我可以只支持大约 64 个现在的论点)。它可以是一个函数，一个预处理器宏，我对实现一无所知。我也有兴趣处理可变参数函数，但我很确定这是不可能的，因为当您使用可变参数函数时，您已经丢失了有关数据类型的所有信息。

目前，我发现了三种可能被扭曲来让我做到这一点的方法。第一个基于 Laurent Deniau's arg counting 中的概念.理论上，我可以使用一个宏来生成函数头，并做一些类似的花哨步法来获取参数的数量并分派(dispatch)给各种宏来处理每个有 N 个参数的个别情况。 (参见:丑陋)。基本上，我只是使用宏为所有函数名称添加别名，然后对它们中的每一个使用 sizeof。问题是，我需要为我想要表示的每个参数长度制作一个宏。而且我真的不喜欢做 64 件(或更多)东西来完成一项工作。

第二种方法是尝试遵循Ben Klemer's 'better variadic' stuff的方法。 .我不会使用他的所有方法，但我会尝试生成一个结构，该结构将函数的 arg 签名表示为结构。然后我可以尝试获取结构元素的大小(或者甚至结构本身，如果我只关心对空间的保守估计)。这有几个问题。首先，它可能只适用于 C99 兼容的东西(仍在检查)。其次，它导致为每个实现的功能创建一个额外的结构。这不完全是个问题，但它仍然存在一个问题，即他制作结构的方法最终与函数具有相同的名称(因此您仍然需要引用名称才能使用它们)。不过，我或许可以解决这个问题。

第三种可能的方法是递归宏，尽管我不确定这会让编译器有多高兴。理论上可以通过调用 POPPER(arg, ...) POPPER(<strong>VA_ARGS</strong>) + sizeof(arg) 形式的宏递归地从 VA_ARGS 中弹出元素。 .显然，当 VA_ARG 为空时它需要一个停止规则(以及确保您不会被 float + 号捕获的东西)，但您明白了。

这些事情中的任何一件都可以让我这样做:

1. 从可变参数宏中解压 VA_ARGS 的好方法是灵活的。如果有任何方法可以对其进行索引
2. 递归宏的一个很好的例子，可以依赖它来执行此操作(以及它在最大参数数量、编译器兼容性、标准合规性等方面的限制)。
3. 一种通过不同类型的函数检查直接获取所有参数总大小的方法。 GCC 似乎有一些 crazy用于构造可能适用的调用转移的函数调用的函数，但这些函数是特定于编译器的，几乎没有记录，并且似乎没有报告它们分配的内存块的大小。他们还会报告大量不相关的信息。

Answer 1

您需要一个允许在可变列表的每个元素上扩展另一个宏的 FOREACH 宏。这通过为每个感兴趣的列表长度定义变体来实现:

#define _NUM_ARGS(X100, X99, X98, X97, X96, X95, X94, X93, X92, X91, X90, X89, X88, X87, X86, X85, X84, X83, X82, X81, X80, X79, X78, X77, X76, X75, X74, X73, X72, X71, X70, X69, X68, X67, X66, X65, X64, X63, X62, X61, X60, X59, X58, X57, X56, X55, X54, X53, X52, X51, X50, X49, X48, X47, X46, X45, X44, X43, X42, X41, X40, X39, X38, X37, X36, X35, X34, X33, X32, X31, X30, X29, X28, X27, X26, X25, X24, X23, X22, X21, X20, X19, X18, X17, X16, X15, X14, X13, X12, X11, X10, X9, X8, X7, X6, X5, X4, X3, X2, X1, N, ...)   N
#define NUM_ARGS(...) _NUM_ARGS(__VA_ARGS__, 100, 99, 98, 97, 96, 95, 94, 93, 92, 91, 90, 89, 88, 87, 86, 85, 84, 83, 82, 81, 80, 79, 78, 77, 76, 75, 74, 73, 72, 71, 70, 69, 68, 67, 66, 65, 64, 63, 62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1)
#define EXPAND(X)             X
#define FIRSTARG(X, ...)      (X)
#define RESTARGS(X, ...)      (__VA_ARGS__)
#define FOREACH(MACRO, LIST)  FOREACH_(NUM_ARGS LIST, MACRO, LIST)
#define FOREACH_(N, M, LIST)  FOREACH__(N, M, LIST)
#define FOREACH__(N, M, LIST) FOREACH_##N(M, LIST)
#define FOREACH_1(M, LIST)    M LIST
#define FOREACH_2(M, LIST)    EXPAND(M FIRSTARG LIST) FOREACH_1(M, RESTARGS LIST)
#define FOREACH_3(M, LIST)    EXPAND(M FIRSTARG LIST) FOREACH_2(M, RESTARGS LIST)
        :

一旦你有了它，你就可以编写一个宏来获取它的 arg 的大小并将它们链接在一起以添加它们:

#define SUM_SIZEOF(X)  +sizeof(X)
size_t size = FOREACH(SUM_SIZEOF, (int, int, double, float));