Oracle PL/SQL 块的语法图是否错误？

我怀疑 a 的语法图plsql_block如中给出的Oracle® 数据库 PL/SQL 语言参考对于 Release 2 来说是错误的。 （以供参考，这是当前的链接 http://download.oracle.com/docs/cd/E11882_01/appdev.112/e17126/block.htm到该文件）

以下 PL/SQL 可以正常编译：

declare

  cursor 
    cursor_definition 
  is select * from dual;

  variable_declaration number;

begin
  null;
end;

以下陈述是我根据上面的 PL/SQL 片段和 Oracle 语法图做出的假设。

1. 声明部分（上面）由cursor definition随后是一个variable declaration（这又是一个item declaration).

2. An item declaration can only是一个元素item list 1.

3. A cursor definition can only是一个元素item list 2.

4. An item list 2永远不能跟在item list 1.

现在variable declaration遵循cursor definition矛盾point 4。因此我的结论是 语法图是错误的。

也许我忽略了一些事情，在这种情况下我会very感谢您向我指出这一点。

请理解，错误的语法图本身对我来说没什么大不了的。但我正在编写 PL/SQL 解析器 并且解析器会错误地发现示例 PL/SQL 代码给出的确切情况。所以，为了改进解析器，我想 以获得更权威的序列图。

我同意。语法图明确指出plsql_block是有效地item_list_2前面有一个可选的item_list_1.

进一步，光标定义（与is位）只能出现在item_list_2和变量声明（带或不带=）是其中的一部分item_declaration设置，因此只能在item_list_1.

这些事实使您的代码示例不正确，因此，如果它成功编译，则：

• 语法图是错误的；或者
• 编译器没有严格遵循它们；或者
• 您查看的代码涵盖了不同的语法图。

有趣的是，关于最后一个要点，11.1 的语法图 http://download.oracle.com/docs/cd/B28359_01/appdev.111/b28370/block.htm#i32791略有不同。

声明部分可以是item_list_1 or item_list_2 or item_list_1其次是item_list_2.

有趣的是item_list_1可以有任意数量的item_declaration条目，这包括variable_declaration and cursor_declaration.

在 11.1 中，cursor_declaration可以是一个声明or基于 11.2 中的语言元素的定义（换句话说，没有cursor_definition类型，因为声明允许两者都在声明中）。

所以你所拥有的在 11.1 中是完全有效的，所以我要检查的第一件事是你实际上是running11.2 成功编译的地方。

It's still possible of course that you're running 11.2 and the syntax diagrams are wrong, in which case you should complain bitterly to Oracle but I don't know what sort of a response you'll get from a company whose flagship database product can't tell the difference between an empty varchar and a NULL ^(a).

^(a) I'll never pass up an opportunity to mention this and advance the cause of my beloved DB2 :-)