【C++ 学习 ㉙】- 详解 C++11 的 constexpr 和 decltype 关键字

2023-10-24 18:01
文章标签 c++ 学习 详解 关键字 decltype constexpr

本文主要是介绍【C++ 学习 ㉙】- 详解 C++11 的 constexpr 和 decltype 关键字，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

目录

一、constexpr 关键字

1.1 - constexpr 修饰普通变量

1.2 - constexpr 修饰函数

1.3 - constexpr 修饰类的构造函数

1.4 - constexpr 和 const 的区别

二、decltype 关键字

2.1 - 推导规则

2.2 - 实际应用

 

一、constexpr 关键字

constexpr 是 C++11 新引入的关键字，不过在理解其具有用法和功能之前，我们需要先理解 C++ 常量表达式。

所谓常量表达式，指的是由多个（>= 1）常量组成的表达式，换句话说，如果表达式中的成员都是常量，那么该表达式就是一个常量表达式，这也意味着，常量表达式一旦确定，其值将无法修改。

实际开发中，我们经常用到常量表达式，以定义数组为例，数组的长度就必须是一个常量表达式：

int arr1[5] = { 0, 1, 2, 3, 4 };  // ok
int arr2[2 * 5] = { 0 };  // ok
// int len = 10;
// int arr3[len] = { 0 };  // error

我们知道，C++ 程序从编写完毕到执行分为四个阶段：预处理、编译、汇编和链接，得到可执行程序后就可以运行了。值得一提的是，常量表达式和非常量表达式的计算时机不同，非常量表达式只能在程序运行阶段计算出结果；而常量表达式的计算往往发生在程序的编译阶段，这可以大大地提高程序的执行效率， 因为表达式只需要在编译阶段计算一次，节省了每次程序运行时都要计算一次的时间。

对于用 C++ 编写的程序，性能往往是永恒的追求，那么在实际开发中，如何才能判断一个表达式是否为常量表达式，进而获得在编译阶段即可执行的 "特权" 呢？除了人为判定外，还有我们一开始所提到的 C++11 新引入的 constexpr 关键字 。

constexpr 关键字的功能是使指定的常量表达式获得在程序编译阶段计算出结果的能力，而不必等到程序运行阶段。在 C++11 中，constexpr 可用于修饰普通变量、函数（包括普通函数、类的成员函数以及模板函数）以及类的构造函数。

注意：获得在程序编译阶段计算出结果的能力，并不代表 constexpr 修饰的表达式一定会在程序编译阶段被执行，具体的计算时机还是编译器说了算。

1.1 - constexpr 修饰普通变量

C++11 中，定义普通变量时可以用 constexpr 修饰，从而使该变量获得在编译阶段即可计算出结果的能力。

注意：使用 constexpr 修饰普通变量时，变量必须经过初始化且初始值必须是一个常量表达式。

constexpr int len = 10;
int arr[len] = { 0 };  // ok

在此示例中，也可以将 constexpr 替换成 const，即：

const int len = 10;
int arr[len] = { 0 };  // ok

注意：const 和 constexpr 并不相同，关于它们的区别， 后面会进行详解。

1.2 - constexpr 修饰函数

constexpr 还可以用于修饰函数的返回值，这样的函数又称为 "常量表达式函数"。

注意：constexpr 并非可以修饰任意函数的返回值，换句话说，一个函数要想成为常量表达式，必须满足如下三个条件：

  1. 函数必须有返回值，即函数的返回值类型不能是 void。

    constexpr void func() { }  // 函数的返回值类型不能是 void

  2. 整个函数的函数体中，除了可以包含 using 指令、typedef 语句以及 static_assert 断言以外，只能包含一条 return 返回语句，且 return 返回的表达式必须是常量表达式。

    constexpr int func(int x)
{constexpr int y = 0;  // 函数体中只能包含一条 return 返回语句return 1 + 2 + x + y;
}

    int y = 0;
constexpr int func(int x)
{return 1 + 2 + x + y;  // return 返回的表达式必须是常量表达式
}

    #include <iostream>
using namespace std;
​
constexpr int y = 0;
constexpr int func(int x)
{return 1 + 2 + x;
}
​
int main()
{int arr[func(3)] = {  0 };cout << sizeof(arr) << endl;return 0;
}

  3. 函数在使用之前，必须有对应的定义语义。普通函数的调用只需要提前写好该函数的声明部分即可，函数的定义部分可以放在调用位置之后甚至其他文件中，但常量表达式函数在使用前，必须要有该函数的定义。

    #include <iostream>
using namespace std;
​
constexpr int func(int x);
​
int main()
{int arr[func(3)] = {  0 };cout << sizeof(arr) << endl;return 0;
}
​
constexpr int func(int x)
{return 1 + 2 + x;
}

以上三个条件不仅对普通函数适用，对类的成员函数和模板函数也适用。

但由于函数模板中的类型不确定，因此实例化后的模板函数是否符合常量表达式函数的要求也是不确定的，针对这种情况，C++11 规定：如果 constexpr 修饰的实例化后的模板函数不满足常量表达式函数的要求，则 constexpr 会被自动忽略，即该函数就等同于一个普通函数。

1.3 - constexpr 修饰类的构造函数

如果想直接得到一个常量对象，也可以使用 constexpr 修饰一个构造函数，这样就可以得到一个常量构造函数。常量构造函数有一个要求：构造函数的函数体必须为空，且必须采用初始化列表的方式为各个成员赋值。

#include <iostream>
using namespace std;
​
struct Person
{const char* _name;int _age;
​constexpr Person(const char* name, int age): _name(name), _age(age){ }
};
​
int main()
{constexpr Person p{ "张三", 18 };cout << p._name << ":" << p._age << endl;  // 张三:18return 0;
}

1.4 - constexpr 和 const 的区别

在 C++11 之前只有 const 关键字，其在实际使用中经常会表现出两种不同的语义。

void func(const int num)
{// int arr1[num] = { 0 };  // error（num 是一个只读变量，而不是常量）const int count = 5;int arr2[count] = { 0 };  // ok（count 是一个常量）
}

  1. func 函数的参数 num 是一个只读变量，其本质上仍然是变量，而不是常量。

    注意：只读并不意味着不能被修改，两者之间没有必然的联系，例如：

    #include <iostream>
using namespace std;
​
int main()
{int a = 520;const int& ra = a;a = 1314;cout << ra << endl;  // 1314return 0;
}

    引用 ra 是只读的，即无法通过自身去改变自己的值，但并不意味着无法通过其他方式间接去改变，通过改变 a 的值就可以改变 ra 的值。

  2. func 函数体中的 count 则被看成是一个常量，所以可以用来定义一个静态数组。

    const int count = 5;
int* ptr = (int*)&count;
*ptr = 10;
cout << count << endl;

    为什么输出的 count 和 *ptr 不同呢？

    具体原因是 C++ 中的常量折叠（或者常量替换）：将 const 常量放在符号表中，给其分配内存，但实际读取时类似于宏替换。

为了解决 const 关键字的双重语义问题，C++11 引入了新的关键字 constexpr，建议凡是表达 "只读" 语义的场景都使用 const，凡是表达 "常量" 语义的场景都使用 constexpr。

所以在上面的例子中，在 func 函数体中使用 const int count = 5; 是不规范的，应使用 constexpr int count = 5;。

二、decltype 关键字

decltype 是 C++11 新增的一个关键字，它和 auto 一样，都用来在编译期间进行自动类型推导。

decltype 是 "declare type" 的缩写，即 "声明类型"。

既然有了 auto，为什么还需要 decltype 呢？因为 auto 并不适用于所有的自动类型推导场景，在某些特殊情况下，auto 用起来非常不方便，甚至压根无法使用，所以 decltype 被引入到 C++11 中。

auto 和 decltype 的语法格式：

auto varname = value;  // varname 表示变量名，value 表示赋给变量的值
decltype(exp) varname[ = value;]  // exp 表示一个表达式

auto 根据 = 右边的初始值 value 推导出变量的类型，所以使用 auto 声明的变量必须初始化；而 decltype 根据 exp 表达式推导出变量的类型，跟 = 右边的初始值 value 没有关系，所以不要求初始化。

示例：

#include <iostream>
using namespace std;
​
int main()
{int x = 0;
​decltype(x) y = 1;decltype(x + 3.14) z = 5.5;decltype(&x) ptr;
​cout << typeid(y).name() << endl;  // intcout << typeid(z).name() << endl;  // doublecout << typeid(ptr).name() << endl;  // int *
​// 注意：// decltype 的推导是在编译期间完成的，// 它只是用于表达式类型的推导，并不会计算表达式的值decltype(x++) i;cout << x << endl;  // 0return 0;
}

2.1 - 推导规则

当程序员使用 decltype(exp) 获取类型时，编译器将根据以下三条规则得出结果：

  1. 如果表达式为普通变量、普通表达式或者类成员访问表达式，那么 decltype(exp) 的类型就和表达式的类型一致。

    #include <iostream>
using namespace std;
​
class Test
{
public:string _str;static int _i;
};
​
int Test::_i = 0;
​
int main()
{int x = 0;int& r = x;decltype(x) y = x;  // y 被推导为 int 类型decltype(r) z = x;  // z 被推导为 int& 类型++z;cout << x << " " << r << " "<< y << " " << z << endl;  // 1 1 0 1
​Test t;decltype(t._str) s = "hello world";  // s 被推导为 string 类型decltype(Test::_i) j = 10;  // j 被推导为 int 类型return 0;
}

  2. 如果表达式是函数调用，那么 decltype(exp) 的类型和函数返回值一致。

    #include <iostream>
using namespace std;
​
// 函数声明
int func_int();
int& func_int_r();
​
const int func_c_int();
const int& func_c_int_r();
​
int main()
{int x = 0;
​decltype(func_int()) y = x;  // y 被推导为 int 类型decltype(func_int_r()) z = x;  // z 被推导为 int& 类型++z;cout << x << " " << y << " " << z << endl;  // 1 0 1
​decltype(func_c_int()) m = x;  // m 被推导为 int 类型++m;cout << x << " " << y << " " << z << " " << m <<  endl;  // 1 0 1 2
​decltype(func_c_int_r()) n = x;  // n 被推导为 const int& 类型return 0;
}

    注意：函数 func_c_int() 的返回值是一个纯右值（即在表达式执行结束后不再存在的数据，也就是临时性的数据），对于纯右值而言，只有类类型可以携带 const、volatile 限定符，除此之外需要忽略这两个限定符，因此 m 被推导为 int 类型，而不是 const int 类型。

  3. 如果表达式是一个左值、或者被括号 () 包围，那么 decltype(exp) 的类型就是表达式类型的引用，即假设 exp 的类型为 T，那么 decltype(exp) 的类型就是 T&。

    #include <iostream>
using namespace std;
​
int main()
{int x = 0;decltype((x)) y = x;  // y 被推导为 int&++y;cout << x << " " << y << endl;  // 1 1
​decltype(x = x + 1) z = x;  // z 被推导为 int&++z;cout << x << " " << y << " " << z << endl;  // 2 2 2return 0;
}

 

2.2 - 实际应用

decltype 的应用多出现在泛型编程中。

#include <vector>
using namespace std;
​
template<class T>
class Test
{   
public:void func(T& container){_it = container.begin();// do something ... ...}
private:decltype(T().begin()) _it;// 当 T 是普通容器，_it 为 T::iterator；// 当 T 是 const 容器，_it 为 T::const_iterator。
};
​
int main()
{vector<int> v; Test<vector<int>> t1;t1.func(v);
​const vector<int> v2;Test<const vector<int>> t2;t2.func(v2);return 0;
}

这篇关于【C++ 学习 ㉙】- 详解 C++11 的 constexpr 和 decltype 关键字的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/276858。

相关文章

HarmonyOS学习(七)——UI（五）常用布局总结

HarmonyOS学习(七)——UI（五）常用布局总结

自适应布局 1.1、线性布局（LinearLayout） 通过线性容器Row和Column实现线性布局。Column容器内的子组件按照垂直方向排列，Row组件中的子组件按照水平方向排列。 属性说明space通过space参数设置主轴上子组件的间距，达到各子组件在排列上的等间距效果alignItems设置子组件在交叉轴上的对齐方式，且在各类尺寸屏幕上表现一致，其中交叉轴为垂直时，取值为Vert
阅读更多...
Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya（不是本人，claude AI）在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容： 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用
阅读更多...
Spring Security基于数据库验证流程详解

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明（认真看哦） AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证，则会调用 #attemptAuthentica
阅读更多...
【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画（下）

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画（下）

【课程链接】 AntV G6：深入图形与图形分组、自定义节点、节点动画（下）_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中，应该怎样去计算和绘制图形，如何给一个图形制作不间断的动画，以及在鼠标事件之后产生动画。（有点难，需要好好理解） <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06
阅读更多...
学习hash总结

学习hash总结

2014/1/29/   最近刚开始学hash，名字很陌生，但是hash的思想却很熟悉，以前早就做过此类的题，但是不知道这就是hash思想而已，说白了hash就是一个映射，往往灵活利用数组的下标来实现算法，hash的作用：1、判重；2、统计次数；
阅读更多...
【C++ Primer Plus习题】13.4

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站，通俗易懂，风趣幽默，忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<
阅读更多...
C++包装器

C++包装器

包装器 在 C++ 中，“包装器”通常指的是一种设计模式或编程技巧，用于封装其他代码或对象，使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍，可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型： 1. 函数包装器 函数包装器用于封装一个或多个函数，使其接口更统一或更便于调用。例如，std::function 是一个通用的函数包装器，它可以存储任意可调用对象（函数、函数
阅读更多...
OpenHarmony鸿蒙开发（ Beta5.0）无感配网详解

OpenHarmony鸿蒙开发（ Beta5.0）无感配网详解

1、简介 无感配网是指在设备联网过程中无需输入热点相关账号信息，即可快速实现设备配网，是一种兼顾高效性、可靠性和安全性的配网方式。 2、配网原理 2.1 通信原理 手机和智能设备之间的信息传递，利用特有的NAN协议实现。利用手机和智能设备之间的WiFi 感知订阅、发布能力，实现了数字管家应用和设备之间的发现。在完成设备间的认证和响应后，即可发送相关配网数据。同时还支持与常规Sof
阅读更多...
C++11第三弹：lambda表达式 | 新的类功能 | 模板的可变参数

C++11第三弹：lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页： 南桥几晴秋 🌈C++专栏： 南桥谈C++ 🌈C语言专栏： C语言学习系列 🌈Linux学习专栏： 南桥谈Linux 🌈数据结构学习专栏： 数据结构杂谈 🌈数据库学习专栏： 南桥谈MySQL 🌈Qt学习专栏： 南桥谈Qt 🌈菜鸡代码练习： 练习随想记录 🌈git学习： 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�
阅读更多...
【C++】_list常用方法解析及模拟实现

【C++】_list常用方法解析及模拟实现

相信自己的力量，只要对自己始终保持信心，尽自己最大努力去完成任何事，就算事情最终结果是失败了，努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一：什么是list？ •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二：list常用接口 •🌰1.默认成员函数 🔥构造函数（⭐） 🔥析构函数 •🌰2.list对象
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2