我经常听到有人说c++是一种上下文敏感的语言。举个例子:
a b(c);
这是变量定义还是函数声明?这取决于符号c的含义。如果c是一个变量，则ab (c);定义一个名为b的类型为a的变量。它直接用c初始化。但如果c是类型，则ab (c);声明一个名为b的函数，该函数接受c并返回a。
如果您查找上下文无关语言的定义，它基本上会告诉您，所有语法规则的左侧必须恰好包含一个非终结符。另一方面，上下文敏感语法允许在左侧使用任意的终结符和非终结符字符串。
浏览“c++程序设计语言”的附录A，我找不到一条语法规则，它的左边除了一个非终结符之外，还有其他任何东西。这意味着c++是上下文无关的。(当然，每一种与上下文无关的语言也是与上下文相关的，因为与上下文无关的语言构成了与上下文相关的语言的一个子集，但这不是重点。)
那么，c++是上下文无关的还是上下文敏感的?
当前回答
要回答你的问题，你需要区分两个不同的问题。
几乎每一种编程语言的语法都与上下文无关。通常，它是作为扩展的Backus-Naur形式或上下文无关语法给出的。 然而，即使一个程序符合编程语言定义的上下文无关语法，它也不一定是一个有效的程序。为了成为一个有效的程序，程序必须满足许多与上下文无关的属性。例如，最简单的属性是变量的作用域。
综上所述，c++是否与上下文无关取决于你问的问题。
其他回答
真正的:)
斯坦利·沃福德。计算机系统。页341 - 346。
使用GLR解析器解析c++。这意味着在解析源代码期间，解析器可能会遇到歧义，但它应该继续并决定稍后使用哪个语法规则。
还看,
为什么c++不能用LR(1)解析器解析?
请记住，上下文无关语法不能描述编程语言语法的所有规则。例如，属性语法用于检查表达式类型的有效性。
int x;
x = 9 + 1.0;
你不能用上下文无关的语法描述下面的规则: 作业的右侧应与左侧的类型相同。
Meta-S”是Quinn Tyler Jackson开发的上下文敏感解析引擎。我没有用过，但他讲了一个令人印象深刻的故事。在comp.compilers中查看他的评论，并查看rnaparse.com/MetaS%20defined.htm - Ira Baxter 7月25日10:42
正确的环节是解析谜题
Meta-S是一家已经倒闭的tho栖公司的财产。我可以将Meta-S的免费副本发送给任何感兴趣的人，我已经在rna解析研究中使用了它。请注意，示例文件夹中包含的“伪结语法”是由一个非生物信息学的、成熟的程序员编写的，基本上不起作用。我的语法采用了一种不同的方法，而且效果很好。
要回答你的问题，你需要区分两个不同的问题。
几乎每一种编程语言的语法都与上下文无关。通常，它是作为扩展的Backus-Naur形式或上下文无关语法给出的。 然而，即使一个程序符合编程语言定义的上下文无关语法，它也不一定是一个有效的程序。为了成为一个有效的程序，程序必须满足许多与上下文无关的属性。例如，最简单的属性是变量的作用域。
综上所述，c++是否与上下文无关取决于你问的问题。
非上下文无关语法最简单的例子是解析包含模板的表达式。
a<b<c>()
这可以解析为任意一种
template
|
a < expr > ()
|
<
/ \
b c
Or
expr
|
<
/ \
a template
|
b < expr > ()
|
c
这两个AST只能通过检查'a'的声明来消除歧义——如果'a'是模板，则前者为AST，如果'a'不是模板，则后者为AST。
