【C++ 20进阶（2）：属性 Attribute】
【C++ 20进阶（2）：属性 Attribute】
原文：https://blog.csdn.net/weixin_44259356/article/details/143663492
引言
本篇文章为系列文章将着重介绍C++20新特性，一是希望可以和大家交流分享，二是也便于自己巩固学习
历史系列：
0，介绍
属性是一种编译器厂商用于编译的特定机制（注意区别于java的属性），C++11之前由编译器厂商自行制定，如_attribute_等，C++11之后制定了统一标准，使用[[]]对属性进行支持。如[[nodiscard]]（这里很多同学可能没什么概念，正常使用比较少见，通常见于底层如操作系统使用较多，具体可以见我下面的例子）。
1，C++20之前的属性
a. [[nodiscard]]
用于有返回值的函数，添加此属性后，如果代码没有对返回值进行处理，将会编译告警。如：
[[nodiscard]] auto f() // 这里auto为20新增类型推导，后续系列将会介绍
{
return 0;
}
int main()
{
f(); // 不处理返回值编译器将告警
}
在C++20中还可以这样用
[[nodiscard("必须要处理此函数返回值")]] auto f() // 双引号内可以添加告警原因
b.[[maybe_unused]]
用于禁止编译器在有变量未使用时发出告警，告警通常发生在编译器告警等级设置较高时。如：
auto f(int a, int b) // 未使用a或者b时编译器将告警
{
return 0;
}
auto f(int a, [[maybe_unused]] int b) // b变量编译器将不会告警，a任然会告警
{
return 0;
}
[[maybe_unused]]还可用于类，结构体，函数等等，后面系列将会进一步介绍。
c.[[noreturn]]
使用此属性意味着函数永远不会返回调用栈的上一级，一般用于异常处理，或者程序终止。如：
[[noreturn]] void f() // 不添加此属性，编译器将会告警
{
std::exit(1); // 程序将终止
}
d.[[deprecated]]
添加此属性意味着内容已被弃用，你还可以用，但是不推荐使用，此属性还可添加原因。如：
[[deprecated("性能较差，请尽量避免使用此函数")]] void f(); // 引号内容为原因，使用此函数编译器将会告警，并提示原因。
2，C++20之后的属性
a.[[likely]]/[[unlikely]]
可用于代码优化，告诉编译器什么分支更加可能被执行，或者不太可能被执行，从而提升性能。如：
if (int a{}; a > 0) // 初始化器，C++17后可用，本系列重点讲解C++20，C++20以前感兴趣可以留言
{
}
else if (a == 0) [[likely]] // 此分支将更加可能被执行
{
}
else [[unlikely]] // 此分支将不太可能被执行
{
}
通常现代编译器不加此属性也能预测分支执行概率，从而优化性能，但上述例子如果出现在对性能要求很高的情况下，能更加有效的提升性能。
后续我将继续分享C++20一些新的有趣的知识点，感兴趣可以点个关注或者私聊，谢谢！
原文地址：https://blog.csdn.net/weixin_44259356/article/details/143663492
免责声明：本站文章内容转载自网络资源，如本站内容侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！