读书笔记 effective c++ Item 19 像设计类型(type)一样设计类

简介: 1. 你需要重视类的设计 c++同其他面向对象编程语言一样,定义了一个新的类就相当于定义了一个新的类型(type),因此作为一个c++开发人员,大量时间会被花费在扩张你的类型系统上面。这意味着你不仅仅是一个类的设计者同时是一个类型设计者。

1. 你需要重视类的设计

c++同其他面向对象编程语言一样,定义了一个新的类就相当于定义了一个新的类型(type),因此作为一个c++开发人员,大量时间会被花费在扩张你的类型系统上面。这意味着你不仅仅是一个类的设计者同时是一个类型设计者。重载函数和运算符,控制内存分配和释放,定义对象初始化和终结,这些都是你需要考虑的。因此你应该同语言设计者一样,它们将时间浪费在内建类型的设计上,你就应该对类的设计施以同样的关注。

2. 高效的类型的特征

设计好的类很具有挑战性,因为设计好的类型具有挑战性。好的类型有自然的语法,直观的语义和一种或多种高效的实现。在c++中,没有计划好的类定义将不能达到上述任何目标。甚至一个类的成员函数的声明方式都可能会影响到成员函数的性能。

3. 在设计一个类时,你需要问自己的若干问题

因此你怎么才能设计一个高效的类呢?首先,你必须理解你所面对的问题。几乎每个类都需要你面对下面的问题,这些问题的答案常常会约束你的设计:

  • 新类型的对象应该怎么被创建和释放?如何做将影响着类的构造函数和析构函数的设计,同样影响内存分配和释放函数(运算符new[],运算符 delete,和运算符delete[]看第8章)的设计。

 

  • 对象初始化同对象赋值怎么不一样?这个问题的回答决定了你的构造函数和赋值运算符的行为,以及它们之间的区别。分清楚初始化和赋值很重要,因为他们对应着不同的函数调用(见Item 4)。

 

  • 如果你的新类型对象被当作按值传递的参数会意味着什么?记住,拷贝构造函数定义了一个类型的按值传递该如何实现。

 

  • 你的新类型在值的合法性上是如何进行限制的?一般情况下,对于一个类的数据成员来说,只有值的一些组合才是有效的。这些组合决定你的类必须维持不变性(invariants)。这些不变性就决定了你必须在你的成员函数内部做错误检查,特别是在你的构造函数,赋值运算符和”setter”函数中。这也同样影响函数抛出的异常,以及函数的exception specifications(你可能很少使用)。

 

  • 你的新类型需要配合某个继承图中么?如果你的类从现存的类继承而来,你就会受这些类设计的束缚,特别是受函数是virtual还是非virtual的束缚(Item 34和Item 36)。如果你希望别的类能继承自你的类,就会影响你的声明的函数应该是不是虚函数,特别是析构函数(Item 7)

 

  • 你的新类型允许何种类型转换?你的类型会被淹没在其他类型之中,那么应该在你的类型和其他类型之间做转换么?如果你希望允许类型T1的对象隐式转换成T2类型的对象,你要么在类T1中写一个类型转换函数(例如,operator T2)要么在类T2中写一个non-explicit的单参数构造函数。如果你只希望进行显示转换,就需要写出执行转换的函数,但是需要防止这种转换调用类型转换操作符或者non-explicit单参数构造函数。(隐式转换和显示转换的例子,见Item 15

 

  • 对于新类型来说什么样的运算符和函数才是有意义的?你对这个问题的回答决定了你会为你的类声明哪些函数。一些函数会是成员函数,但是另外一些不是(Item 23,Item 24,Item 46)。

 

  • 什么样的标准函数应该被禁止?你应该将这样的函数声明成private(Item 6)

 

  • 谁对你的新类型的成员有访问权?这个问题帮助你决定哪些成员是public的,哪些是protected,哪些是private的。它同样帮助你决定哪些类和函数应该是friend的,还有把一个类内嵌入另一个类是否有意义。

 

  • 你的新类型的“未定义接口”是什么?对于性能,异常安全(Item 29)和资源的使用(比如锁和动态内存),你提供了什么样的保证?在这些领域中你所提供的保证将会对你的类实现强加限制。

 

  • 你的新类型有多普遍?可能你没有定义一个新的类型。你在定义一整个类型族。如果是这样,你不需要定义一个新类,你需要的是一个新的类模版。

 

  • 这个新类型真的是你想要的么?如果定义一个新的派生类只是为了在这个类中添加新的功能,那么为了达到你的目标,简单的定义一个或者多个非成员函数或者模板会可能是较好的选择。

这些问题很难回答,所以定义高效的类很具挑战性。做好它吧,至少使得c++中自定义类产生的类型同内建类型一样好,达到这么目标,所有努力都值得。


作者: HarlanC

博客地址: http://www.cnblogs.com/harlanc/
个人博客: http://www.harlancn.me/
本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出, 原文链接

如果觉的博主写的可以,收到您的赞会是很大的动力,如果您觉的不好,您可以投反对票,但麻烦您留言写下问题在哪里,这样才能共同进步。谢谢!

目录
相关文章
|
16天前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
26 2
|
22天前
|
存储 编译器 C++
【c++】类和对象(下)(取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象)
本文介绍了C++中类和对象的高级特性,包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项,帮助读者深入了解C++面向对象编程的核心机制。
55 5
|
28天前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
58 4
|
29天前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
71 4
|
2月前
|
存储 编译器 对象存储
【C++打怪之路Lv5】-- 类和对象(下)
【C++打怪之路Lv5】-- 类和对象(下)
29 4
|
2月前
|
编译器 C语言 C++
【C++打怪之路Lv4】-- 类和对象(中)
【C++打怪之路Lv4】-- 类和对象(中)
25 4
|
2月前
|
存储 安全 C++
【C++打怪之路Lv8】-- string类
【C++打怪之路Lv8】-- string类
23 1
|
2月前
|
存储 编译器 C++
【C++类和对象(下)】——我与C++的不解之缘(五)
【C++类和对象(下)】——我与C++的不解之缘(五)
|
2月前
|
编译器 C++
【C++类和对象(中)】—— 我与C++的不解之缘(四)
【C++类和对象(中)】—— 我与C++的不解之缘(四)
|
2月前
|
存储 编译器 C语言
【C++类和对象(上)】—— 我与C++的不解之缘(三)
【C++类和对象(上)】—— 我与C++的不解之缘(三)