使用googletest的EXPECT_NO_THROW和std :: array编译错误

16> foo = {1

2

3};

这些当然是多个参数,其中一个是类似函数的宏EXPECT_NO_THROW.

为了将多个预处理标记(包括,作为单个参数)传递给类函数宏,可以将这些标记括在括号中:

EXPECT_NO_THROW( (const std::array foo = {1, 2, 3};) );

但是,这不会编译:

该EXPECT_NO_THROW宏如下扩展:

#define GTEST_TEST_NO_THROW_(statement, fail) \
  GTEST_AMBIGUOUS_ELSE_BLOCKER_ \
  if (::testing::internal::AlwaysTrue()) { \
    try { \
      GTEST_SUPPRESS_UNREACHABLE_CODE_WARNING_BELOW_(statement); \
    } \
    catch (...) { \
      goto GTEST_CONCAT_TOKEN_(gtest_label_testnothrow_, __LINE__); \
    } \
  } else \
    GTEST_CONCAT_TOKEN_(gtest_label_testnothrow_, __LINE__): \
      fail("Expected: " #statement " doesn't throw an exception.\n" \
           "  Actual: it throws.")

无法访问的代码宏定义如下:

#define GTEST_SUPPRESS_UNREACHABLE_CODE_WARNING_BELOW_(statement) \
  if (::testing::internal::AlwaysTrue()) { statement; }

所以,如果你STMT在EXPECT_NO_THROW宏中放置一个语句,你最终会得到:

  if (::testing::internal::AlwaysTrue()) {
    try {
      if (::testing::internal::AlwaysTrue()) { STMT; };
    }
  // ...

因此,如果你把(STMT;)成EXPECT_NO_THROW,你结束了一个线

if (::testing::internal::AlwaysTrue()) { (STMT;); };

该部分(STMT;);不是合法的C++.也不是(STMT);如果这STMT是OP中的声明.

如果你({STMT;})进入宏,你最终将({STMT;});在C++中仍然是非法的,但它在g ++中被允许作为扩展; 这是一个表达式陈述.这里,该{STMT;}部分被解释为一个表达式,括在括号中以形成表达式({STMT;}).

您也可以尝试隔离逗号.正如Yakk在对OP的评论中指出的那样,你可以使用typedef隐藏模板参数列表中的逗号; 初始化列表中的剩余逗号可以使用临时包装,例如:

using array_t = std::array;
EXPECT_NO_THROW( const array_t foo = (array_t{1, 2, 3}); );

虽然原始版本EXPECT_NO_THROW(STMT)允许STMT作为声明,但C++中的语句不能随意括在括号中.然而,表达式可以任意地括在括号中,并且表达式可以用作语句.这就是为什么将语句作为表达式语句传递的原因.如果我们可以将数组声明表示为表达式,这将解决问题:

EXPECT_NO_THROW(( std::array{1, 2, 3} ));

注意这会创建一个临时数组; 这不是OP中的声明语句,而是单个表达式.

但是,创建我们想要测试的事物的表达式可能并不总是这么简单.但是,标准C++中有一个表达式可以包含语句:lambda表达式.

EXPECT_NO_THROW(( []{ const std::array foo = {1, 2, 3}; }() ));

请注意()在lambda之后,这对于在lamdba中实际执行语句很重要!忘记这是一个非常微妙的错误来源:(