【学习笔记】C++语言程序设计（郑莉）：数据的共享与保护

---

数据的共享与保护机制是C++的重要特性之一。本篇介绍标识符的作用域、可见性和生存期的概念，以及类成员的共享与保护问题。

1. 标识符的作用域与可见性

作用域讨论的是标识符的有效范围，可见性讨论的是标识符是否可以被引用。

1.1 作用域

作用域是一个标识符在程序正文中有效的区域。 C++中标识符的作用域有函数原型作用域、局部作用域、类作用域和命名空间作用域。

1.1.1 函数原型作用域

在函数原型声明时形式参数的作用范围就是函数原型作用域。

// 标识符radius的作用范围就在函数area形参列表的左右括号之间
double area(double radius);

1.1.2 局部作用域

函数形参列表中形参的作用域，从形参列表中的声明处开始，到整个函数体结束之处为止。函数体内声明的变量，其作用域从声明处开始，一直到声明所在的块结束的大括号为止。具有局部作用域的变量也称为局部变量。

void fun(int a){ //形参 a 的作用域从 a 的声明处开始，直到 fun 函数的结束处为止
	int b = a;   //变量 b 的作用域从 b 的声明处开始，到它所在的块结束为止
	cin >> b;
	if (b > 0){
		int c;   //变量 c 的作用域从 c 的声明处开始，到它所在块结束为止
		c++;
	}
}

1.1.3 类作用域

• 如果在X的成员函数没有声明同名的局部作用域标识符，那么在该函数内可以直接访问成员 m。
• 通过表达式 x.m 或者 X::m。这也是程序中访问对象成员的最基本的方法。
• 通过 ptr->m，其中 ptr 为指向X类的一个对象的指针。

1.1.4 命名空间作用域

一个命名空间确定了一个命名空间作用域，凡是在该命名空间之内声明的、不属于前面所述各个作用域的标识符，都属于该命名空间作用域。在命名空间内部可以直接引用当前命名空间中声明的标识符，如果需要引用其他命名空间的标识符，需要使用 命名空间名::标识符名来引用。具有命名空间作用域的变量也称为全局变量。

---

1.2 可见性

程序运行到某一点，能够引用到的标识符，就是该处可见的标识符。作用域可见性的一般规则如下：

• 标识符要声明在前，引用在后
• 在同一作用域中，不能声明同名的标识符
• 在没有互相包含关系的不同的作用域中声明的同名标识符，互不影响
• 如果在两个或者多个具有包含关系的作用域中声明了同名标识符，则外层标识符在内层不可见

---

2. 对象的生存期

在生存期内，对象将保持它的状态（即数据成员的值），变量也将保持它的值不变，直到它们被更新为止。对象的生存期可以分为静态生存期和动态生存期。

• 静态生存期
  如果对象的生存期与程序的运行期相同，则称它具有静态生存期。在命名空间作用域中声明的对象都是具有静态生存期的。如果要在函数内部的局部作用域中声明具有静态生存期的对象，则要使用关键字 static。局部作用域中的静态变量不会随着每次函数调用而产生一个副本，也不会随着函数返回而失效。
• 动态生存期
  局部生存期对象诞生于声明点，结束于声明所在的块执行完毕之时。

---

3. 类的静态成员

• 静态数据成员
  采用关键字 static 来声明静态成员。静态数据成员具有静态生存期，访问方式为 类名::标识符
• 静态函数成员
  使用关键字 static 来声明的函数成员。通过类名或对象名来调用。静态函数成员可以直接访问该类的静态数据和函数成员。而访问非静态成员，必须通过对象名。

4. 类的友元

友元关系提供了不同类或对象的成员函数之间、类的成员函数与一般函数之间进行数据共享的机制。

• 友元函数
  友元函数是在类中用关键字 friend 修饰的非成员函数。虽然它不是本类的成员函数，但是在它的函数体中可以通过对象名访问类的私有和保护成员。
• 友元类
  若A类为B类的友元类，则A类的所有成员函数都是B类的友元函数，都可以访问B类的私有和保护成员。

  //声明友元类语法格式
  calss B{
  	...              //B 类的成员声明
  	friend class A;  //声明 A 为 B 的友元类
  	...
  };
  

  • 友元关系是不能传递的
  • 友元关系是单向的
  • 友元关系是不被继承的

5. 共享数据的保护

• 常对象
  常对象的数据成员值在对象的整个生存期内不能被改变，常对象必须进行初始化，而且不能被更新。

  //声明常对象语法格式
  const 类型说明符 对象名；
  };
  

• 用 const 修饰的类成员
  • 常成员函数
    使用 const 关键字修饰的函数为常成员函数。对于无须改变对象状态的成员函数，都应该使用const。

    // 常成员函数声明格式
    类型说明符 函数名（参数表）const;
    

  • 常数据成员
    使用 const 说明的数据成员即为常数据成员，在任何函数中都不能对该成员赋值。
• 常引用
  常引用即为在声明引用时用 const 修饰，常引用所引用的对象不能被更新。

  //声明常引用语法格式
  const 类型说明符 &引用名；
  };
  

---

课程链接：https://www.bilibili.com/video/BV1iF411Y74v