带有空主体的 SQL Server 存储过程

Question

CREATE PROCEDURE 语法：

CREATE { PROC | PROCEDURE } [schema_name.] procedure_name [ ; number ]   
    [ { @parameter [ type_schema_name. ] data_type }  
        [ VARYING ] [ = default ] [ OUT | OUTPUT | [READONLY]  
    ] [ ,...n ]   
[ WITH <procedure_option> [ ,...n ] ]  
[ FOR REPLICATION ]   
AS { [ BEGIN ] sql_statement [;] [ ...n ] [ END ] }  
[;]  


<sql_statement> ::=   
{ [ BEGIN ] statements [ END ] }  

[ ]（括号）可选语法项。不要键入括号。

{ }（大括号）必需的语法项。不要键入大括号。

以及人类可读的形式：

让我们试着写一个空体的存储过程：

CREATE PROC my_proc AS

-- please treat it as separate call, for example with different session
EXEC my_proc

是完美的有效语法。

LiveDemo

所以看起来sql_statement 可能是空的。

现在让我们用BEGIN/END 块尝试相同的方法：

CREATE PROC my_proc AS
BEGIN
END
-- Incorrect syntax near 'END'.

LiveDemo2

为什么第一个例子有效？如果sql_statement 不允许，那么第二个示例也应该可以工作，否则文档不准确。

编辑

好吧，那是因为在第一个示例中它不是一个空主体，您的 sp 将是：EXEC my_proc

这个案例是为了表明我可以打电话给 SP。但你可以添加GO 或使用EXEC：

CREATE PROC my_proc AS
GO

EXEC my_proc

或

EXEC('CREATE PROC my_proc AS')

EXEC my_proc

LiveDemo3

Answer 1

语法错误与存储过程的正确语法无关。这是“BEGIN/END”的正确语法。 BEGIN/END 需要其中的一些 SQL 才有效。 BEGIN/END 的文档显示了这一点：

https://msdn.microsoft.com/en-us/library/ms190487.aspx

BEGIN  
     {   
    sql_statement | statement_block   
     }   
END  

CREATE PROC 文档中的语法确实不完全正确，因为它说“CREATE PROC”需要 sql_statement，而实际上并不需要它。