一个断言宏，在可能的情况下扩展为static_assert

An assert macro which expands to static_assert when possible?

本文关键字：情况下 扩展 assert static 一个 断言      更新时间：2023-10-16

我有一些通用代码，需要对成员函数的结果运行断言。此成员函数可能是constexpr，也可能不是。

template<typename T>
void foo(T t) {
  assert(t.member_function() == 10);
}

因为t.member_function()可能是一个常量表达式，我想知道在这种情况下是否有可能被视为static_assert，但在其他情况下默认为正常的assert。这可能吗？

这是一个有点疯狂的解决方案。

取消对Const c; foo(c);行的注释，您将看到它不会编译。这是编译时断言。

它需要可变长度的数组，也许还有其他编译器特有的东西。我是g++-4.6。

数组的大小为0或-1，具体取决于成员函数是否返回10。因此，如果这可以在编译时计算，那么编译就会意识到它是一个非可变长度的数组，并且它的大小为负。底片尺寸让它可以抱怨。否则，它就变成了传统的断言。

请注意：在运行时断言失败后，我得到了一些运行时版本的核心转储。也许它不喜欢尝试free一个负大小的数组。更新：我得到了任何断言失败的核心转储，甚至是int main() {assert (1==2);}。这正常吗

#include <iostream>
#include <cassert>
using namespace std;
struct Const {
        constexpr int member_function() { return 9; }
};
struct Runtime {
                  int member_function() { return 9; }
};
template<typename T>
void foo(T t) {
        if(0) {  // so it doesn't actually run any code to malloc/free the vla
            int z[(t.member_function()==10)-1]; // fails at compile-time if necessary
        }
        assert(t.member_function()==10);
}

int main() {
        //Const c; foo(c);
        Runtime r; foo(r);
}
相关文章：