关于EBNF中<create_object_expression>可选元素的技术疑问

先把你给出的EBNF规则整理为代码块形式：

<create_object_expression> ::= '{' [{property_name | "property_name"} : <scalar_expression>][,…n] '}'

你的疑问核心是{ : <任意可解析的标量表达式> }是否合法，答案是不允许，原因如下：

• EBNF里的方括号[]表示包裹的整个单元是可选的，这里的单元是{property_name | "property_name"} : <scalar_expression>——也就是说你可以完全省略这个单元（比如写空对象{}），但如果要写这个单元的内容，必须完整包含「property_name或带引号的property_name」+「:」+「<scalar_expression>`」这三部分。
• 竖线|是该单元内的二选一选项，你必须在property_name和"property_name"里选一个，不能跳过直接写冒号加表达式。

简单总结：要么不写任何键值对，要么每个键值对都必须有合法的属性名（带或不带引号），不能只写冒号加表达式。

内容的提问来源于stack exchange，提问作者TheLever