如何在常量评估表达式中获得编译时错误？

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：compiler-explorer

#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 的库，它可以做这样的事情。