相关疑难解决方法(0)

在Scott Schurr 在CppCon上的"介绍constexpr"演讲的最后,他问"有没有办法毒害一个功能"？然后他解释说,这可以通过以下方式完成(尽管以非标准方式):

1. 把一个throw在constexpr功能
2. 宣布未解决 extern const char*
3. 引用未解决extern的throw

我觉得我有点超出我的深度,但我很好奇:

• "毒害一个功能"是什么意思？
• 他概述的技术的意义/用途是什么？

显然,consteval它将成为C++ 20中的关键字.它的cppreference页面目前是空白的.它会是什么以及它与它有什么关系constexpr？

假设您有一个为您的应用程序生成一些安全性令牌的函数,例如一些哈希盐,或者可能是对称或非对称密钥.

现在假设您在C++中将此函数作为constexpr,并根据某些信息(例如,构建号,时间戳,其他内容)为构建生成密钥.

你是一个勤奋的程序员,确保并以适当的方式调用它,以确保它只在编译时被调用,因此死剥离器从最终的可执行文件中删除代码.

但是,您无法确定其他人是否会以不安全的方式调用它,或者编译器可能不会删除该功能,然后您的安全令牌算法将成为公共知识,使其成为公共知识更容易让攻击者猜测未来的令牌.

或者,除了安全性之外,假设该函数需要很长时间才能执行,并且您希望确保它在运行时期间永远不会发生,并且会给最终用户带来糟糕的用户体验.

有没有办法确保在运行时永远不会调用constexpr函数？或者,在运行时抛出一个断言或类似的东西就可以了,但不像编译错误那样明显.

我听说有一些方法涉及抛出一个不存在的异常类型,所以如果constexpr函数没有被删除,你会得到一个链接器错误,但是听说这只适用于某些编译器.

远程相关的问题:强制constexpr在编译时进行评估

我有什么保证可能包含 constexpr 函数调用的核心常量表达式（如在 [expr.const].2 中）将在编译时实际评估，这取决于哪些条件？

1. constexpr通过将计算移至翻译阶段（编译时），引入隐式承诺提高运行时性能。
2. 但是，该标准并没有（大概也不能）强制要求编译器生成什么代码。（参见 [expr.const] 和 [dcl.constexpr]）。

这两点似乎相互矛盾。

在什么情况下可以依靠编译器在编译时解析核心常量表达式（可能包含任意复杂的计算）而不是将其推迟到运行时？

至少在-O0gcc下似乎实际上发出代码并调用 constexpr 函数。在-O1最多不。

难道我们不得不求助于挂羊头卖狗肉，如这个，那个力量通过模板系统constexpr：

template <auto V>
struct compile_time_h { static constexpr auto value = V; };
template <auto V>
inline constexpr auto compile_time = compile_time_h<V>::value;

constexpr int f(int x) { return x; }

int main() {
  for (int x = 0; x < compile_time<f(42)>; ++x) {}
}