查看: 4585|回复: 9

概观C++程序设计语言(C程序设计模型)

字体大小: 正常放大

韩冰

823 主题	3 听众	4048 积分

我的地盘我做主

该用户从未签到

电梯直达

1^#

发表于 2005-1-25 17:54 |只看该作者 |倒序浏览

|招呼Ta 关注Ta

<TABLE width="100%" border=0>

<TR>
<TD width="7%"> </TD>
<TD width="85%">
<DIV class=Section1 style="LAYOUT-GRID: 15.6pt none">
<

align=center>
<

>3 C程序设计模型（The C Programming Model）
<

> 
<

>　　计算机中有一个被广泛使用的基本概念一直是保持固定不变的：存储区（memory）是word或byte的序列，通过被称为地址的整数来进行索引。现代的计算机——即近20年内设计的计算机——都倾向于对函数调用使用栈的方法进行直接的支持；而更为甚之的是，所有流行的机器都有一些诸如输入、输出之类的重要设施，这些设施与传统的面向word或byte的计算和存储模型并不能很好的相适应。这些设施总是需要通过特殊的机器指令或者特别的语义来访问存储区。而从一个高级语言的角度来看，不管用那种方法，对这些设施的使用者而言都是麻烦的，而且与特定机器的体系结构有关。
<

>　　在对这方面的处理上，C是最为成功的一门语言，它所提供的程序设计模型能够与机器包含的模型很好的相适应。C提供独立于机器体系结构的、语言层面的方法；这种方法能与关键的硬件方法相对应：字符用byte，整数用word，指针用于地址，函数用于对程序的抽象。C还摒弃了一些在这方面具有约束性的语言特性，使得程序员可以在必要时亲自操纵特定的硬件层细节。在那些依赖并利用机器的某些特定设计而得到益处的领域里，C就显得相对更容易学和更容易使用一些。更何况，C是如此容易实现——它几乎已经变得随处可得了。
<

> 
<

>3．1 数组和指针（Arrays and Pointers）
<

>在C中，一个数组只是一片存储区域。例如：
<

align=left>int v[10];　 // 10个int型变量的数组
<

align=left>v[3] = 1; // 将1赋值给v[3]
<

>int x = v[3]; // 从v[3]读取元素值
<

>表示下标的标记 [] 用在声明中，表示声明的对象是数组；用在表达式中，表示数组的元素。
<

>一个C语言中的指针是指一个变量，它存放着某个存储位置的地址。例如：
<

>int* p; // p是一个指向int型对象的指针
<

>p = &v[7]; // 将v[7]的地址赋给p
<

>*p = 4; // 通过p来向v[7]写入数据
<

>int y = *p; // 通过p来读取v[7]的数据

　　 
<

>　　指针的提领（dereference,“指向”的意思）标记 * 用在声明中，表示声明的对象是指针；用在表达式中，表示取指针所指向的那个元素。
<

>这可以用下图表示：
<

align=center><v:shapetype><v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0 "></v:f><v:f eqn="sum @0 1 0 "></v:f><v:f eqn="sum 0 0 @1 "></v:f><v:f eqn="prod @2 1 2 "></v:f><v:f eqn="prod @3 21600 pixelWidth "></v:f><v:f eqn="prod @3 21600 pixelHeight "></v:f><v:f eqn="sum @0 0 1 "></v:f><v:f eqn="prod @6 1 2 "></v:f><v:f eqn="prod @7 21600 pixelWidth "></v:f><v:f eqn="sum @8 21600 0 "></v:f><v:f eqn="prod @7 21600 pixelHeight "></v:f><v:f eqn="sum @10 21600 0 "></v:f></v:formulas><v:path connecttype="rect" gradientshapeok="t" extrusionok="f"></v:path><lock v:ext="edit" aspectratio="t"></lock></v:shapetype><v:shape><v:imagedata src="11560image001.gif" title="crc01"></v:imagedata></v:shape>
<

>　　C++引借了C的这种颇为简单的、与机器结构极为近似的存储方案，同时也引借了C在表达式、控制结构以及函数等方面所使用的方案。例如，我们可以像下面这样写一个函数，其功能是在vector里查找一个元素并返回一个指向匹配元素的指针：
<

>int* find(int v[], int vsize, int val) //在v中查找val
<

>{
<

>for(int i = 0; i < vsize; i++) //从0到vsize-1的循环
<

> if (v == val) return &v; //如果找到val，就返回指向元素的指针
3 n2 W6 p9 V( {5 L. p- b0 f3 O# V< >return &v[vsize]; //如果没找到，就返回v末端元素的指针, j7 M; ]5 d/ @9 |2 B
<>}
. b' s+ p9 F y* N& M: M. e& p<>++运算符意即“增量”。因此“C++”这个名称可以理解为“多于C”、“换代的C”或者“C之加强版”。“C++”的发音是“See Plus Plus”（译注：拟音作“斯伊普拉斯普拉斯”）。; k, U* y: f4 ] V( N% r2 I
< >find()函数可以像这样使用：
% Z' c4 |% x$ W( h< >int count[] = {2, 3, 1, 9, 7, 3, 3, 0, 2};
2 N6 B: E# \3 h: T9 x* n" ]4 hint count_size = 9;: E8 x. c0 v& N" n1 c5 S" _4 H2 C/ t
void f()
! Y" O* f' R* F{
! l) H6 G1 `3 `$ H- Xint* p = find(count, count_size, 7); //在count中查找76 X$ I4 X, A! j& r, o: H3 A
int* q = find(count, count_size, 0); //在count中查找0+ u. |5 ^9 q+ T4 r# `6 n% v
*q = 4;
* P/ t2 I& G! t+ @3 x0 D( W// …/ g, g1 J7 I2 {* C) o% a) O
}! z: H4 i% ~3 j9 H
对于诸如find()这样的函数，C++标准程序库提供了更为通用的函数版本；详见§6.3。像上面代码中f()那样被声明为void的函数不返回任何值。
2 q+ a: N& X, { 
8 C: y7 `1 X% K0 i2 \3．2 存贮（Storage）+ P& `* t0 {* P* P( P
在C和C++中，有三种使用存储区的基本方式：
/ n* c; ^$ x [+ {* Al [静态存储区（Static Memory）]
$ z. U- p& H, E% H在静态存储区中，连接器（linker）根据程序的需求为对象分配空间。全局变量、静态类成员以及函数中的静态变量都被分配在该区域中。一个在该区域中分配的对象只被构造一次，其生存期一直维持到程序结束。在程序运行的时候其中的地址是固定不变的。在使用线程（thread,共享地址空间的并发物）的程序里，静态对象可能会引起一些问题，因为这时的静态对象是被共享的，要对其正常访问就需要进行锁定操作。: }8 n# \9 X# p; `- a+ k4 ^ P
l [自动存储区（Automatic Memory）]* k9 w; o8 ~, @+ I/ `: M! Q* @
函数的参数和局部变量被分配在此。对同一个函数或区块的每一处调用，其在该区域内都有自己单独的位置。这种存储被自动创建和销毁；因而才叫做“自动存储区”。自动存储区也被称为是“在栈上的（be on the stack）”。
2 s; L* p* |: [5 q+ R/ _l [自由存储区（Free Store）]
8 l$ A% P% K) v6 Z在该区域中，程序必须明确的为对象申请空间，并可以在使用完毕之后释放申请到的空间（使用new和delete运算符）。当程序需要其中更多的空间时，就使用new向操作系统提出申请。通常情况下，自由存储区（也被称作动态存储区或者堆（heap））在一个程序的生存期内是不断增大的，因为其间被其它程序占用的空间从来都不被归还给操作系统。例如：+ {; ~ I6 o/ O9 ]. Y
int g = 7; //全局变量，分配在静态存储区中
! F. i6 F: ~6 v. ^. g0 u$ l Lvoid f()
+ `# e, L9 X6 C5 n2 V8 G0 c- }{
% Y6 h A( R/ P! j3 o* B: u. J2 _int loc = 9; //局部变量，分配在栈（stack）中
& X) o/ V2 \# X, \& hint* p = new int; //变量被分配在自由存储区中0 J3 |% M7 G5 f; {
// …
! \( R0 }2 }# N! G c+ jdelete p; //归还p所指向的区域，以便重新使用
% v% y5 R& V/ i3 H" B}
! q1 U* k, u# T　　对程序员来说，自动存储区和静态存储区总是被隐式的使用，这种方式既简单又一目了然。真正有趣的问题是应该如何管理自由存储区。分配空间（使用new运算符）是很简单的，但在去配的时候，则必须有一个完善的归还空间的方案；否则的话，存储空间最终会被耗尽（特别是在长时间运行的程序中）。' \7 Z5 w& D) x/ W+ n9 V( [
　　对于这个问题，最简单的解决方案就是使用与自由存储区中的对象相对应的自动对象来处理分配和去配。基于此，许多container在实现的时候，都被作为自由存储区中对象的掌控者（handle）。例如，一个string（§6.1）被用来管理自由存储区中的字符序列：6 z; C9 _9 ^. C$ a G/ d3 O- c
<v:shape><v:imagedata src="11560image002.gif" title="crc02"></v:imagedata></v:shape>
9 V, V% T1 P; C& {& e5 m这个string可以自动的对各个元素所需要的空间进行分配和释放。例如：( N$ R& j5 W* D* B
void g()8 A: \# h3 A; v2 Q1 C0 B1 B- O
{9 p# J) Z7 K# G- G9 V2 [
string s = “Time flies when you’re having fun”; //创建string对象
8 W3 i0 k j3 E' v. [5 Y' J* e8 z// … 9 H% Z, F3 Y& [0 Y C
} //隐式的销毁string对象* @3 e! Z0 d1 M6 U$ ?1 A; c! S# Q( C
§4.2.1中关于Stack的例子将演示构造函数和析构函数如何被用来管理存储区中元素的生存期。所有标准container（§6.2）——诸如vector、list和map等——都能以这种简便的方式实现。
: \) b6 Y; k0 s( R' Z; Q8 v7 p当这种简单、规整且有效的方案仍然不够用的时候，程序员也许会使用一种所谓的“内存管理器”，以查找那些不再被引用的（译注：即废弃了的）对象，并通过它来收回被那些对象占用的空间，以便将其用于存放新的对象。这种内存管理机制通常被称为垃圾自动收集机制（automatic garbage collection），或者简称为垃圾收集机制（garbage collection）。当然，相应的这种内存管理器就被称为垃圾收集器（garbage collector）。目前有很多适用于C++的垃圾收集器之商业产品或免费实现可供使用，但是垃圾收集器并不是一个典型C++实现的标准部件。 |2 {& Y2 m$ G2 n
 
4 C* I; z: J9 H k. j: Y3．3 编译、连接和执行（Compile, Link, and Execute）7 ?( s9 m7 m! ~. r. W% \1 P( m6 `8 D' h
　　传统的C或C++程序由若干源文件组成，它们会被分别编译成为目标文件。这些目标文件最后再被连接到一起，生成程序的可执行文件形式。* `% y/ }; S- L% W* m
　　每一个被单独编译的程序段（program fragment）必须包含足够的信息，使其能与其它的程序段正确的连接在一起。编译器在编译独立的程序段（翻译单元translation unit）时，会检查大部分语言规则方面的问题。连接器（linker）进行的检查是为了保证：不同编译单元中各个名称的完整性；每一个名称与被正确定义的东西相关联。典型的C++运行期环境几乎不对执行的代码做任何检查。如果需要在运行期进行某些检查，程序员必须自己在源文件中提供相关的代码。* A3 l( p$ k0 G) M' i- b N0 y
　　C++解释器和动态连接器也只能轻微的缓解这种“无法进行自动的运行期检查”之情况，即将某些检查推迟到第一次使用相关代码段的时候再进行。
: m$ e+ ~: h+ ^8 V% O" q例如，我们可以写一个简单的求阶乘的程序，将其划为一个独立的源文件fact.c：2 {7 o: P$ a4 M0 e
//fact.c文件! s1 h1 l3 z" ]3 ~
#include “fact.h”8 n/ f+ Q$ j, O' z: w/ Y* j ~
long fact(long f) //利用递归计算阶乘+ G; ]2 L9 M7 q1 u4 N9 C) q- F$ A
{
* ?6 ]. i# Z4 _* eif (f > 1)4 C4 c$ ]% n# _$ ^
 return f*fact(f-1);
! o' i1 \$ D+ {else9 Q% A6 O* }9 S k! [( ~
 return 1;4 N6 T$ j6 N- Y& {
}* g) z% b# @6 v5 G1 L
每一个被单独编译的程序段都有一个接口，这个接口包含了使用这个程序段所需的尽量少但足够用的信息。对于fact.c这个程序段而言，这个接口包含了fact()函数的声明，声明被放在fact.h文件中：
5 P( V/ d' t' v3 z/ T//fact.h文件
7 b& v& N2 r) C$ m6 Hlong fact(long);
- E/ r0 }" g" M( t7 D& O9 p5 F每一个需要使用这个程序段的翻译单元都用#include语句将这个接口包含进来。此外，我还更倾向于在翻译单元中用#include包含另一个接口，使得编译器能够更早的对不完整性进行诊断。! P @& _& J+ Z( z$ \1 s( p; l: x
我们可以像这样使用fact()函数：
8 m1 n' y7 H" d( h/ D6 |//main.c文件; h$ w I, i% h
#include “fact.h”
0 [5 K6 E0 h, g#include <iostream>! _) i& W2 N$ t7 q
int main()
# t' Y- Z/ q) [: x{
7 l# h1 }$ P4 q- G std::cout << “factorial(7) is “ << fact(7) << ‘\n’;
, ~- g- ] c( x7 H return 0;& B' [ u8 X) v9 H. T
}
8 z+ ~0 T9 W; \main()函数是程序的起始点；iostream属于标准C++输入/输出程序库；std::cout是标准的字符输出流（§6.1）。运算符<<（“放入”的意思）将数值转换成字符串并将字符串输出。执行这个程序可以使 p( o8 i" C: \+ q) [
factorial(7) is 50407 ]9 s% p [# j& f+ _3 P
这样的结果出现在输出端，并且后跟一个换行符（换行符用’\n’表示）。) c- n6 w: A; n, ~9 @' m" u
这个例子中各程序段的关系可以用下图表示：
0 q' W5 `9 S8 L1 l) b# h<v:shape><v:imagedata src="11560image003.gif" title="crc03"></v:imagedata></v:shape>. C! U% ^) s0 P
 ) D: l4 u' }, q$ B" X. r
3．4 型别检查（Type checking）
# ?4 Y! A. D% DC++提供并依赖于静态型别检查机制。这即是说，编译器会在程序开始执行之前进行大部分语言规则方面的检查工作。程序中的每一个实体（entity）都具有一种型别，并且必须以符合此种型别特征的方式被使用。例如：$ S1 J* x/ t: O; Q
int f(double); // f()函数接受一个双精度浮点数作为引数（argument）
2 H0 Y# V' ]/ k3 s: V( r5 y 　　　　 // 并返回一个整型值
, O( S) h! j' c' T0 \6 Pfloat x = 2.0; // x是一个单精度浮点数
: R' \9 i0 T: Z( b U. Q0 Ostring s = “2”; // s是一个字符串% [# N6 H& V( V4 g" r! c
int i = f(x); // I是一个整型数2 }2 K J z# W4 l
编译器会从中发现不完整的用法，保证语言本身定义的或用户自定义的转换操作被正常实施。例如：
# H, K" P0 Y# O- | d" p- hvoid g()
1 x) W# q# @# A, r z) v{6 v$ S- a0 g1 @' b2 y( Z
 s = “a string literal”; // OK：将string literals转换成string
2 K- E- Z1 J$ x: N- Q# r/ t s = 7; // 错误：无法将int转换成string
% o3 m/ I6 B: b: h r: c' [, Y x = “a string literal”; // 错误：无法将string literals转换成float
4 S6 W3 W0 d* P. Y x = 7.0; // OK
1 J. U: p; y1 k8 |7 ]" j0 W: s5 | x = 7; // OK:将int转换成float
 V) E7 q% _9 [6 j f(x); // OK:将float转换成double
% ^% R& C6 i3 b f(i); // OK:将int转换成double
5 K/ e2 a* J& y( ~8 r# ] f(s); // 错误：无法将string转换成double0 a% E- Z, `( x. g* B
 double d = f + i; // OK:将int型对象与float型对象相加. f4 \' _! P" p, ^) `( H& {6 ]
 string s2 = s + i; // 错误：无法将int型对象与string对象相加" M) H6 H' t" s
}
) m" G# _# q/ m4 ^; V对于用户自定义型别，用户具有很大的自主性，可以自己决定应该定义哪些操作和转换过程（§6.1）。因此，编译器可以完全像检测内建型别那样去检测用户自定义型别的完整性。
1 w6 k" ?$ o6 W$ k9 e/ I 
( W+ H6 ] ~/ S' ^# W, x x6 n</DIV></TD>
& s4 {* Q1 M7 h' E<TD width="8%"> </TD></TR></TABLE>