【C语言】关键字的深入理解(第五期)

简介: 在进入今天的内容之前,我们先看个小故事

在进入今天的内容之前,我们先看个小故事

张三有一个U盘,U盘里下了一部 2G 的电影,有一天张三想把这个电影拷贝到他的电脑上观看,张三花了 3分钟 的时间把电影拷贝完了,张三看完电影后,为了节省空间,于是就把电影删除了,可是张三删除电影却只花了 3秒钟 ,所以张三就百思不得其解呐,所以计算机中删除数据是否真的会将我们的数据全部清空?

首先肯定是不会的,在计算机中清除数据,只要设置该数据无效即可!现阶段只要了解这个概念即可,更深入的会放到后期的操作系统中讲解。

1、站在汇编角度理解 return 关键字

在进入 return 关键字的学习之前,我们要先看一段代码,最重要的是我们如何正确理解这段代码?

这里我们需要了解一个知识点:调用函数,形成栈帧;函数返回,释放栈帧。

一个函数,可以被其他函数调用,也可以调用其他函数,我们的 main 函数也是被其他函数调用的!(细节后期会讲),只要是函数调用,我们都会形成栈帧,而且在栈区上是先使用高地址后使用低地址的,我们可以看图解:

为什么会打印乱码呢?(详细内容后期函数栈帧的创建与销毁会详细讲解)

前面我们讲了,计算机中删除数据本质上是把数据设置成无效,所以说当我们结束了 show 函数之后,本质上里面的内容是没有改变的,只不过紧接着我们又使用了 printf 函数所以会覆盖掉之前被释放的空间!那么我们如何证明是如我们所说的这样呢?如下图:

所以为什么临时变量具有临时性?因为栈帧结构在函数调用完毕,需要被释放!

 

那我们接着来看一串代码:

首先我们这串代码肯定没问题,我们可以看到 x 是函数定义的变量,具有临时性,那么这个临时变量在函数退出的时候,应该被释放!所以当我 return x;  的时候 main 函数里的变量 ret 是如何拿到 x 的值呢?

我们将从汇编的角度带大家去看到底是如何把值带回来的:

结论:函数的返回值,是通过寄存器的方式,返回给函数调用方!通过查看汇编可以看到,对于一般内置类型,寄存器eax可以充当返回值的临时空间。

问题:一般函数的返回值都是返回给函数调用方了,那么 main 函数的返回值返回给谁了?

      ~ 这个我会放到讲解操作系统时讲解,感兴趣的小伙伴可以先自行研究一下哈。

2、const 的应用场景可真不少

有C语言基础的小伙伴都知道,const 修饰的变量不可以直接被修改!

const  可以放在类型之前,也可以放在类型之后,他们两个是等价的:

int main()
{
    const int a = 0;//等价于-> int const a = 0;
    return 0;
}

那么我们上面说,const 修饰的变量不能直接被修改,说明是可以被间接修改的!

既然 const 修饰的变量可以间接修改,那它的意义何在呢?

  1. 让编译器进行直接修改式检查
  2. 告诉其他程序员这个变量后面不要修改,也属于一种“自描述”含义

2.1 既然 const 修饰的变量不可被修改,那么它修饰的变量可以作为数组定义的一部分吗?

1.
int main()
{
    const int n = 10;
    int arr[n];
    return 0;
}

上边的代码,小伙伴们可以放到不同的平台去跑一跑,在 vs2019(标准C) 下直接报错了,但是在gcc(GNU扩展)下可以,在 C99 标准中新增了变长数组,感兴趣的小伙伴可以了解一下。

2.2 const 修饰的数组数组的内容可以被修改吗? 

看来是不可以被修改的,所以如果想定义一个只读数组,就可以用 const 修饰。

2.3 const 修饰指针又有什么效果呢?

1. const 放在 * 的左边:

   p 指向的对象不能通过 *p 直接修改,但是 p 变量本身的值是可以修改的

2. const 放在 * 的右边:

   p 指向的对象是可以通过 *p 来修改的,但是不能直接修改 p 变量本身的值3. * 的左边和右边都放上 const :

   p 指向的对象的值和 p 变量本身的值都不能直接被修改

例:

int main()
{
  int a = 0;
  int b = 0;
  const int* p1 = &a;  //const int* p1  <=等价于=>  int const* p1
  p1 = &b;//ok
  *p1 = 20;//err
  int* const p2 = &a;
  p2 = &b;//err
  *p2 = 20;//ok
  const int* const p3 = &a;
  p3 = &b;//err
  *p3 = 20;//err
  return 0;
}

2.4 const 修饰函数返回值是怎么一回事?

其实这里我们还要讲到 const 修饰函数参数,但是他的效果跟 const 修饰局部变量的效果一样,这里就不演示了,感兴趣的小伙伴可以自己下来试试。

3、你可能没见过的关键字 - volatile(汇编讲解)

volatile 翻译过来是易变,不稳定的意思。其实有很多人在学完 C 语言都没见过这个关键字,同时这个关键字相较于 C 语言其他关键字也是面试常考的关键字,也有很多程序员知道他的存在,但可能从来都没有使用过它。

volatile 关键字和 const 一样是一种类型修饰符,用它修饰的变量表示可以被某些编译器未知的因素更改,比如操作系统,硬件或者其他线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。

我们会从 Linux 平台下汇编的角度带小伙伴们看一下加 volatile 和不加 volatile 的区别:

我们有这么一串代码:

#include <stdio.h>
int pass = 1;
int main()
{
    while(pass)
    {
    }
    return 0;
}

Linux 查看汇编以及优化的部分操作:

[lqg@VM-0-3-centos code]$ gcc test.c -O2 -g //以O2级别进行代码优化

[lqg@VM-0-3-centos code]$ objdump -S -d a.out > a.s //对形成的a.out可执行程序进行优化

[lqg@VM-0-3-centos code]$ vim a.s //查看汇编代码

不加 volatile 汇编效果:

加上 volatile 汇编效果:

最终结论:volatile 忽略编译器的优化,保持内存可见性。

篮球哥还有一个小问题:

const volatile int a = 10;

这样一句代码能编过吗?答案是可以的:

vsgcc 中都能编译通过

const 是在编译期间起效果

volatile 在编译期间主要影响编译器,形成不优化的代码,进而影响运行。

故:编译和运行都起效果。

const 要求你不要进行写入就可以。

volatile 意思是你读取的时候,每次都要从内存读。 两者并不冲突。

虽然volatile就叫做易变关键字,但这里仅仅是描述它修饰的变量可能会变化,要编译器注意,并不是它要求对应变量必须变化!这点要特别注意。  

相关文章
|
1月前
|
存储 数据可视化 编译器
【C语言】union 关键字详解
联合体(`union`)是一种强大的数据结构,在C语言中具有广泛的应用。通过共享内存位置,联合体可以在不同时间存储不同类型的数据,从而节省内存。在嵌入式系统、硬件编程和协议解析等领域,联合体的使用尤为常见。理解和正确使用联合体可以使代码更加高效和灵活,特别是在内存受限的系统中。
105 3
【C语言】union 关键字详解
|
1月前
|
编译器 C语言
【C语言】extern 关键字详解
`extern` 关键字在C语言中用于跨文件共享变量和函数的声明。它允许你在一个文件中声明变量或函数,而在其他文件中定义和使用它们。理解 `extern` 的使用可以帮助你组织和管理大型项目的代码。
181 3
|
1月前
|
C语言
【C语言】break 关键字详解
- `break` 关键字用于提前退出循环体或 `switch` 语句的执行。 - 在 `for`、`while` 和 `do-while` 循环中,`break` 可以帮助程序在满足特定条件时退出循环。 - 在 `switch` 语句中,`break` 用于终止 `case` 代码块的执行,避免代码“穿透”到下一个 `case`。 - 注意 `break` 只会退出最内层的循环或 `switch` 语句,确保在嵌套结构中正确使用 `break` 以避免意外的控制流行为。
133 2
|
1月前
|
传感器 安全 编译器
【C语言】enum 关键字详解
`enum`关键字在C语言中提供了一种简洁而高效的方法来定义一组相关的常量。通过使用枚举,可以提高代码的可读性、可维护性,并减少错误的发生。在实际应用中,枚举广泛用于表示状态、命令、错误码等,为开发者提供了更清晰的代码结构和更方便的调试手段。通过合理使用枚举,可以编写出更高质量、更易维护的C语言程序。
136 2
|
1月前
|
缓存 安全 编译器
【C语言】volatile 关键字详解
`volatile` 关键字在 C 语言中用于防止编译器对某些变量进行优化,确保每次访问该变量时都直接从内存中读取最新的值。它主要用于处理硬件寄存器和多线程中的共享变量。然而,`volatile` 不保证操作的原子性和顺序,因此在多线程环境中,仍然需要适当的同步机制来确保线程安全。
77 2
|
1月前
|
存储 编译器 程序员
【C语言】auto 关键字详解
`auto` 关键字用于声明局部变量的自动存储类,其作用主要体现在变量的生命周期上。尽管现代C语言中 `auto` 的使用较少,理解其历史背景和作用对于掌握C语言的存储类及变量管理仍然很重要。局部变量默认即为 `auto` 类型,因此在实际编程中,通常不需要显式声明 `auto`。了解 `auto` 关键字有助于更好地理解C语言的存储类及其在不同场景中的应用。
73 1
|
1月前
|
C语言
【C语言】continue 关键字详解
`continue` 关键字在 C 语言中用于跳过当前循环中的剩余代码,并立即开始下一次迭代。它主要用于控制循环中的流程,使程序在满足特定条件时跳过某些代码。
134 1
【C语言】continue 关键字详解
|
1月前
|
存储 C语言
【C语言】static 关键字详解
`static` 关键字在C语言中用于控制变量和函数的作用域和生命周期。它可以用于局部变量、全局变量和函数,具有不同的效果。理解 `static` 关键字的用法有助于封装和管理代码,提高代码的可维护性和可靠性。
61 3
|
1月前
|
C语言
【C语言】return 关键字详解 -《回家的诱惑 ! 》
`return` 关键字在 C 语言中用于终止函数的执行,并将控制权返回给调用者。根据函数的类型,`return` 还可以返回一个值。它是函数控制流中的重要组成部分。
101 2
|
1月前
|
C语言
【C语言】sizeof 关键字详解
`sizeof` 关键字在C语言中用于计算数据类型或变量在内存中占用的字节数。它是一个编译时操作符,对性能没有影响。`sizeof` 可以用于基本数据类型、数组、结构体、指针等,了解和正确使用 `sizeof` 对于内存管理和调试程序非常重要。
84 2

热门文章

最新文章