如何在常量计算表达式中获取编译时错误?

Question

我有一个Assert函数，用于评估断言：

• 如果前提条件在运行时失败，此函数将输出错误消息并终止程序。

• 如果前提条件在常量表达式中失败，则会导致编译时错误。

我希望当断言在常量计算表达式中失败时，此函数也会生成编译时错误：

const int a = (Assert(false),0); //generate a runtime error 
//=> I would like it generates a compile time error

我想过使用std::is_constant_evaluated：编译器资源管理器

#include <type_traits>
using namespace std;
void runtime_error();
constexpr void compile_time_error(){} //should generates a compile time error
constexpr void Assert(bool value){
if (value) return;
if (is_constant_evaluated())
compile_time_error();
else
runtime_error();
}
void func(){
const int a = (Assert(false),0);
}

我只使用 GCC，我正在寻找一个会导致编译时错误的内置函数，这将是一个 constexpr 但没有找到。

有什么技巧可以在表达式中获取可以常量计算的编译时错误吗？

Answer 1

您可以调用未定义的任何函数来导致编译时错误。或者，由于您无论如何都在使用 gcc，因此您可以从常量部分内部调用属性错误函数，以在编译该单元期间导致编译时错误。要使其正常工作，您必须在启用优化的情况下进行编译。

我看到std::is_constant_expression它在 gcc 9.2 中不起作用，但我设法使用它来与__builtin_constant_p一起使用。

#include <type_traits>
constexpr void Assert(bool value) {
if (__builtin_constant_p(value)) {
if (!value) {
extern __attribute__(( __error__ ( "error" ) ))
void compile_time_error(void);
compile_time_error();
}
} else {
if (!value) {
void runtime_error();
runtime_error();
}
}
}
void func(int b) {
const int a = (Assert(false), 0);
Assert(b == 0);
}

我曾经用C写过一个我称之为curb的库，它可以做这样的事情。