《C++编程风格(修订版)》——2.2 明确定义的状态

2.2 明确定义的状态

C++编程风格(修订版)
在 string 类的前两个构造函数中存在着同样的问题。

如果在创建 string 对象时调用了上述两个构造函数之一,那么这个 string 对象的初始状态将 是未定义的。在下面的代码中将输出两个字符串,其中在创建 string 对象时分别调用了上面两个 构造函数。

对 x 和 y 来说,调用函数 print() 的结果是未定义的,因为由 x.s 和 y.s 指向的字符数组中的 内容是未定义的。在这两个构造函数中,都为字符数组分配了内存,但却没有对分配的内存进行 初始化。流输出对象 cout 将持续输出字符,直到在内存中遇到第一个空字符( \0 )才停止输出。

构造函数的目的是为了初始化对象,因此一个构造函数至少应该使对象处于明确定义的状态。

构造函数应该使得对象处于明确定义的状态。
在 string 类的前两个构造函数中,对初始状态的稳妥处理就是使用空字符串,即 s[0] 应该被 设置为空。

对于这两个构造函数,我们还可以作一个改进,不过这个改进略显次要。这两个构造函数 的功能几乎是等价的:在每个构造函数中都分配了一个字符数组,并将指向数组内存的指针保存在 s 中,以及将数组的长度保存在 len 中。二者唯一的区别就是其中一个构造函数使用了默认值 来指定数组的大小,而另一个构造函数则使用参数值来指定数组的大小。除此之外,这两个函数 都是相同的。因此,我们可以有更好的选择,即使用带有默认参数值的构造函数。通过用下面的 构造函数来代替前面两个构造函数,就可以改正到目前为止所遇到的两个问题:

通常来说,用默认参数的形式来代替函数重载的形式,可以使程序更加易于维护,因为此 时程序中将只会存在一个函数体。在本示例程序中,我们对构造函数采用了函数重载的形式。对 于其他的成员函数或者非成员函数,这个规则同样适用。

考虑使用默认参数的形式来代替函数重载的形式。

时间: 2024-11-01 11:41:34

《C++编程风格(修订版)》——2.2 明确定义的状态的相关文章

《C++编程风格(修订版)》——2.5 动态内存的一致性

2.5 动态内存的一致性 C++编程风格(修订版) 在程序清单 2.2 的 string 类中仍然存在着一些问题和不一致的地方.其中,在动态内存管理 上的不一致性与我们在前面所看到的不一致性是一样的,都是严重的问题.对于所有动态分配的 内存,我们都需要回答两个问题:首先,动态内存是不是足够大以容纳将要存储的信息?其次, 是不是所有的动态内存都是可回收的? 在默认构造函数中分配的字符数组肯定可以容纳空字符串: 这个构造函数所基于的假设是:在创建对象时将会为字符串分配内存,并且这个内存足以 容纳在对

《C++编程风格(修订版)》——导读

前言 C++编程风格(修订版) 本书采用一种统一的方法来给出所要学习的内容.通过研究示例程序--"编程风格示例"--来引入每个学习主题,这些示例程序通常在某些重要的方面存在着缺陷.在分析程序时,我们采取了与做代码交叉审查时一样的思路:在审查同事的代码时,我们要找出哪些问题是最需要改正的,以及对程序的哪些部分进行修改才能最大程度提升程序的整体性能.在本书中,我们将对每个示例程序做详尽的阅读和分析.读者在阅读书中对示例程序的分析之前,可以首先从自己的角度去分析程序中的问题,然后试着给出自己

《C++编程风格(修订版)》——2.7 编程风格示例:第二种方法

2.7 编程风格示例:第二种方法 C++编程风格(修订版) 我们暂时先不去考虑去解决 string 类中的其他问题,而是将注意力转移到另一个不同的字符 串类.在这个类中,我们避免了大多数的上述问题.我们来分析程序清单 2.3 中的 SimpleString 类. 虽然 SimpleString 相对于 string 进行了改进,但仍然存在着一些缺陷. 程序清单 2.3 最初的 SimpleString 类 与 string 类一样,SimpleString 通过一个字符类型的指针 _string

《C++编程风格(修订版)》——3.4 封装

3.4 封装 C++编程风格(修订版) 新的堆栈抽象更简单,程序的代码量也更小,并且也使用了更少的内存.然而,在StackIndex及其派生类的关系中还存在着尚未暴露出来的问题.在本章的前面部分,我们已经注意到,派生类的成员函数push()和pop()隐藏了它们从基类继承而来的同名成员函数.不过,我们也可以在IntStack和CharStack对象上来调用这些基类函数,这就需要使用函数的完全解析名字:StackIndex::push()和StackIndex::pop().事实上,在它们各自的派

《C++编程风格(修订版)》——3.6 模板

3.6 模板 C++编程风格(修订版) IntStack和CharStack的共同属性可以用另一种不同的方式来表达,即C++的模板机制.模板也被称之为参数化类型,在程序清单3.5中给出了堆栈的模板. 程序清单3.5 Stack模板 Stack模板定义了一组类.在使用Stack模板来声明一个对象时,必须同时提供一个类型来替换模板声明中的类型T.例如, 在上面的语句中,声明了一个对象stackOfChar,这个对象是一个存储10个char类型值的堆栈,而在下面的语句中: 声明了一个对象stackOf

《C++编程风格(修订版)》——3.2 继承作用域准则

3.2 继承作用域准则 C++编程风格(修订版)基类Stack的公有接口如下所示: 在派生类中,我们可以看到和基类成员函数有着同样名字的成员函数.注意,其中的Stack::pop()和Stack::push()都不是虚函数.同时,我们还注意到,派生类成员函数中的参数类型与相应的基类成员函数中的参数类型并不匹配.例如,Stack::push()不带参数,而IntStack::push()的参数是一个整数.对于这样的函数,根据C++作用域准则,这就意味着派生类的成员函数将隐藏基类的成员函数,因为在派

《C++编程风格(修订版)》——2.3 物理状态的一致性

2.3 物理状态的一致性 C++编程风格(修订版)在 string 类的第三个构造函数中将对函数的字符串参数进行复制.在这个构造函数中对 s 进 行了初始化,并将 string 对象置于明确定义的状态,但它对 len 的处理方式与前两个构造函数是 不一致的.在前两个构造函数中,len 是所分配的字符数组的长度.而在第三个构造函数中,len 却是字符串的长度--也就是字符数组的长度减 1.那么 len 到底应该是动态分配数组的长度还 是字符串的长度呢? len 的这两种含义都是有意义的,但在所有的

《C++编程风格(修订版)》——3.1 编程风格示例:堆栈

3.1 编程风格示例:堆栈 C++编程风格(修订版)在程序清单3.1的程序中定义了一个用于处理字符堆栈的CharStack类,以及用于处理整数堆栈的IntStack类.我们将对这两个类进行分析和评价,并且判断这些类中的抽象是不是正确的.接口是否起到了相应的作用,以及类之间的继承关系是不是合适的. 有些读者在看到CharStack和IntStack时的第一反应可能是,这些类应该使用参数化类型来编写,这也是ANSI(参见Ellis和Stroustrup的著作,第341页)建议的方法.在这里我们暂时先

《C++编程风格(修订版)》——2.1 编程风格示例:string 类

2.1 编程风格示例:string 类 C++编程风格(修订版)我们来分析程序清单 2.1 中的 string 类,将注意力放在 string 对象的状态,以及在 string 类的接口和实现中的一致性.我们要从类的定义中找出不一致的地方.在代码中存在着许多问题, 当我们遇到第一个不一致的地方时,不要停下来,而是继续进行查找. 程序清单 2.1 最初的 string 类 string 对象的表示形式是一个字符类型的指针 s 和一个代表字符串长度的整数 len.在 string类中共有 4 个构造