C++代码中疑似方法声明与方法体间分号的语法疑问

你产生误解的核心原因，是把相邻排布的两个完全独立的C语法单元，错当成了某种绑定的特殊结构——这段代码没有任何不符合C标准的奇技淫巧，逐部分拆解就很清晰：

• 第一行std::vector<BYTE> authTag(authTagLengths.dwMinLength); 是完全普通的栈变量定义，根本不是函数声明。这行的逻辑是：构造一个存储BYTE类型的std::vector实例，实例名为authTag，使用authTagLengths.dwMinLength的数值作为vector的初始元素个数。末尾的分号是这个变量定义语句的结束标志，和后面的代码块没有任何语法层面的绑定关系。
  • 为什么会产生“这是函数声明”的错觉？因为C++的“最令人头疼解析”规则确实容易造成混淆：如果这行括号里的内容是类型名，这种写法会被编译器解析为函数声明。但这里括号内是已经存在的结构体成员变量authTagLengths.dwMinLength，是具体的数值而不是类型，所以编译器必然会把它解析为变量构造定义。
• 紧跟在分号后面的独立大括号块，是C完全合法的块级作用域（复合语句），根本不是什么“方法体”。C允许在函数内部的任意位置书写独立的大括号块，核心作用是把块内定义变量的生命周期、命名可见范围限制在块内部，变量出了大括号就会自动触发析构、完成资源释放，不会和外部作用域的同名变量产生命名冲突。

你可以把这段代码的结构等价成下面的最简形式，一眼就能看懂：

// 第一部分：独立的变量定义语句
std::vector<BYTE> authTag(authTagLengths.dwMinLength);

// 第二部分：独立的块级作用域，和上一行语句没有强制语法绑定
{
    BCRYPT_AUTHENTICATED_CIPHER_MODE_INFO authInfo;
    // 块内的BCrypt加解密逻辑
}

这段代码的作者之所以单独开这个块，本质是为了让块内定义的authInfo结构体的生命周期刚好覆盖BCryptEncrypt的调用全过程，块执行结束就自动销毁这个临时结构体，不需要手动写清理代码，也不会让这个变量的作用域无意义地延伸到整个函数的末尾。两个代码单元挨得近，只是因为这段加解密逻辑和上面定义的authTag强相关（块内用到了authTag的内存地址作为认证标签的输出缓冲区），作者排版时没有在两者之间加空行分隔而已。

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