C++中的作用域与生命周期


Pascal之父Nicklaus Wirth曾经提出一个公式,展示出了程序的本质:程序=算法+数据结构。后人又给出一个公式与之遥相呼应:软件=程序+文档。这两个公式可以简洁明了的为我们展示程序和软件的组成。

程序的运行过程可以理解为算法对数据的加工过程,程序的运行的结果,就是算法加工数据产生的结果数据。算法描述的是对数据加工的步骤,对应于程序中的函数。数据结构描述的是数据在计算机中的组织结构,对应于程序中的数据类型。程序中数据对应的就是无处不在变量。对于我们编程人员,面对的无非就是函数,数据类型和变量。因此,C++谈及作用域与生命周期针对的就是这三大程序的组成要素:函数、数据类型和变量。下面将一一讲述。


1.作用域与生命周期的区别

作用域与生命周期是完全两个不同的概念。在英文中个,作用域用“scope”表示,生命周期则用“duration”表示。作用域是一个静态概念,只在编译源程序的时候用到。一个标识符的作用域指在源文件中该标识符能够独立地合法出现的区域。生命周期则是一个运行时(Runtime)概念,它是指一个变量在整个程序从载入到结束运行的过程中存在的时间周期。由于函数和数据类型是静态的概念,它们没有生命周期的说法,它们从编译时、程序的运行到结束整个过程是一直存在的。

C++中作用域的级别主要有文件域(全局作用域)、命名空间域、类域、函数作用域和代码块作用域(局部域)。

2.函数的作用域

函数分为类的成员函数和全局函数。

类的成员函数: - 作用域:类域。 - 生命周期:无(程序运行期一直存在)。 - 引用方法:其他文件中要使用必须用点操作符(.)或作用域运算符(::)来引用。 - 内存分布:代码区。 - 注意:类成员函数可以定义在类体内,即定义在头文件,当类被不同源文件包含时不会报重定义的错误,因为作用域被限制在类体中。

举例如下:

//main.cpp
class test
{
private:
    int i;
public:
    void show()
    {
        cout<<"i:"<<i<<endl;
    }
};
int main(int argc,char* argv[])
{
    test t;
    t.show()
}

全局函数: - 作用域:文件域(全局作用域)。 - 生命周期:无(程序运行期一直存在)。 - 引用方法:其他文件中要先进行函数原型声明,再使用。 - 内存分布:代码区。 - 注意:如果在两个源文件中定义了同名的全局函数,连接时会出现重定义错误。

举例如下:

//function.cpp
void printHello()
{
    cout<<"hello world"<<endl;
}

//main.cpp
void printHello();
int main(int argc,char* argv[])
{
    printHello();
}

3.数据类型的作用域

C++中的数据类类型分为基本数据类型和非基本数据类型,非基本数据类型中又分为复合数据类型和构造数据类型。关于C++中的数据类型,详见本人另一篇blog: C++数据类型.

基本数据类型: 基本数据类型包括整型(int)、实型(float和double)、字符型(char)、布尔型(bool)和无值型(void)。

  • 作用域:文件域(全局作用域)。
  • 生命周期:无(程序运行期一直存在)。
  • 引用方法:无需申明,直接使用。
  • 内存分布:代码区。

复合数据类型: 复合数据类型包括:数组(type[])、指针(type*)、引用(type&)、枚举(enum)。

如果复合数据类型是构造数据类型参与的复合,其作用域与构造数据类型一致。enum枚举类型的作用域与构造类型相同。

构造数据类型: - 作用域:类型定义所在的域,其他文件不可见。 - 生命周期:无(程序运行期一直存在)。 - 引用方法:其他文件中要先进行定义,再通过作用域运算符进行使用。 - 内存分布:代码区。 - 注意:只要文件不互相包含,如果在两个源文件中定义了同名的构造,不会出现重定义错误,因为数据类型不具有外部连接性。

举例如下:

//main.cpp
namespace dd{
   class test
   {
   private:
    int i;
   public:
    void show()
    {
        cout<<"i:"<<i<<endl;
    }
   };
}
using namespace dd;//引用命名空间域中的构造类型test,否则无法使用
int main(int argc,char* argv[])
{
    test t;
    t.show();
}

4.变量的作用域与生命周期

我们面对的变量主要分为全局变量、全局静态变量、局部变量和局部静态变量。下面一一讲述他们的作用域与生命周期。

全局变量: - 作用域:全局作用域(全局变量只需在一个源文件中定义,就可以作用于所有的源文件); - 生命周期:程序运行期一直存在; - 引用方法:其他文件中要使用必须用extern 关键字声明要引用的全局变量。; - 内存分布:全局/静态存储区; - 注意:如果在两个文件中都定义了相同名字的全局变量,连接出错:变量重定义。

举例如下:

//define.cpp  
int g_iValue = 1;  

//main.cpp  
extern int g_iValue;  

int main()  
{  
    cout << g_iValue;  
    return 0;  
}  

全局静态变量: - 作用域:文件作用域(只在被定义的文件中可见); - 生命周期:程序运行期一直存在; - 内存分布:全局/静态存储区; - 定义方法:static关键字,const 关键字; - 注意:只要文件不互相包含,在两个不同的文件中是可以定义完全相同的两个静态变量的,它们是两个完全不同的变量。

举例如下:

//define.cpp  
const int iValue=8;   

//main.cpp
int iValue;  
static const int iValue_2;  
static int iValue_3;  
int main(int argc,char* argv[])
{
    cout<<"iValue:"<<iValue<<endl;
    return 0;
}

局部变量: - 作用域:局部作用域(只在局部作用域中可见,如函数域,代码块域); - 生命周期:程序运行出局部作用域即被销毁; - 内存分布:栈区; - 注意:auto指示符标示。

举例如下:

void print()
{
    int a=0;
    cout<<a<<endl;
}

局部静态变量: - 作用域:局部作用域(只在局部作用域中可见); - 生命周期:程序运行期一直存在; - 内存分布:全局静态存储区; - 定义方法:局部作用域用中用static定义; - 注意:只被初始化一次,多线程中需加锁保护。

举例如下:

void function()  
{  
    static int iREFCounter = 0;  
}  

5.扩展知识点

1.变量存储说明符 C语言中提供了存储说明符auto,register,extern,static说明的四种存储类别。四种存储类别说明符有两种存储期:自动存储期和静态存储期。其中auto和register对应自动存储期。具有自动存储期的变量在进入声明该变量的程序块是被建立,它在该程序块活动时存在,退出该程序块时撤销。静态存储期从程序载入运行到程序结束一直存在。

2.static使用建议 (1)若全局变量仅在单个C文件中访问,则可以将这个变量修改为静态全局变量,以降低模块间的耦合度; (2)若全局变量仅由单个函数访问,则可以将这个变量改为该函数的静态局部变量,以降低模块间的耦合度; (3)设计和使用访问动态全局变量、静态全局变量、静态局部变量的函数时,需要考虑重入问题,因为他们都放在静态数据存储区,可被其他函数共享; (4)如果我们需要一个可重入的函数,那么,我们一定要避免函数中使用static变量这样的函数被称为:带“内部存储器”功能的的函数; (5)函数中必须要使用static变量情况:比如当某函数的返回值为指针类型时,则必须是static的局部变量的地址作为返回值,若为auto类型,则返回为野指针。

参考文献

[1] http://blog.csdn.net/yunyun1886358/article/details/5632087 [2] C++高级进阶教程.陈刚.武汉大学出版社

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏aCloudDeveloper

C++primer笔记之关联容器

在这一章中,有以下的几点收获: 1、pair类型的使用相当频繁,如果需要定义多个相同的pair类型对象,可考虑利用typedef简化其声明: typedef p...

21090
来自专栏iOS技术杂谈

Java8 Lambda表达式与Stream API (二): Stream API的使用你要知道的Java8 匿名内部类、函数式接口、lambda表达式与Stream API都在这里

你要知道的Java8 匿名内部类、函数式接口、lambda表达式与Stream API都在这里 转载请注明出处 https://cloud.tencent.co...

55060
来自专栏向治洪

Promise机制详解

Javascript 采用回调函数(callback)来处理异步编程。从同步编程到异步回调编程有一个适应的过程,但是如果出现多层回调嵌套,也就是我们常说的厄运的...

36570
来自专栏Python爬虫与数据挖掘

Python正则表达式初识(八)

继续分享Python正则表达式的基础知识,今天给大家分享的特殊字符是“\w”和“\W”,具体的教程如下。

10820
来自专栏北京马哥教育

Python 面试问答 Top 25

Python 是一种解释型,交互式,面向对象的高级编程语言。和别的一些使用标点符号的语言不同,Python使用了大量的英语单词作为关键字,因而具有很好的可读性...

35760
来自专栏LanceToBigData

JavaSE(十一)之异常处理详解

一、异常概述   在我们日常生活中,有时会出现各种各样的异常,例如:职工小王开车去上班,在正常情况下,小王会准时到达单位。但是天有不测风云,在小王去上班时,可能...

20290
来自专栏JavaEdge

Java语法糖1 泛型与类型擦除

39070
来自专栏我是攻城师

理解Java8的数据类型和运行时数据区域

Java虚拟机包含对对象的显式支持,对象要么是动态分配的类实例,要么是静态数组,对对象的引用我们可以叫做指针或者引用,一个对象可以有多个引用,对象总是通过引用的...

17030
来自专栏闻道于事

问题整理

  相关子查询,无关子查询 所谓相关子查询,是指求解相关子查询不能像求解普通子查询那样,一次将子查询求解出来,然后求解父查询。相关子查询的内层查询由于与外层查询...

30940
来自专栏magicsoar

C++获取private的变量-偷走private

private提供了对数据的封装,使得private成员只能被类自身的成员函数以及类的友元访问,其他的函数或者类想要访问private成员只能通过该类所提供的s...

189100

扫码关注云+社区

领取腾讯云代金券