JAVA条件运算符构造的哪些方面是正式描述的，哪些方面是非正式描述的

Question

这个我无法理解的问题。问：JAVA语言规范（第三版）可用于浏览或在java.sun.com/docs/books/jls/下载。找到它的部分描述了所谓的条件运算符"？："。JAVA条件运算符构造的哪些方面是正式描述的，哪些方面是非正式描述的。请帮我理解"JAVA条件运算符构造的各个方面被正式描述"

Answer 1

根据正式规范，我猜您的讲师指的是BNF，这大约是您在JLS中找到的唯一正式描述。形式化规范的目标是以一种可以进行数学分析的形式过于表达计算机语言。

我不想为你做功课，但这里有一个BNF中的形式语言表达式的例子：

grammar ::= [{ assignment }] eoi
assignment ::= name ('::=' | '=') expression
expression = term [{ '|' term }]
term = factor [{ white factor }]
factor = IO | name | '[' expression ']' | '&{' expression '&}'
IO = ''' string ''' | '"' string '"' | '`' string '`'

这个小宝石是一个BNF，具有讽刺意味的是，它定义了BNF的语法。你会注意到，一行中的每个元素都由下面的行描述。BNF只是一种形式表示法，但非常常用于数学表达编程语言，因为它很容易被解析器分解。

JLS的非正式部分将是用BNF表示的而非的部分。它们可以采用简单的句子或项目符号列表的形式，用通俗的英语描述功能。你会在你的家庭作业中发现很多这样的东西。祝你好运

Answer 2

根据我的说法，Java语言规范（JLS）是由Sun Microsystems制定的，因此JLS中描述的内容都是正式描述的，例如Conditional运算符。JLS不像作者的书，作者有权以自己的风格解释Java术语和事物。