【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]]
用于有返回值的函数,添加此属性后,如果代码没有对返回值进行处理,将会编译告警。如:
cpp
[[nodiscard]] auto f() // 这里auto为20新增类型推导,后续系列将会介绍
{
return 0;
}
int main()
{
f(); // 不处理返回值编译器将告警
}
在C++20中还可以这样用
cpp
[[nodiscard("必须要处理此函数返回值")]] auto f() // 双引号内可以添加告警原因
b.[[maybe_unused]]
用于禁止编译器在有变量未使用时发出告警,告警通常发生在编译器告警等级设置较高时。如:
cpp
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]]
使用此属性意味着函数永远不会返回调用栈的上一级,一般用于异常处理,或者程序终止。如:
cpp
[[noreturn]] void f() // 不添加此属性,编译器将会告警
{
std::exit(1); // 程序将终止
}
d.[[deprecated]]
添加此属性意味着内容已被弃用,你还可以用,但是不推荐使用,此属性还可添加原因。如:
cpp
[[deprecated("性能较差,请尽量避免使用此函数")]] void f(); // 引号内容为原因,使用此函数编译器将会告警,并提示原因。
2,C++20之后的属性
a.[[likely]]/[[unlikely]]
可用于代码优化,告诉编译器什么分支更加可能被执行,或者不太可能被执行,从而提升性能。如:
cpp
if (int a{}; a > 0) // 初始化器,C++17后可用,本系列重点讲解C++20,C++20以前感兴趣可以留言
{
}
else if (a == 0) [[likely]] // 此分支将更加可能被执行
{
}
else [[unlikely]] // 此分支将不太可能被执行
{
}
通常现代编译器不加此属性也能预测分支执行概率,从而优化性能,但上述例子如果出现在对性能要求很高的情况下,能更加有效的提升性能。
后续我将继续分享C++20一些新的有趣的知识点,感兴趣可以点个关注或者私聊,谢谢!