在C++的漫长历史中，编译器供应商一直通过各种非标准扩展来向开发者提供额外的信息。GCC的attribute、Clang的attribute、MSVC的__declspec、以及各种#pragma指令，都是这种“编译器魔法”的表现形式。这些扩展虽然强大，但不可移植、语法丑陋、且通常缺乏统一的语义。C++11引入的属性（attributes）语法试图改变这一局面，为编译器注解提供一个标准化的、统一的、可扩展的框架。
参考：https://oqmyh.cn/category/chanpin-pingce.html
属性语法的基本形式是[[attribute]]，它可以出现在代码中的各种位置：函数、变量、类型、语句、甚至命名空间。标准属性从C++11到C++23逐渐增多，涵盖了警告抑制、优化提示、接口约定等多个方面。
[[noreturn]]是C++11引入的第一个标准属性之一。它告诉编译器：这个函数永远不会返回（例如，它会抛出异常、终止程序、或进入无限循环）。有了这个信息，编译器可以生成更好的代码（避免为不可能执行的路径生成代码），并给出更准确的警告（例如，不再警告“函数没有返回值”）。标准库中的std::exit和std::terminate就被标记为[[noreturn]]。
[[carries_dependency]]和[[deprecated]]也是C++11的原始属性。[[deprecated]]允许标记过时的接口，当其他代码使用它时编译器会产生警告。这个属性接受一个可选的字符串参数，用于说明替代方案。C++14扩展了[[deprecated]]，允许在更多上下文中使用。
[[fallthrough]]是C++17引入的，用于消除switch语句中故意省略break的警告。在C++中，switch的case标签默认会“贯穿”到下一个case，这通常是一个错误来源。许多编译器会对没有break的case发出警告。[[fallthrough]]告诉编译器：“这里的贯穿是有意的”。这个属性必须紧跟在case块的最后一条语句之后，且不能用于最后一个case。
参考：https://oqmyh.cn/category/meirong-zhishi.html
[[nodiscard]]可能是C++17中最有用的属性之一。它标记一个函数或类型的返回值不应该被忽略。如果调用一个[[nodiscard]]函数而不使用其返回值，编译器会发出警告。这对于资源管理函数（如malloc）、状态查询函数（如empty）、以及任何其返回值有重要语义的函数都非常有用。C++20扩展了[[nodiscard]]，允许添加一个字符串来解释为什么返回值很重要。
[[maybe_unused]]用于抑制未使用变量、函数或参数的警告。在开发过程中，你可能会暂时注释掉一段代码，导致某些变量不再被使用。[[maybe_unused]]告诉编译器：不要警告这个未使用的实体。这个属性比(void)var的技巧更清晰、更可读。
C++20引入了[[likely]]和[[unlikely]]，用于向编译器提示分支预测信息。在一个if-else语句中，你可以标记哪个分支更可能被执行。编译器可以利用这个信息来重排代码，将热路径放在一起，提高指令缓存的效率。值得注意的是，这些属性只是提示，编译器可以忽略它们，而且滥用它们可能适得其反。
[[no_unique_address]]是C++20的另一项重要属性。它允许一个空基类或空成员不占用对象的空间（但条件很严格：最终对象的大小不能超过标准布局的要求）。这对于实现“空基类优化”和设计基于策略的类非常有用。
参考：https://oqmyh.cn/category/hufu-jiqiao.html
C++23引入了[[assume]]，这是最强大也最危险的属性之一。它告诉编译器：假设给定的表达式为真。编译器可以利用这个假设进行激进的优化，例如移除不可能执行的分支、简化算术表达式、甚至消除空指针检查。[[assume]]必须谨慎使用——如果假设在实际运行时被违反，程序的行为是未定义的。它最适合在性能关键代码中表达编译器无法自动推断的不变量。
除了标准属性，C++属性语法还支持命名空间属性。供应商可以定义自己的命名空间，例如[[gnu::always_inline]]、[[clang::no_destroy]]、[[msvc::no_sanitize]]。这为标准属性和供应商扩展提供了一个统一的语法，开发者可以通过条件编译来选择使用哪种属性。
属性的一个重要限制是它们不能影响程序的语义。标准明确规定，忽略任何标准属性（即当编译器不识别该属性时）应该是合法的，且程序的行为不变。这个“可忽略性”原则确保了代码在使用不支持某些属性的旧编译器时仍然能够编译和运行，尽管可能失去优化机会。
这一原则的代价是属性不能用于改变函数的重载决议、模板推导、或任何其他核心语言行为。如果一个注解需要改变语义，它必须通过另一种方式实现（如关键字或库设施）。这正是为什么C++20的concept没有设计为属性，而是引入了新的关键字。
属性在静态分析中也有应用。某些属性（如[[gsl::suppress]]）被设计为与静态分析工具交互，用于抑制特定的警告或规则检查。C++核心指南中定义了一组此类属性，尽管它们尚未标准化。
从开发者的角度看，使用属性的最佳实践包括：
优先使用标准属性而不是供应商扩展，除非你有特定的不可移植需求。
不要过度使用[[likely]]/[[unlikely]]。分支预测提示只有在性能分析证明某个分支确实更常见时才应该添加。过早的优化可能没有效果，甚至有害。
总是使用[[nodiscard]]标记那些返回值不应该被忽略的函数，特别是返回错误码或资源句柄的函数。
谨慎使用[[assume]]，并确保它被充分测试。一个错误的假设可能导致难以调试的崩溃或安全漏洞。
属性的未来演进方向包括：[[trivial_abi]]（已被某些编译器支持，但尚未标准化）用于指示一个类型应该使用与C兼容的ABI；[[uninitialized]]用于跳过默认初始化以提升性能；以及[[expect]]用于更精细的分支预测提示。
属性的标准化进程反映了C++社区的一个共识：与其让每个编译器发明自己的注解语法，不如提供一个统一的框架。这个框架在保持灵活性的同时，为开发者提供了一定程度的可移植性。虽然属性无法解决所有问题，但它们是C++演进中一个微小但重要的进步。
参考：https://oqmyh.cn
