如何将断言宏实现为方法？

Question

我想将断言宏实现为 C++ 中的方法，例如 .NET Framewrk。

例如，在 C# 中，我们可以像这样调用断言方法：

Debug.Assert(index > -1);

我想实现这样的断言：

#include <assert.h>
class debug
{
  public:

    static void my_asset(<condition>) // like assert macro
    {
      // ?
    }
};

使用此类时：

debug::my_asset(index > -1); // Actually should be called assert(index > -1);

谢谢

编辑：

我想在调用 debug::my_asset(index >) 时; -1);，它显示正确的文件名和行号，其工作方式类似于C++资源宏。

Answer 1

断言 assert（在 或 中）有几个令人感兴趣的功能

• ：正在编译发布版本，根本不评估断言测试。
• 断言失败时打印的错误消息可以告诉您断言失败的文件和行号，
• 它还可以告诉您失败的确切代码。

如果不使用宏，则无法在 C++ 中执行这些操作。

Answer 2

获取行号、文件和文本版本的唯一方法是通过宏。然而：

#include <assert.h>
class debug
{
public:
    static void my_assert(bool passed, const char* assert, const char* file, long line)
    {
        if (passed == false)
            std::cout<<"failed assert "<<assert<<" in "<<file<<" at "<<line<<".\n";
    }
#ifdef NDEBUG
    #define myassert(x) my_assert(true, "", "", 0)
#else 
    #define myassert(x) my_assert(x, #x , __FILE__, __LINE__ )
#endif
};


int main() {
    debug::myassert(sizeof(int)==4);
    return 0,
}

这段代码的工作方式很奇怪。第一个 x 是断言表达式本身，计算结果为 true 或 false，以告诉 my_assert 要做什么。 #x 是一个神奇的预处理器命令，它生成 x 的 char* 版本，以便我们可以显示它。 __FILE__ 替换为文件名，__LINE__ 替换为行号。 （由于它是一个宏，因此它与调用函数具有相同的行号）。

当您输入 debug::myassert(sizeof(int)==4); 时，预处理器会说“我知道 myassert(whatever) 是什么！”并替换它。因此它将全部替换为： debug::my_assert(sizeof(int)==4, "sizeof(int)==4", "main.cpp", 27);，这是有效的代码行。因此，例如，如果 sizeof(int) 为 8（在某些机器上），则第一个参数为 false，并且该行显示“failed assert sizeof(int)==4 in main.cpp” 27岁。”

Answer 3

static void my_asset(bool cond) // like assert macro
{
  ::assert(cond);
}

不起作用？

Answer 4

你可以

void debug::my_assert(bool cond) {
    ASSERT(cond);
}

这样做，因为当断言失败时它会导致异常。

它比宏的帮助要小一些，因为 my_assert 无法看到失败的条件是什么——你会得到一个断言失败，但没有有用的解释（尽管你会得到准确的堆栈跟踪）在调试器中）。

另请参阅 Ken 的为什么宏更有帮助的原因。