在 Xcode [c++] 中的 assert (assert.h) 中定义 lambda 时，为类似函数的宏调用提供了太多参数编译错误

Question

我正在使用 assert.h 中的断言宏 我已经定义了 lambda 来执行断言检查。

int val1 = 0;
int val2 = 1;

const auto check = [val1,val2]()-> bool
{
    return val1 < val2;
};
// no error for this call
assert(check() && "Test is failed");

// no error for this call
assert([=]()-> bool
       {
           return val1 < val2;
       }() && "Test is failed");

//compile error for this call "too many arguments provided to function-like macro invocation"
assert([val1,val2]()-> bool
       {
           return val1 < val2;
       }() && "Test is failed");

我为什么会得到

提供给类函数宏调用的参数过多

当我使用断言宏并在捕获列表中定义具有多个参数的 lambda 时编译错误？

Answer 1

问题是捕获列表中的逗号。

预处理器对 C++ 语法的理解极其有限，它主要进行琐碎的文本替换。如果逗号不在匹配的内括号之间（当然也不是像字符串文字那样的标记的一部分），预处理器会将其视为宏调用的参数分隔符。

因此预处理器认为您正在调用带有两个参数 [this 的断言以及第一个逗号后面的其余内容，这会产生错误。

您可以通过使用一组额外的括号来修复此错误：

int i = -7, j = 7;
assert(([i,j](){return i + j;}()));

---

对于标准爱好者：

由最外面的匹配括号包围的预处理标记序列形成了 类函数宏的参数。 列表中的各个参数用逗号分隔 预处理标记，但匹配的内括号之间的逗号预处理标记不分开 参数。 如果参数列表中有预处理标记序列，否则 充当预处理指令，155 行为未定义。

N4140 中的 16.3/11，强调我的。

Answer 2

预处理器非常简单，它将所有逗号视为参数分隔符。

因此，如果您将带有逗号的任何内容作为参数传递给宏，则不能使用宏。