- 在线时间
- 0 小时
- 最后登录
- 2007-9-23
- 注册时间
- 2004-9-10
- 听众数
- 3
- 收听数
- 0
- 能力
- 0 分
- 体力
- 9975 点
- 威望
- 7 点
- 阅读权限
- 150
- 积分
- 4048
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 1893
- 主题
- 823
- 精华
- 2
- 分享
- 0
- 好友
- 0

我的地盘我做主
该用户从未签到
 |
<TABLE width="100%" border=0>* [* [- |9 |5 L2 C: x Z4 z: m# e
$ @! h# e4 j8 K4 I' n8 ? W4 K<TR>$ o2 A- Q1 u7 D( y( }6 q2 }
<TD width="7%"> </TD>+ m8 T6 [3 v4 W4 ~# w
<TD width="85%">' r! R9 T& K! \. a
<DIV class=Section1 style="LAYOUT-GRID: 15.6pt none">
/ F p; `$ |, ?- k8 X+ s9 e1 {% m< align=center></P>3 w" S v. {. g9 b
< ><B>5 </B><B>大规模程序设计</B>(Large-scale Programming)<B></B></P>6 G3 o' |; E' c, O. ]; F8 R5 M
< ><B> </B></P>
- |$ N5 ?* z: W3 h< >本文的主要内容涵盖的是C++所支持的主要程序设计风格。然而namespace和异常处理机制虽然是重要的语言特性,但却并不属于这种讨论范畴,因为它们在所有的程序设计风格中都能支持大规模程序设计。在将分散的部件组合成完整程序的过程中,namespace和异常处理机制被用来缓减整个过程的难度和复杂度;随着程序规模的增大,它们也随之起到越来越重要的作用。</P>- N4 f0 M" f4 ~5 X( c
< > </P>4 B s: W& Z9 j5 b7 n5 p; v% i
< ><B>5</B><B>.</B><B>1 </B><B>异常和错误处理</B>(Exceptions and Error Handling)</P>9 ]' c! b. B3 R% e1 ~
< >当在某个位置检测到一个错误的时候,我们使用<I>异常</I>来把程序的控制权转交到能够处理这种错误的调用者(caller)那里。显然,这种机制只用来处理那些在当前区域内无法处理的错误。</P>' W, h% M* u+ k+ j! R
< >有人可能会问:“如果一个位置所发生的事情最终能够被正确的处理并使得程序如期正常运行,那么这件事情又怎么能被认为是一个错误呢?”事实上,我们把这类异常事件(或简称异常)以及用来处理这类事件的语言机制一起成为异常处理(exception handling)。</P>0 X1 D' w2 C: j* ]5 T6 ~& |7 r( E t5 y
< >我们可以像这样报告Stack中发生的上溢(overflow)和下溢(underflow)错误:</P>
# r- b V4 _4 t! P3 x' _< >template<class T> class Stack {</P>
, t+ C; k, n& u4 V! A; Z z: O< >T* v;</P>6 W$ T1 [& l. y. l# {' k; H
< >Int max_size;</P>
o6 [, } I- D6 ^# F< >Int top;</P>" Q, T1 H9 N/ I5 t2 `
< > ublic:</P>
7 ?' T# h& I' n! x( O9 l: y< >class Underflow { }; // 用来报告下溢情况的型别</P>$ Z# w+ f) U7 E' Y& b# r) J, u
< >class Overflow { }; // 用来报告上溢情况的型别</P>
, b2 p5 m f5 O- n< >Stack(int s); // 构造函数</P>
: `& [2 W$ Z* u i# ]3 r1 J# \< >~Stack(); // 析构函数</P>) t6 p( H, r7 c6 |4 ^
< >void push(T c)</P>
# l) d q$ B5 a$ Y8 p% e< >{</P>* f7 D8 l# G" A8 e9 C1 e9 r
< > if (top == max_size) throw Overflow(); // 检查是否发生错误</P>
- U3 { F( x9 u4 Y< > v[top++] = c; // 增加top并将c存放在top位置</P>- B# E6 w- N$ s5 k' X; [: J
< >}</P>
( C2 u8 J, R( ]5 K* W( Y< >T pop()</P>3 h# @3 ?1 { e: P7 w9 ?
< >{</P>( t0 P; z& k x. t6 D8 r$ k
< > if (top == 0) throw Underflow(); // 检查是否发生错误</P>9 w2 G$ X8 o* ?( Q; H6 P8 {! `# o
< > return v[--top]; //减少top</P>
/ ^. p2 ~4 k/ f0 Y# K< >}</P>. T7 N! c. ~9 D# ?& W; o) O& W
< >};</P>
/ ?7 ]$ T2 }& c8 X! c, Z<P>一个被抛出的对象能够被抛出该对象的那个函数中的相关调用者(caller)捕获。例如:</P># g* J- G# \: q* Y- r9 j5 y5 m0 `" e
<P>void f()</P>% E3 K9 R ?0 L K
<P>{</P>+ u4 E3 ?8 _2 D% g. r" W8 g
<P >Stack<string> ss (10);</P>
# N- `. e7 X: b P. N$ b<P >Try {</P>- ]+ Z1 C- T5 B/ k }5 s
<P > ss.push(“Quiz”);</P>
$ f$ ]: ~; _+ m6 U8 E u7 C<P > string s = ss.pop(); // 用pop操作弹出”Quiz”</P>
4 `& \, e: v, ]& A* y# T" a# \& ?<P > ss.pop(); // 这一句企图对一个空的string施以pop操作,将会抛出Underflow</P>
( t$ b v2 ^ a: A/ G1 E% v<P >}</P>
1 o6 K, \" m( x! a<P >catch (Stack<string>::Underflow) { // 异常处理器</P>$ w/ r$ _ x( L* O
<P > cerr << “error: stack underflow”;</P>
; v* V' g/ {* e% A! S% M<P > return;</P>
% u' S5 |% o- _. v<P >}</P>
2 z2 B9 A' E/ U9 ~5 `<P >catch (Stack<string>::Overflow) { // 异常处理器</P>
4 F2 d8 l" W* Y5 Y) `) w' z<P > cerr << “error: stack overflow”;</P>
2 C& V2 E3 B" u6 g4 o$ \<P > return;</P>4 U7 ^; N+ i9 W6 Y. v- F
<P >}</P>8 W7 q0 |* U: A- z. b2 Z
<P >// …</P>: v" l H2 X& `/ E& g( I
<P>}</P>
- u0 N8 r6 w- b: o8 O<P>在一个try{…}代码段中抛出的异常,或者在try{…}代码段所调用的一段代码中抛出的异常会被其对应型别的catch语句捕获。</P>
" U8 e& H, t( e6 c8 e7 w( s k<P >我们可以使用异常来把错误处理变得更具独特性且更自然。特别是异常类的层次结构,它可以用来将异常进行分组,从而使一段处理代码能够只在适当的细节层级上处理错误。例如,我们假设open_file_error类派生自io_error:</P>, I. T! |' k! ]9 \1 e6 ]7 u" i
<P>void use_file(const char* fn)</P>/ w& g" m ~# B5 t1 L' y8 i
<P>{</P>$ ^3 Z5 J! J6 t
<P >File_ptr f(fn, “r”); // 打开fn以便读取;</P>! M, a2 c/ O* C. p
<P >// 如果在这个过程中出现错误,则抛出open_file_error</P>! n; B% \2 D9 y4 a: {
<P >// 这里的代码使用fn</P>
9 t: f4 M: J' ~0 S1 u0 u8 P<P>}</P>
K' `9 ]6 A2 {<P>void some_fct()</P>
8 f I% f4 S) W) c# ^1 ]4 t9 S<P>{</P> R( ]! L) ^" r( X+ T, x
<P >try {</P>* e" {% o [& C9 C
<P > // …</P>
, ^+ }% Q) x! ^<P > use_file(“homedir/magic”);</P>
" v- q, @: {9 H) N2 @" \: z; Z6 k<P > // …</P>
8 b5 V; ?7 U5 t& S* e- T<P >}</P>: Q$ A% Y% C$ z: t8 j7 s4 c* \3 t
<P >catch (io_error) {</P> [" O/ \5 r" J: K3 a
<P > // …</P>+ h: b8 b. L$ V4 c. b2 F% q
<P >}</P>
) b0 A0 s* G4 H7 S<P>}</P>
0 r+ D6 r% k- `( J<P>代码中的some_fct并不需要了解具体是什么出错了;这即是说,它并不需要认识open_file_error。some_fct只处理io_error这个抽象层级上的错误。</P>
8 s8 [" _) h* k<P >可以注意到,use_file本身根本不处理异常。其任务只是打开一个文件并予以使用。一旦没有可以打开的文件,程序控制权立即被转交给了some_fct。同样,一旦在使用文件的过程中发生了读取方面的错误,该文件将会在控制权转到some_fct之前经由File_ptr的析构函数而被正常关闭。</P>
% E- Q0 b$ \9 n8 z+ e8 f<P> </P># {3 T$ k/ g, I& L3 }& ?/ w# ^
<P><B>5</B><B>.</B><B>2 namespaces</B><B>(名字空间)</B><B></B></P>, z( U8 _! m" f. V5 v* ?1 R
<P >一个namespace是指一个具名的范围(named scope)。namespace被用来将相关的声明划归在一起,将不相关的代码部分隔开。例如,两个各自独立开发的程序库使用相同的名称来代表不同的东西,但用户还是能够同时使用它们:</P>
# x5 N$ J" S) y<P>namespace Mylib {</P>
9 [" Q. C- W' E0 `0 }, f9 |6 S<P >template<class T> class Stack { /* … */ };</P>
& E4 p1 c) U- D) Q<P >// …</P>* g- F( p% l: P* _7 ~2 V
<P>}</P>& h6 Q$ |) I3 s& D, F0 Y+ x/ V1 v
<P>namespace Yourlib {</P>( ]( {/ q( u' q5 O* V4 p
<P >class Stack { /* … */ };</P>
9 P9 E% C9 h1 t/ v<P >// …</P>
- h9 i5 @) @+ T* h5 I<P>}</P>
7 Y8 }. T( j3 o9 }2 M1 q1 B. G9 Y9 q<P>void f(int max)</P>
8 Q( u# o3 C+ {" P* S8 X<P>{</P>8 L. b' N" l% C! x! U0 U
<P >Mylib::Stack<int> s1(max); // 使用我的那个Stack</P>- U- @2 }$ K' y8 x, q! D# q
<P >Yourlib::Stack s2(max); // 使用你的那个Stack</P>6 r9 _5 q% R4 n: J0 N
<P >// …</P>2 ~! k) W! m* X9 n5 f# G
<P>}</P>& Y9 y1 d: r- L
<P>然而,让一个namespace名称在同一处不断的重复出现,反而会影响和迷惑阅读者和编写者自己。因此,C++规定:在一个特定的namespace内部,即使不做显式的限定,也默认为该namespace中所包含的对象名称是有效的。例如:</P>
' @; B- l: X& N4 z& [<P>void f(int max)</P>8 {) [3 q9 w' n* Z* ^
<P>{</P>
! k# N! P( R, l% |( j<P >using namespace Mylib; // 使Mylib()中的各种名称成为有效可用的</P>
1 O9 e0 U1 \; [# Q1 D! L; O9 p r<P >Stack<int> s1(max); // 使用我的Stack</P>
9 o- [4 j8 r& X/ y1 o4 _( \) I<P >Yourlib::Stack s2(max); // 使用你的Stack</P>% N( E/ v- P& y, H
<P >// …</P>
8 n: b+ ]$ z, E0 M% W8 g6 P3 X# O% S<P>}</P>7 s! a1 _) p& n0 `% j( |0 ^
<P>namespace为管理不同的程序库和不同版本的代码提供了一个强有力的工具;特别是,它能让程序员自己控制一个non-local名称之引用的能见度。</P> p, U' k+ j. a5 o; T Y
<P></P></DIV></TD>
, g2 B6 I! {0 E- x/ L<TD width="8%"> </TD></TR></TABLE> |
zan
|