如何使"static_assert"打印失败时获得的值?

How to make the `static_assert` print the value it got on failure?

本文关键字：quot assert static 何使 打印 失败      更新时间：2023-10-16

运行这个：

#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
template< int PathLength >
constexpr const int startfindlastslash(const char (&path)[PathLength]) {
return PathLength;
}
int main(int argc, char const *argv[])
{
STATIC_ASSERT( startfindlastslash( "cppdebugger/test_debugger.cpp" ) == 11 );
}

你得到了：

  1. g++ -o main.exe --std=c++14 test_debugger.cpp

    test_debugger.cpp: In function ‘int main(int, const char**)’:
test_debugger.cpp:1:28: error: static assertion failed: startfindlastslash( "cppdebugger/test_debugger.cpp" ) == 11
#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
^
test_debugger.cpp:10:5: note: in expansion of macro ‘STATIC_ASSERT’
STATIC_ASSERT( startfindlastslash( "cppdebugger/test_debugger.cpp" ) == 11 );
^~~~~~~~~~~~~

  2. clang++ -Xclang -ast-print -fsyntax-only --std=c++14 test_debugger.cpp > main.exe

    test_debugger.cpp:10:5: error: static_assert failed due to requirement 'startfindlastslash("cppdebugger/test_debugger.cpp") == 11' "startfindlastslash(
"cppdebugger/test_debugger.cpp" ) == 11"
STATIC_ASSERT( startfindlastslash( "cppdebugger/test_debugger.cpp" ) == 11 );
^              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test_debugger.cpp:1:28: note: expanded from macro 'STATIC_ASSERT'
#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
^             ~~~~~~~~~~~
1 error generated.

编译器不会告诉哪个是它应该获得的值，它只说值不相等。

我经常发现将static_asserts包装在函数模板中很有用。然后编译器将至少在错误消息中打印函数模板参数。如果将此策略与@Phil1970的价值模板方法相结合，您将获得相当不错的结果。

使用 GCC 编译时，以下代码片段会打印包含值的错误消息：In instantiation of 'constexpr void assert_equal(const_val<T, A>, const_val<U, B>) [with T = int; T A = 30; U = int; U B = 11]'

叮当更好：<source>:13:5: error: static_assert failed due to requirement '30 == 11' "Values are not equal!".

#define MAKE_CONST(x) const_val<decltype(x), x>{}
#define STATIC_ASSERT_EQUAL(x, y) assert_equal(MAKE_CONST(x), MAKE_CONST(y));
template<typename T, T val>
struct const_val {
constexpr const_val() = default;
constexpr const_val(T v) {}
};
template<typename T, T A, typename U, U B>
constexpr void assert_equal(const_val<T, A>, const_val<U, B>) {
static_assert(A == B, "Values are not equal!");
}
template< int PathLength >
constexpr const int startfindlastslash(const char (&path)[PathLength]) {
return PathLength;
}
int main(int argc, char const *argv[])
{
STATIC_ASSERT_EQUAL(startfindlastslash( "cppdebugger/test_debugger.cpp" ), 11);
}

它不完全是您使用的语法，为了方便起见，它涉及一个额外的宏，但希望它足以满足您的目的......

实时代码在这里。

[ 这不是"如何使static_assert打印值"的真正答案，而是解释为什么 OP 会得到他的行为。

在 c++17 之前，static_assert采用两个参数。

第一个是要计算的表达式，第二个是在表达式未计算为 true 时要打印的消息。

当您定义STATIC_ASSERT宏时，您正在static_assert提供您想要打印的消息 - 它正在为您打印该消息。

相关文章：