【C++ 20进阶(2):属性 Attribute】

【C++ 20进阶(2):属性 Attribute】

原文:https://blog.csdn.net/weixin_44259356/article/details/143663492

引言

本篇文章为系列文章将着重介绍C++20新特性,一是希望可以和大家交流分享,二是也便于自己巩固学习

历史系列:

【C++ 20进阶(1):模块导入 import】

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一些新的有趣的知识点,感兴趣可以点个关注或者私聊,谢谢!

相关推荐
lexusv8ls600h1 小时前
探索 C++20:C++ 的新纪元
c++·c++20
扣得君1 小时前
C++20 Coroutine Echo Server
运维·服务器·c++20
lexusv8ls600h1 小时前
C++20 中最优雅的那个小特性 - Ranges
c++·c++20
不爱学英文的码字机器16 小时前
C++20新特性详解
算法·c++20
一只小松许️2 天前
C++20协程详解
开发语言·php·c++20
sun0077006 天前
MISRA C++ 2023 编码标准&规范
c++20
飞翔的薄荷10 天前
C++20 时间转本地时间,时间转字符串以及字符串转时间的方法
算法·c++20
何曾参静谧15 天前
「C/C++」C++20 之 #include<ranges> 范围
c语言·c++·c++20
年轻的古尔丹16 天前
【C++ 20进阶(1):模块导入 import】
c++20·c++ module·c++ import·c++ export·c++ 模块