C++:数据的共享与保护
标识符的作用域与可见性:
作用域:指的是标识符的有效范围,一个标识符在程序正文中有效的区域
c++作用域:
- 函数原型作用域
- 块作用域(局部作用域)
- 类作用域
- 文件作用域(命名空间作用域) c++标准程序库的所有标识符都被声明在 std 命名空间中 该空间的变量也称为: 全局变量
可见性:标识符是否可以引用的问题。声明在前,引用在后
若有两个或多个具有包含关系的作用域, 外层声明的标识符如果在内层没有声明同名标识符时仍可见
如果内层声明了同名标识符则外层标识符不可见
using namespace std : 指的是标识符的各种可见范围,C++标准程序库中的所有标识符都被定义在一个名为std的namespace中
对象的生存期:
- 静态生存期:对象的生存期与程序的运行期相同,则它具有静态生存期
- 如果要在函数的局部作用域中声明具有静态生存期的对象,则要使用关键字 static
- 局部作用域中静态变量特点:它不会随着函数调用而产生一个副本,也不会随着函数返回而失效
- 定义时未指定初值的基本类型静态变生存期量,会被赋予0值初始化
- 动态生存期:局部生存期对象诞生于声明点,结束于声明所在的块执行完毕之时
类的静态成员:
结构化程序模块间对内存数据的共享:(两个途径)参数传递,全局变量
面向对象中:
静态成员:解决同一个类的不同对象之间数据和函数共享问题
- 静态数据成员
- 类属性是描述类的所有对象共同特征的一个数据项, 对于任何对象实例,它的属性值是相同的
- 必须在命名空间作用域的某个地方使用类名限定定义性声明,这时,也可以进行初始化
- 静态函数成员(static关键字声明的函数成员)
- 静态成员函数可以直接访问该类的静态数据和函数成员。
- 而访问非静态成员,必须通过对象名
类的友元:
友元关系: 提供了不同类或对象的成员函数之间、类的成员函数与一般函数之间进行数据共享的机制
优点:实现数据共享
缺点: 一定程度上对数据隐蔽和封装的破坏
- 友元函数:
- 友元函数 :是类中用关键字friend修饰的非成员函数
- 友元函数可以是一个普通函数,也可以是其他类的成员函数
- 友元函数不是本类的成员函数,但是在它的函数体中可以通过对象名访问类的私有和保护成员
- 友元类:
- 若A类为B类的友元类,则A类的所用成员函数都是B类的友元函数,都可以访问B类的私有和保护成员
关于友元,几点说明:
- 友元关系是不能传递的
- 友元关系是单向的
- 友元关系是不被继承
共享数据的保护:
- 常对象:
- 它的数据成员值在对象的整个生存期间内不能被改变(常对象必须进行初始化,而且不能被更新)
- 语法形式: const 类型说明符 对象名;
- 用 const 修饰的类成员:
常成员函数:
- 声明格式:类型说明符 函数名 (参数表) const;
注意:
- const 函数类型的一个组成部分, 因此函数定义部分也要带const关键字
- 一个对象声明为常对象,通过常对象只能调用它的常成员函数,而不能调用其他成员函数(c++语法机制对常对象的保护,也是常对象的唯一对外接口方式)
- 无论是否常对象调用常成员函数,在常成员函数调用期间,目的对象都被视为常对象,因此常成员函数不能更新目的对象的数据成员,也不能针对目的对象调用该类中没有用const修饰的成员函数(这就保证了常成员函数不会更改目的对象的数据成员的值)
- const 关键字可以用于对重载函数的区分
习惯:
在适当的地方使用 const 关键字,是能够提高程序质量的一个好习惯。对于无需改变对象状态的成员函数,都应当使用 const
常数据成员:
- 如果一个类中说明了常数据成员, 那么任何函数都不能对该成员赋值
- 构造函数对该成员初始化, 只能通过初始化列表 eg: A : : A ( int i ) : a(i){} A:类 a : 常数据成员
- 类的静态常量如果具有整数类型或枚举类型,那么可以直接在类的定义中为它指定常量值 eg: static const int b = 10; b : 静态常量
常引用:声明引用时用const修饰
- 常引用所引用的对象不能被更新(如果常引用作形参,便不会意外地发生对实参的改变)
- 声明形式: const 类型说明符 & 引用名;
- 对于基本类型的常引用,则不能为数据赋值
- 对于类类型的常引用,则不能修改它的数据成员,也不能调用它的非const的成员函数
常引用适用情况:
- 在函数中无需改变其值的参数(避免常对象无法被传入:因为普通引用不能绑定到常对象,常引用才能绑定到常对象)
- 对于大对象来说,传值耗时较多,因此传递常引用为宜
- 复制构造函数的参数一般也宜采用常引用传递
多文件结构和编译预处理命令:
- c++程序的组织结构:
- 通常一个项目至少划分为3个文件: 类定义文件(*.h文件)、类实现文件(*.cpp 文件)、类的使用文件(* . cpp 主函数文件) 这样组织结构的好处:可以对不同的文件进行单独编写、编译,最后再连接,同时可以充分利用类的封装特性
- 决定一个声明放在源文件还是头文件的一般原则:
将需要分配空间的定义放在源文件中: 例如 函数的定义(需要为函数代码分配空间)、命名空间作用域中变量的定义(需要为变量分配空间)等;
而将不需要分配空间的声明放在头文件中 例如 类声明、外部函数的原形声明、外部变量的声明、基本数据类型的常量的声明等。
内联函数 若被多个编译单元调用,它的代码应该被各个编译单元可见,这些内联函数的定义应当出现在头文件中
- 外部变量与外部函数:
外部变量:
- 命名空间作用域定义的变量,默认情况下都是外部变量,但在其他文件中如果需要使用这一变量,需要用 extern 关键字加以声明
- 外部变量是可以为多个源文件所共享的全局变量
- 外部变量可以有多处声明,但是对变量的定义性声明只能是唯一的
外部函数:
所有类之外声明的函数(也就是非成员函数),都是具有命名空间作用域的, 如果没有特殊说明;
如果没有特殊说明,这样的函数都可以在不同的编译单元中被调用,只要在调用之前进行引用性声明(即声明函数原型)即可
也可以在声明函数原型和定义函数时用extern修饰,其效果与不加修饰的默认状态是一样的
重要!:通常情况下,变量和函数的定义都放在源文件中, 而对外部变量和外部函数的引用性声明则放在头文件中
将变量和函数限制在编译单元内:
- static 关键字用来修饰命名空间作用域的变量或函数时,和extern关键字起相反的作用
- static 关键字修饰的变量和函数无法被其他编译单元引用
3种用法:1):局部作用域(函数调用或返回不会对其重新赋值)
2):类作用域(实现类中成员共享数据)
3):命名空间作用域(限制使用权限在编译单元中)
共同点:凡是被static修饰的变量,都具有静态生存期
3. 匿名的命名空间:匿名的命名空间中定义的变量和函数都不会暴露给其他编译单元
- 标准c++库
using namespace 语句不宜放在头文件中,因为这会使一个命名空间不被察觉地对一个源文件开放
- 编译预处理
- #include 命令 (可嵌套使用)
1)# include<文件名>
按标准方式搜索,文件位于系统目录的include子目录下;
2)# include“文件名”
首先在当前目录中搜索,若没有,再按标准方式搜索;
2. #define 和 #undef
C 语言中, # define PI 3.14
C++,虽然扔可以这样定义符号常量,但最好的方法是在类型说明语句中用const 进行修饰
C语言中, #define 定义参数宏
C++中被内联函数取代
#define 可以定义空符号,例如:
#define MYHEAD_H
定义它的目的,仅仅是表示“MYHEAD_H已经定义过“这样一种状态。将该符号配合条件编译指令一起使用,可以起到一些特殊作用,这是#define 在C++中的最常用之处
#undef 的作用是删除由 # define 定义的宏,使之不再起作用
3. 条件编译指令:
限定某些内容要在满足一定条件的情况下才参与编译:
平时最常用的: eg: # ifndef 标识符
程序段1
#endif
有好多种种形式,这里不一一列举
4. defined 操作符
是一个预处理操作符,而不是指令,因此不要以 # 开头
如果”标识符“在此前经 #define 定义过,并且未经 #undef 删除,则上述表达式为非0,否则上述表达式为0
好处:由于文件包含指令可以嵌套使用,在设计程序时,要避免多次重复包含一个头文件,否则会引起变量及类的重复定义