C++ 强制非 constexpr 上下文

Question

我有使用 constexpr 说明符声明的函数，并且我已经测试过它们在编译时在单元测试中被评估。

现在我想在我的单元测试中使用 sanitizer 来发现更多问题。但是因为我的很多函数都是用 constexpr 指定的，所以我不确定该怎么做，因为如果在编译时对函数求值， sanitizer 是否无用？

有没有办法强制 constexpr 函数不在编译时求值。 或者您有其他一些建议。

Answer 1

Is there some way to force a constexpr function to be not evaluated a compile time [?]

如果您可以修改 constexpr 函数，添加一个未使用的参数，您可以强制运行时评估传递一个运行时值。

我的意思是...假设您有以下 constexpr 函数

constexpr int getVal ()
 { return 0; }

你可以按如下方式使用它

constexpr auto a = getVal();

auto b = getVal();

并且(忽略“原样”规则)您确定 getVal() 是计算编译时初始化 a 但您不知道它是否是计算编译时或运行时初始化b。

但是如果你修改函数如下

constexpr int getVal (int)
 { return 0; }

你可以写

   int c = 1;

   constexpr auto a = getVal(0);

   auto b = getVal(c);

现在您可以确信 getVal() 是计算编译时初始化 a(因为 a 是 constexpr 和 0 是一个字面量)并且它是计算运行时初始化 b (因为 c 不能在 constexpr 表达式)。

也可以验证写法

int c = 1;

constexpr auto a = getVal(c);

你得到一个编译错误，因为 a 必须在编译时初始化，但 getVal(c) 不能在编译时计算。