在 C++20 中实现无需预处理器的断言

Question

C++ 知道 assert()，它允许运行时检查编译为依赖于 NDEBUG 的任何内容。

我想使用编译器代码替换该宏并避免使用预处理器。我需要执行以下操作：

• 如果表达式计算结果为false，则中断或终止
• 记录调用断言的代码行
• 放弃NDEBUG 构建的检查和传递的表达式

中断/终止应用程序很容易。

在 C++20 中有 std::experimental::source_location，我可以使用它来获取断言的代码位置。

可以使用requires 或constexpr if 完成编译时条件

但是我不知道如何避免表达式的评估。当将myAssert(expression) 实现为函数时，我需要将表达式结果作为函数参数传递，这意味着它无论如何都会被计算，即使该参数没有在函数内部使用。

有没有办法在 C++20 中解决这个问题？

编辑：模板示例：

template <typename T> requires (gDebug)
void assertTrue(const T& pResult, const std::experimental::source_location& pLocation) noexcept
{
   if (!static_cast<bool>(pResult))
   {
      // error handling
   }
}

template <typename T> requires (!gDebug)
void assertTrue(const T&) noexcept
{
}

Answer 1

我想您是在谈论禁用调试并且希望该功能成为 noop 的情况。我看到 2 个选项：

您可以使用宏。宏可能会被滥用，但它们有自己的位置，并且“传递表达式”而不评估它是宏的一种情况。

或者，传递一个可调用的对象，该可调用对象返回您要为其断言的结果。只在gDebug == True时调用：

template <typename F> requires (gDebug)
void assertTrue(const F& f, const std::experimental::source_location& pLocation) noexcept
{
   if (!static_cast<bool>(f()))
   {
      // error handling
   }
}

虽然这会使调用变得相当冗长。例如一个总是失败的：

assertTrue( [](){ return false; });