为什么使用一个被认为是病态的无效概念 [英] Why the using of a noneffective concept regarded as ill-formed

问题描述

新发布的草案[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。

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

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

这篇关于为什么使用一个被认为是病态的无效概念的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！