在C++98/03时代,不同的编译器使用不同的注解为代码增加了一些额外的说明,读者可能在各种C/C++代码中见过#pragma、__declspec、__attribute等注解。然而,不同的编译器对于同一功能可能使用不同的注解,导致我们需要为不同的编译器编写不同的注解代码。从C++11开始,新的语言标准统一制定了一些常用的注解标签。
C++11引入的常用注解标签有[[noreturn]],这个注解的含义是告诉编译器某个函数没有返回值
[[noreturn]] void terminate();
这个标签一般在设计一些系统函数时使用,例如std::abort()和std::exit()。
C++14 引入了[[deprecated]]标签来表示一个函数或者类型等已被弃用,在使用这些被弃用的函数或者类型并编译时,编译器会给出相应的警告,有的编译器直接生成编译错误
[[deprecated]] void funcX();
这个标签在实际开发中非常有用,尤其在设计一些库代码时,如果库作者希望某个函数或者类型不想再被用户使用,则可以使用该标注标记:
[[deprecated("use funcY instead")]] void funcX();
C++17提供了三个实用注解:[[fallthrough]]、[[nodiscard]]和[[maybe_unused]],这里逐一介绍它们的用法。
[[fallthrough]]用于 switch-case 语句中,在某个 case 分支执行完毕后如果没有break语句,则编译器可能会给出一条警告。但有时这可能是开发者有意为之的。为了让编译器明确知道开发者的意图,可以在需要某个 case分支被“贯穿”的地方(上一个case没有break语句)显式设置[[fallthrough]]标记。
[[nodiscard]]一般用于修饰函数,告诉函数调用者必须关注该函数的返回值(即不能丢弃该函数的返回值)。如果函数调用者未将该函数的返回值赋值给一个变量,则编译器会给出一个警告。例如,假设有一个网络连接函数 connect,我们通过返回值明确说明了连接是否建立成功,则为了防止调用者在使用时直接将该值丢弃,我们可以将该函数使用[[nodiscard]]标记。
在通常情况下,编译器会对程序代码中未使用的函数或变量给出警告,另一些编译器干脆不允许通过编译。在通常情况下,编译器会对程序代码中未使用的函数或变量给出警告,另一些编译器干脆不允许通过编译。有了[[maybe_unused]]注解之后,我们就再也不需要这类宏来“欺骗”编译器了
int funcX(int a,[[maybe_unused]] int b)
{
//...
}