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

水木社区手机版

主题:[转载]C++ 的语法是 Undecidable 的完整证明
楼主|hgoldfish|2020-04-29 21:32:13|只看此ID
摘要：完美解析 C++ 源代码，等同于解决了停机问题。

https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
--
FROM 183.253.130.*
1楼|hgoldfish|2020-04-29 21:58:05|只看此ID
文章的意思是 c++ 的元编程是图灵完备的语法，所以语法解析可能永远无法结束？

也就是 c++ 语法解析是永远不可能完美的。

是这个意思吧？

【在 hgoldfish (老鱼) 的大作中提到: 】
: 摘要：完美解析 C++ 源代码，等同于解决了停机问题。
: https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
--
FROM 183.253.130.*
2楼|z16166|2020-04-30 23:46:10|只看此ID
证明了TPL超级蛋疼？
--
FROM 125.35.122.*
3楼|fanci|2020-05-02 07:35:31|只看此ID
有意思

【在 hgoldfish () 的大作中提到: 】
: 摘要：完美解析 C++ 源代码，等同于解决了停机问题。
:
: https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
--
FROM 138.19.103.*
4楼|lushan5436|2020-05-07 10:28:12|只看此ID
说真的，没看懂，
【在 hgoldfish 的大作中提到: 】
: 摘要：完美解析 C++ 源代码，等同于解决了停机问题。
: https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
--
FROM 114.247.175.*
5楼|Analog|2020-05-07 12:38:34|只看此ID
确实证明了模版元编程与可变长度参数支持是编译器杀手，根本不可能有限时间内解析出来。所以tpl必须去掉，让编译器解决一个可解决的问题
【在 z16166 的大作中提到: 】
: 证明了TPL超级蛋疼？

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

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

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

- 来自「最水木 for iPhone 6s」
--
FROM 223.104.212.*
9楼|javaboy|2020-05-07 16:11:38|只看此ID
我记得类似的歧义在c++03的时候也有的。。

【在 hgoldfish (老鱼) 的大作中提到: 】
: 摘要：完美解析 C++ 源代码，等同于解决了停机问题。
: https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
--
FROM 114.84.111.*