用于获取数组和结构的 (void*) 项目地址和长度的宏

Question

我正在尝试设计一个宏来生成与需要初始化的事物相关的几个相关数据结构。代码必须在 C 和 C++ 下编译。我们的目标是：

MUNGE_THING(struct1); MUNGE_THING(array1);

变成等价的东西

munge_thing((void*)&struct1, sizeof(struct1)); munge_thing((void*)array1, sizeof(array1));

是否有任何句法的东西我可以围绕宏参数，以便它在获取地址和获取大小时都能正确处理数组和结构？最可能的上下文将在初始化列表的常量声明中。

如果这是不可能的，并且必须为结构和数组使用单独的宏，那么确保错误传递某些内容会产生编译错误而不是伪造代码的最佳语法是什么？

在“旧”C 中，在数组地址前加上“&”会产生警告，但不会阻止编译。在 C++ 中，它似乎产生了存储数组地址的位置的地址。

MUNGE_THING 宏将位于另一个宏中，该宏将使用不同的 MUNGE_THING 定义多次调用，因此为数组和结构设置单独的宏会令人厌烦。我能想到的最好的方法是给 MUNGE_THING 一个额外的参数来表示“可选”＆符号，但这似乎很难看。

Answer 1

如果数组实际上是一个数组（这似乎是sizeof 工作所必需的），为什么不使用简单的宏：

#define MUNGE_THING( x ) munge_thing((void*)&(x), sizeof(x))

这应该适用于数组和结构：

int array[10];
assert( (void*)array == (void*)&array );

您已将问题标记为 C 和 C++，在 C++ 中，您可以同时使用模板并避免使用宏。

Answer 2

我不确定您对&array1 有什么问题。这个 C++ 完全按预期工作（所有值都相同）

int main(int argc, char* argv[])
{
    int array1[10];

    printf("%x %x\n", array1, &array1);
    cout << array1 << " " << &array1 << endl;

    void* ptr1 = array1;
    void* ptr2 = &array1;

    printf("%x %x\n", ptr1, ptr2);
    cout << ptr1 << " " << ptr2 << endl;
    return 0;
}

Answer 3

好吧，我明白我的困惑了。在 C++ 中，&array 的类型与数组的类型不兼容，并且正如链接的讨论所指出的， (&array)+1 与 (array+1) 不同，但强制转换未下标的指针实际上会产生适当的结果。 C 中数组和指针之间的区别非常令人困惑。感谢您的帮助。