用动态消息断言？

Question

在我的程序中，我想使用显示错误消息的断言。除了众所周知的 C 和 C++ 解决方法之外，还有一个“真正的”解决方案，因为 BOOST 提供了BOOST_ASSERT_MSG( expr, msg )（另请参阅assert() with message）

但是静态消息对我来说还不够，我有时还想显示失败的变量，例如在这样的情况下

BOOST_ASSERT_MSG( length >= 0, "No positive length found! It is " << length )

如您所见，我想将消息“字符串”格式化为stringstream 或ostream，因为这样我可以轻松地显示自定义类型（假设我已经定义了相关的格式化函数）。

这里的问题是BOOST_ASSERT_MSG 默认需要char const *，所以这是不兼容的。

有没有办法重新定义/重载assertion_failed_msg()，使得使用流作为消息可以工作？怎么样？
（我的幼稚方法失败了，因为编译器首先想对消息本身进行operator<<("foo",bar)...）

Answer 1

如果您仅在 Windows 上工作，您可以查看 assert 宏。在引擎盖下它使用_wassert。您可以使用它编写自己的断言宏。例如，在我的情况下，如果我得到一些观点，我想在没有条件的情况下显示断言：

#ifdef DEBUG
    const std::wstring assert_msg = /* build the string here */;
    _wassert(assert_msg.c_str(), _CRT_WIDE(__FILE__), (unsigned)(__LINE__));
#endif

我认为在其他操作系统上您也可以使用相同的技巧，只需查看 assert 宏即可。

Answer 2

这是一个不依赖宏的解决方案。相反，它使用了一点点模板和 lambda 语法。

template<typename Fn> 
void assert_fn( bool expr, Fn fn) {
  if (!expr) {
    fn();
    abort();
  }
}

参数fn 可以是任何可调用的。
例如，您可以这样称呼它：

assert_fn( a==b, [&](){ cout << "Assertion failed: a="<< a << 
                                " is different from but b=" << b << endl; } ); 

优点是输出是您没有显式调用 abort 并且输出是完全可定制的。这个优势当然是 lambda 函数样板文件的七个额外字符：[&](){})

Answer 3

我使用 BOOST_ASSERT_MSG 和我自己的包装器，因此用多个 operator<< 指定断言消息似乎不那么复杂。

#if defined ASSERT_ENABLED 

    #define ASSERT(cond, msg) {\
        if(!(cond))\
        {\
            std::stringstream str;\
            str << msg;\
            BOOST_ASSERT_MSG(cond, str.str().c_str());\
        }\
    }
#else
    #define ASSERT(...) 
#endif

用法示例，提供自定义消息，就像您输出到cout：

  ASSERT(execSize == (_oldSize - remaining), "execSize : " << execSize << ", _oldSize : " << _oldSize << ", remaining : " << remaining);

它的作用是，如果定义了ASSERT_ENABLED，则启用断言消息。 if(!(cond)) 部分是优化，如果cond 是true，则避免了宏参数msg 指定的代价高昂的字符串操作

Answer 4

您可以定义自己的宏

#define ASSERT_WITH_MSG(cond, msg) do \
{ if (!(cond)) { std::ostringstream str; str << msg; std::cerr << str.str(); std::abort(); } \
} while(0)

Answer 5

实现这一点相对来说微不足道。

BOOST_ASSERT_MSG( length >= 0, (std::stringstream() << "No positive length found! It is " << length).str().c_str() )