代码之家 › 专栏 › 技术社区 › con ko

为什么使用一个被视为不正确的无效概念

c++

con ko · 技术社区 · 5 年前

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

如果将模板参数替换为要求将总是导致替换失败,程序格式不正确;不需要诊断。[ 例子:
template<typename T> concept C =
requires {
  new int[-(int)sizeof(T)];     // ill-formed, no diagnostic required
};
— 示例 ]

但是为什么我们不能保证诊断总是失败,而不是跳过诊断呢?

0 回复 | 直到 5 年前

Nicol Bolas 5 年前

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

因此,你要求编译器在给定一个图灵完备程序的情况下,证明是否有一些输入导致该程序格式良好。这只是对停机问题的重申。就像停止问题一样,在一些简单的情况下,程序明显停止/不停止。但是当你处理图灵完备语言时,它可能会变得任意复杂。

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

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前