[转载]C++ 的语法是 Undecidable 的完整证明

水木社区手机版

主题:[转载]C++ 的语法是 Undecidable 的完整证明
5楼|Analog|2020-05-07 12:38:34|展开
确实证明了模版元编程与可变长度参数支持是编译器杀手，根本不可能有限时间内解析出来。所以tpl必须去掉，让编译器解决一个可解决的问题
【在 z16166 的大作中提到: 】
: 证明了TPL超级蛋疼？

- 来自「最水木 for iPhone 6s」
--
FROM 223.104.212.*
6楼|Analog|2020-05-07 12:39:39|展开
说明现在的语法是有问题的啊，可以写出一段code，让编译器永远无法解析完
【在 lushan5436 的大作中提到: 】
: 说真的，没看懂，
: 【在 hgoldfish 的大作中提到: 】
: : 摘要：完美解析 C++ 源代码，等同于解决了停机问题。
: ....................

- 来自「最水木 for iPhone 6s」
--
FROM 223.104.212.*
7楼|Analog|2020-05-07 12:41:57|展开
不是，是你的语法太复杂了，以至于可以写出一段code，让编译器永远在编译，无法解析完
【在 hgoldfish 的大作中提到: 】
: 文章的意思是 c++ 的元编程是图灵完备的语法，所以语法解析可能永远无法结束？
:
: 也就是 c++ 语法解析是永远不可能完美的。
: ....................

- 来自「最水木 for iPhone 6s」
--
FROM 223.104.212.*
8楼|Analog|2020-05-07 12:45:38|展开
其实不止c++，还有bash也是这样的，说明这些语言的语法设计都是有问题的
【在 hgoldfish 的大作中提到: 】
: 摘要：完美解析 C++ 源代码，等同于解决了停机问题。
:
: https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664

- 来自「最水木 for iPhone 6s」
--
FROM 223.104.212.*