c宏，数组定义作为参数

Question

我有这个方法

foo_l(int *array, size_t l)
{
    /*
    code
    */
}

我写了这个宏

#define foo(X) foo_l(X,sizeof(X)/sizeof(int))

所以我可以如下使用它们

int main()
{
    int a[]={1,2,3};
    foo(a);
    return 0;
}

并且避免每次都写入数组的长度。

我的问题是，我可以扩展我的宏以便它可以处理类似的事情

foo_l((int[]){1,2,3}, 3);

在函数参数字段中声明了一个数组？

因为foo((int[]){1,2,3}) 不起作用！我认为问题在于宏将(int[]){1,2,3} 视为参数列表而不是唯一参数。有什么想法吗？

附：我对宏观世界很陌生，我通常使用 c99。

Answer 1

当被传递给预处理器时，宏 foo((int[]){1,2,3}) 失败，因为预处理器认为它提供了 3 个参数而不是 1 个：

foo((int[]){1,2,3});
// is believed to be:
// Start of macro: foo(
// Parameter 1:    (int[]){1, 
// Parameter 2:    2, 
// Parameter 3:    3}
// End of macro:   );

所以它不会编译并给出如下内容：

a.c: In function ‘main’:
a.c:15:23: error: macro "foo" passed 3 arguments, but takes just 1
     foo((int[]){1,2,3});

添加另一对括号即可解决问题：

// This shall work
foo(((int[]){1,2,3}));

已编辑：

是的，我想这可能不是一个好的设计，因为像普通程序员这样的人可能很可能将指针而不是数组类型传递给您的宏 foo，并且正如 @DwayneTowell 指出的那样它会失败。 请注意这一点。 :)

Answer 2

您的建议不是一个好主意，因为在以下情况下它会失败：

int a[] = {1,2,3,4};
int *b = a;
foo(b);        // becomes foo_l(b,sizeof(b)/(sizeof(int));
               // probably becomes foo_l(b,1)

通常，如果第一个参数是指向数组的指针而不是数组本身，则 size 参数会出错。通常，当 sizeof(int *)==sizeof(int) 时，表达式的计算结果为 1，这是很常见但标准要求的。