为什么使用一个被认为是病态的无效概念

新发布的草案[expr.prim.req]/6中提到：

如果将模板参数替换为要求将 总是导致替换失败，程序格式错误；否 需要诊断。[ ；示例：

template<typename T> concept C =
requires {
  new int[-(int)sizeof(T)];     // ill-formed, no diagnostic required
};

&mdash； ；end ；example ；]

但为什么我们不能保证诊断始终失败，而是跳过诊断？

---

解决方案

需求表达式几乎可以做任何事情。它们可以引发进一步的模板替换，通过任意数量的代码向外层叠。记住，模板替换构成了Turning complete language。

所以你要求编译器，给出一个图灵完整的程序，证明是否有一些输入导致该程序结构良好。这只是对停顿问题的重述。就像停止问题一样，在一些简单的情况下，程序显然会停止/不会停止。但是，当您处理图灵完全语言时，它可能会变得非常复杂。

该标准不会强制编译器解决暂停问题。