(C++) 属性说明符-语法

前言

cppref： 属性说明符序列(C++11 起) - cppreference.com

本文着重讲解属性说明符的语法

属性说明符是一种与具体编译器强绑定的内容。有的属性可以作为编译器的提示，有的则是直接作为设置。

在C++11之前，不同编译器拥有不同的语法，不同的说明符。在编写跨平台程序时非常麻烦，移植性一直不是很好。

到了C++11标准终于规定了属性说明符的标准。但是所支持的说明符随着标准的提出还不是很多。但该语法仍然允许使用编译器自身的说明符，为以后的扩展做了一定的预留。

语法

属性可用在 C++ 程序中的几乎所有位置，而且可应用于几乎所有事物：类型、变量、函数、名字、代码块、整个翻译单元，不过每个特定的属性都只在实现允许范围内有效

属性说明符可以标识在绝大多数地方，有的地方顺序并不影响功能，但有些地方确有不同的作用。

但也有部分地方会导致无法编译。

🏷️非标准语法

非标准语法强依赖于编译器，需要记住特定的对应关系。

⭐GCC

语法：

__attribute__((属性))

示例：

__attribute__((noreturn)) void test() {}

⭐MSVC

语法：

__declspec(属性)

示例：

__declspec(noreturn) void test() {}

🏷️[[ 属性列表 ]] (C++11 起)

• 标识符
• 属性命名空间::标识符
• 标识符(实参列表 (可选) )
• 属性命名空间::标识符 ( 实参列表 (可选) )

⭐标识符

[[noreturn]] void test() {}

⭐属性命名空间::标识符

[[gnu::always_inline]] void test() {}

⭐标识符(实参列表 (可选) )

// C++14
[[deprecated("This fun is deprecated")]] void test() {}

⭐同时多个属性

分开写：

[[noreturn]] [[gnu::always_inline]] void test_separate() {}

合并写：

[[noreturn, gnu::always_inline]] void test_merge() {}

🏷️[[ using 属性命名空间 : 属性列表 ]] (C++17 起)

[[using gnu: always_inline, const]] void test() {}

🏷️解释

⭐[[语法解析

[[在语法解析的时候具有非常强大的吸引力。

但]]并不会有什么问题。

int main() {
    int arr[114514] = {};

    // OK Pass
    // 属性可以是空
    // ]] 解析没问题
    [[]];
    arr[0 [arr]] = 1;

    // Error
    // [[的吸引力很强，会优先解析为属性说明符
    // arr[[] { return 0; }()] = 1;
}

END

ref：【每天5分钟了解现代C++新特性 - 第31章 属性说明符和标准属性】

关注我，学习更多C/C++，算法，计算机知识