C++ 中 const 和 constexpr 关键字解析:常量、函数和指针

简介: 很多 C++ 的初学者看到 const 这个关键字的第一反应都是一头雾水,主要是因为 const可 以出现在很多的位置,以及后面加入的 constexpr 更是常常感到困惑,今天就为大家一一解释出现它们的含义和以及作用

很多 C++ 的初学者看到 const 这个关键字的第一反应都是一头雾水,主要是因为 const可 以出现在很多的位置,以及后面加入的 constexpr 更是常常感到困惑,今天就为大家一一解释出现它们的含义和以及作用

const关键字

const修饰变量

这是最基本的一种用法,顾名思义,就是将该变量修饰为常量,从而不可以修改。很多的全局变量都是通过常量来进行修饰,需要注意的是,使用const关键字修饰的变量需要立刻初始化

// 修饰局部变量,全局变量,成员变量
const int a = 2;
// 错误,表达式必须是可修改的左值,意思就是a是个常量,无法修改
a = 3;  

// 还有人习惯这种写法,作用是一样的,看个人喜好即可
int const b = 22;

// 修饰函数参数
void test(const int num) {
   
    // 错误,表达式必须是可修改的左值,意思就是参数num是个常量,无法修改
    num = 3;  
}

修饰指针

虽然指针也是一种变量,不过当const与指针出现在一起的时候,位置的不同会发生不同的作用,所以单独拎出来讲

// 第一种情况:指针常量
int a = 2;
// const作用:使其无法通过指针来修改变量
const int *p = &a;  
// 错误,表达式必须是可修改的左值
*p = 3;  
// 正确
a = 4; 
// 4
cout << *p << endl;  
// 同样地,有人习惯这种写法,作用是一样的,看个人喜好即可
int const *p2 = &a;

// 第二种情况:常量指针
int a = 2;
// const作用:使指针p无法指向其他变量
int* const p = &a;  
int b = 3;
// 错误,表达式必须是可修改的左值
p = &b;

修饰函数

const用于修饰函数也是最困惑的地方,主要原因在于它可以出现在不同的地方,并且每一个都有不同的含义。接下来为一一为大家解释

// 修饰函数返回值,这种用法毫无意义,它的作用相当于将返回值修饰为了常量,但是返回值是一个将亡值,在返回之后要么赋值给了其他的变量,然后其他变量可以继续修改,要么就随着离开作用域而被释放内存。所以通常不会这么使用。
const int getNum() {
   
    return 3;
}

// 修饰成员函数,通常加在成员函数的末尾,作用声明该成员函数为只读函数,即无法修改任何成员变量的值
class Student {
   
   public:
    void test() const {
   
        // 错误,表达式必须是可修改的左值,因为member是成员变量,而test函数被const修饰过后无法修改成员变量
        member = 3;  
        int b = 3;
        // 正确
        b = 4;  
    }

   private:
    int member = 2;
};

const引用

这是const最常用的一种方式,通常用于函数的参数列表中,因为我们知道在C++中函数参数有3中传递方式,分别是值传递指针传递(或者叫地址传递),引用传递,前两种在传递时都会发成拷贝行为

指针本身也是一个变量,在32位操作系统下占用4个字节,64位系统占用8个字节,虽然的拷贝成本会低一点,但是在大量的调用过程中也比较可观

所以通常我们采用传递引用的方式,因为引用只是变量的一个别名,不占用内存,所以不会发生拷贝行为。但是引用传递有一个问题,那就是形参可以改变实参的值。所以为了避免意外修改导致实参的值发生改,通常会采用const加上引用的方式传递参数

void test(const Student &s) {
   
    ...
}

constexpr关键字

constexprC++11中引入的一个关键字,它的作用主要是用来修饰一些函数和变量,使其成为常量表达式,从而在编译器就可以进行计算,进一步提高程序运行期的效率

  • 常量表达式:指的是有一个或多个常量组成的表达式,在实际开发中经常会接触到常量表达式,比如数组长度就必须是一个常量表达式
//  正确,长度5是由1个常量组成的常量表达式
int arr[5];  
// 正确,长度3+4是由2个常量组成的常量表达式
int arr2[3 + 4];  
int n = 10;
// 错误,长度n是由变量构成,不

是常量表达式
int arr3[n];

修饰变量

由此可以看出,只要是常量表达式,我们就可以通过constexpr来进行修饰,从而提高程序的效率,比如下面这样

// 正确,2+2是常量表达式,n将会在编译器进行计算
contexpr int n = 2 + 2;  
// 正确,n是一个常量表达式
int arr[n] = {
   11, 22, 33, 44};  
// 33
cout << arr[2] << endl;

修饰普通函数

constexpr还可以用于修饰函数的返回值,在C++11中被constexpr修饰的函数只能是非void类型的函数,而且必须非常简短,通常只有一句return表达式。不过在后续的C++14/17/20标准中进一步的放宽了这了限制,都可以通过编译了

constexpr int test() {
   
    return 1 + 1;
}

修饰构造函数

constexpr还可以用于修饰自定义类型,不过有一个前提条件,就是该自定义类型具有constexpr修饰的构造函数,并且该构造函数不能有具体实现,否则会编译报错

class Student {
   
   public:
    constexpr Student(const char* name, int age) : name_(name), age_(age) {
   }

    void print() const {
    cout << name_ << ' ' << age_ << '\n'; }

   private:
    const char* name_;
    int age_;
};

void test() {
   
    constexpr Student s{
   "zhangsan", 18};
    s.print();
}

总结

  • const可以修饰编译期和运行期的常量,而constexpr只能修饰编译期的常量
  • const在仍然可以通过const_cast类型转换来修改值,而constexpr是不可以修改的,其实可以将const理解为只读变量更符合其含义
  • const只能用于非静态成员函数,而constexpr可以和成员,非成员,构造函数一起使用
  • 再有常量表示的场景,尽可能的加上constexpr来让编译期进行计算
  • 但是大面积的constexpr也会面临相应的增加编译时间的风险

最后

为了方便其他设备和平台的小伙伴观看往期文章:

微信公众号搜索:Let us Coding,关注后即可获取最新文章推送

看完如果觉得有帮助,欢迎 点赞、收藏、关注

相关文章
|
7月前
|
缓存 安全 编译器
C++面试周刊(3):面试不慌,这样回答指针与引用,青铜秒变王者
《C++面试冲刺周刊》第三期聚焦指针与引用的区别,从青铜到王者级别面试回答解析,助你21天系统备战,直击高频考点,提升实战能力,轻松应对大厂C++面试。
764 132
C++面试周刊(3):面试不慌,这样回答指针与引用,青铜秒变王者
|
5月前
|
存储 安全 Java
【Golang】(4)Go里面的指针如何?函数与方法怎么不一样?带你了解Go不同于其他高级语言的语法
结构体可以存储一组不同类型的数据,是一种符合类型。Go抛弃了类与继承,同时也抛弃了构造方法,刻意弱化了面向对象的功能,Go并非是一个传统OOP的语言,但是Go依旧有着OOP的影子,通过结构体和方法也可以模拟出一个类。
324 2
|
7月前
|
存储 C++
C++语言中指针变量int和取值操作ptr详细说明。
总结起来,在 C++ 中正确理解和运用 int 类型地址及其相关取值、设定等操纵至关重要且基础性强:定义 int 类型 pointer 需加星号;初始化 pointer 需配合 & 取址;读写 pointer 执向之处需配合 * 解引用操纵进行。
646 12
|
存储 安全 编译器
第二问:C++中const用法详解
`const` 是 C++ 中用于定义常量的关键字,主要作用是防止值被修改。它可以修饰变量、指针、函数参数、返回值、类成员等,确保数据的不可变性。`const` 的常见用法包括:
|
9月前
|
存储 C语言
指针的函数传参的详细讲解(一)
本文介绍了计算机内存管理与C语言中指针的基本概念及应用。从内存单元的划分到指针的定义,解释了指针作为地址的作用及其数据类型特性。文章通过代码示例详细说明了一级指针、二级指针的使用方法,以及`void*`指针的特点和限制。此外,还探讨了指针运算规则、函数指针传参解引用的原理,并结合链表实例分析了一级与二级指针在实际场景中的区别。最后附带两道指针练习题,帮助读者巩固理解。
221 0
|
存储 程序员 C++
深入解析C++中的函数指针与`typedef`的妙用
本文深入解析了C++中的函数指针及其与`typedef`的结合使用。通过图示和代码示例,详细介绍了函数指针的基本概念、声明和使用方法,并展示了如何利用`typedef`简化复杂的函数指针声明,提升代码的可读性和可维护性。
|
安全 程序员 C语言
【C语言】指针的爱恨纠葛:常量指针vs指向常量的指针
在C语言中,“常量指针”和“指向常量的指针”是两个重要的指针概念。它们在控制指针的行为和数据的可修改性方面发挥着关键作用。理解这两个概念有助于编写更安全、有效的代码。本文将深入探讨这两个概念,包括定义、语法、实际应用、复杂示例、最佳实践以及常见问题。
505 7
|
存储 人工智能 算法
数据结构实验之C 语言的函数数组指针结构体知识
本实验旨在复习C语言中的函数、数组、指针、结构体与共用体等核心概念,并通过具体编程任务加深理解。任务包括输出100以内所有素数、逆序排列一维数组、查找二维数组中的鞍点、利用指针输出二维数组元素,以及使用结构体和共用体处理教师与学生信息。每个任务不仅强化了基本语法的应用,还涉及到了算法逻辑的设计与优化。实验结果显示,学生能够有效掌握并运用这些知识完成指定任务。
341 4
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
11月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
450 12