什么是标准调用实际上是宏

Question

我向here 提出了一个关于assert 的问题，该问题在标准中作为宏而不是函数实现。

这给我带来了一个问题，因为assert 似乎是一个函数，它采用参数的方式：assert(true) 因此我尝试将它用作：std::assert(true)，当然是一个宏没用。

我的问题是：标准库提供的其他宏是否会显示为带参数的函数？

Answer 1

如果我们查看 [标题] 第 5 和第 6 段，我们有

在 C 中定义为宏的名称应在 C++ 标准库中定义为宏，即使 C 授予作为函数实现的许可。 [ 注意：在 C 中定义为宏的名称包括：assert、offsetof、setjmp、va_arg、va_end 和 va_start。 ——尾注]

在 C 中定义为函数的名称应在 C++ 标准库中定义为函数。

所以，如果它在 C 中定义为宏，那么它将是 C++ 中的宏。不过有几个例外。来自 [support.runtime] 第 7 和 8 段

标头<cstdalign>和标头<stdalign.h>不得定义名为alignas的宏。

标头<cstdbool>和标头<stdbool.h>不得定义名为bool、true或false的宏。

尽管 [headers]/7 也涵盖了这些异常

在 C++ 中作为关键字或运算符的标识符不应在 C++ 标准库头文件中定义为宏。

还有一个例外，即在 7.12.3 分类宏中定义的所有分类宏都被每个 [c.math]/10 的函数重载

分类/比较函数的行为与 C 宏的行为相同，相应名称在 7.12.3，分类宏和 7.12.14，C 标准中的比较宏中定义。每个函数都为三种浮点类型重载，如下：

int fpclassify(float x);
bool isfinite(float x);
bool isinf(float x);
bool isnan(float x);
bool isnormal(float x);
bool signbit(float x);
bool isgreater(float x, float y);
bool isgreaterequal(float x, float y);
bool isless(float x, float y);
bool islessequal(float x, float y);
bool islessgreater(float x, float y);
bool isunordered(float x, float y);
int fpclassify(double x);
bool isfinite(double x);
bool isinf(double x);
bool isnan(double x);
bool isnormal(double x);
bool signbit(double x);
bool isgreater(double x, double y);
bool isgreaterequal(double x, double y);
bool isless(double x, double y);
bool islessequal(double x, double y);
bool islessgreater(double x, double y);
bool isunordered(double x, double y);
int fpclassify(long double x);
bool isfinite(long double x);
bool isinf(long double x);
bool isnan(long double x);
bool isnormal(long double x);
bool signbit(long double x);
bool isgreater(long double x, long double y);
bool isgreaterequal(long double x, long double y);
bool isless(long double x, long double y);
bool islessequal(long double x, long double y);
bool islessgreater(long double x, long double y);
bool isunordered(long double x, long double y);