Question

鉴于this test program：

#include <cassert>
#include <string>
#include <type_traits>

const std::string& const_string = "bla";
std::string const & string_const = "blabla";

static_assert(std::is_same<decltype(const_string), decltype(string_const)>::value, "Uhoh");

int main()
{
    assert(std::is_same<decltype(const_string), decltype(string_const)>::value);
}

其中断言两种类型在编译时和使用C＆＃39断言的运行时是相同的。所有Clang，MSVC2015和GCC都报告了同样的错误，所以我非常确定it's me：

main.cpp:13:49: error: too many arguments provided to function-like macro invocation
    assert(std::is_same<decltype(const_string), decltype(string_const)>::value);
                                                ^
/usr/include/assert.h:91:10: note: macro 'assert' defined here
# define assert(expr)                                                   \
         ^

我在assert中没有看到两个参数。更重要的是，static_assert工作得很好......那么这里发生了什么？

Answer 1

C预处理器无法识别C ++模板语法，因此预处理器不会将模板括号<和>视为分组标记，它们被视为简单字符。

这意味着预处理器将模板参数之间的逗号视为宏参数分隔符，如下所示：

assert(
    std::is_same<decltype(const_string),
    decltype(string_const)>::value);

要强制预处理器将表达式视为单个语句，只需将assert参数包装在另一组括号中：

assert((std::is_same<decltype(const_string), decltype(string_const)>::value));

static_assert没有此限制，因为它是C++ keyword，而不是assert()之类的预处理器宏。这意味着它完全支持C ++语法并正确查看模板参数。

Answer 2

这是因为<和>令牌。他们弄乱了预处理器。请记住，assert是一个宏，而不是一个函数。

这样做（添加一组额外的括号）：

assert((std::is_same<decltype(const_string), decltype(string_const)>::value));
       ^                                                                   ^

为什么这个＆＃34;打电话＆＃34;断言看到两个参数而不只是一个？

2 个答案: