Sam*_*ell 15 ide algorithm code-formatting indentation
我非常喜欢记录IDE功能的正确行为,这些功能对编码流有微妙但重要的影响 - 例如自动完成选择和注释/取消注释代码,你可能没有意识到你利用了这些功能,但最终那天你比你可能做得更多.我这样做是希望我必须使用的其他语言服务包含这些功能,从而改善了我的日常编码生活."Real"Smart Indent,即Visual Studio 2008 C#编辑器,就是其中一项功能.
基本的块代码缩进相当简单,可以在合理的时间内完成黑客攻击,以完成工作.另一方面,True Smart Indent可能是迄今为止我必须在IDE中实现的技术上最具挑战性的任务,并且我已经实现了我的公平份额.即使是全面的动态自动代码重新格式化也更容易; 它只是按照Smart Indent进行繁重的提升.
我正在寻找通用智能缩进算法的高级讨论.特别是,我正在寻找关于智能缩进策略的研究,或者对所有正常和"边缘"案例的客观描述,这些案例可以通过测试来确保可重复,无错误的结果.最后,我想提供功能的详细工作流程,实际实现该功能的具体基础,最后组装一个特定于语言的版本并将其集成到我的语言服务中.
PS:Visual Studio 2010的C#编辑器在此功能中有几个小错误.自己实施之后,我对完成它所需的工作有了全新的尊重.
编辑(8/25):我设法写下了一个草案,规定当智能缩进在代码注释中时我应该如何处理事情.我可能会从C++/C#角度对规则进行工作,但后来它们应该能够针对其他语言的方面进行参数化.
Emacs CC模式手册:缩进引擎基础知识.
Steve Yegge博客咆哮:js2-mode:Emacs的一种新的JavaScript模式.
来自后者的引用:"令人惊讶的是,令人惊讶的是,违反直觉,缩进问题几乎与解析和语法验证完全正交."
也许我遗漏了一些东西，但“智能缩进”将完全与语言的语法规范联系在一起。事实上，经过一番谷歌搜索后，我能找到的最接近学术论文的是另一个与特定语言相关的问题，在这里。
所以，恐怕我无法从技术上提供答案，因为我没有找到任何学术论文，但作为一种元答案（遗憾的是，以问题的形式）：它比解析语言？我在模糊的可计算性/复杂性意义上使用“更难”这个词，而不是指一个人实际投入的实际时间/努力/眼泪。
考虑一下：根据我的经验，在某些子条款中缩进级别会发生变化。If 语句、循环、类、结构等等。所有这些都已被解析器检测到。正如可以装饰解析树来构建语义树（这是随机大学网站的碎片）一样，您不能用“缩进信息”来装饰解析树吗？
我想我只是不明白征集学术论文的意义何在。当然，除非我遗漏了一些东西。这是很有可能的，因为我从来不敢尝试这个。:)但是，从我的角度来看，这种智能缩进似乎只需运行修改后的解析器就可以实现，并且它不会报告“解析错误”，而是自动重新格式化代码以使其有效（假设“真实的” “解析器已经同意该块）。实时运行肯定会引起问题，并且在依赖于空格的语言中存在不明确的缩进级别（因为缩进级别是块的末尾）。
最后（老实说，我快完成了！:)）注意：根据我的经验，Emacs 文本编辑器非常好。我不知道它是如何工作的，但如果我要尝试这个，那将是我首先会看的地方......当然，在SO之后。:))