设计class时,都要面对如下问题,答案通常会导致你的设计规范:
- 如何创建和销毁新类型的对象?这将影响
类的构造函数和析构函数的设计
内存分配和释放函数的设计
(operator new, operator new[], operator delete, operator delete[]) - 对象初始化和对象赋值有什么区别?这将影响
构造函数和赋值运算符的行为以及它们之间的区别。重要的是不要混淆初始化和赋值,因为它们对应于不同的函数调用 - 新类型的对象通过值传递意味着什么?
记住,拷贝构造函数定义了如何实现类型的值传递。 - 对于新类型的合法值有什么限制?
通常,类的数据成员只有某些值的组合是有效的。这些组合决定了类必须维护的不变量(约束条件)。不变量决定了你必须在成员函数中进行的错误检查。 - 新类型允许什么样的类型转换?
如果希望允许T1类型的对象隐式转换为T2类型的对象,需要在TI类中写一个类型转换函数(例如:operator T2),或类T2的带有一个参数的非显式(non-explicit)构造函数。
如果希望只允许显式转换,就需要编写执行转换的函数,但需要避免使用类型转换运算符或可以用一个参数调用的非显式构造函数。
#include <iostream>
class T2 {
public:
T2(){}
explicit T2(int num) :_content{num} {}
void print() { std::cout << "T2._content=" << _content << std::endl; }
private:
int _content=2;
};
class T1 {
public:
operator T2() {
return T2(_content);
}
private:
int _content=1;
};
int main()
{
//T2 t2_1 = 3;
T1 t1;
T2 t2;
t2.print();
t2 = t1;
t2.print();
}
- 哪些运算符和函数对新类型有意义?这将影响
类需要声明哪些函数。有些函数是成员函数,但有些不是。 - 哪些标准函数应该被禁止?
声明为private的,或使用delete(C++11) - 新类型的成员该被谁调用?
确定哪些成员是公共的,哪些是受保护的,哪些是私有的。它还可以帮助你确定哪些类和(或)函数应该成为友元,以及将一个类嵌套在另一个类中是否有意义。 - 新类型的“未声明接口”是什么?
它在性能、异常安全性和资源使用(例如锁和动态内存)方面提供了什么样的保证?在这些方面提供的保证会对类的实现造成限制。 - 新类型有多通用?
也许你正在定义一个完整的类型族。这时你真正想定义一个的是一个类模板。 - 你真的需要一种新类型吗?
如果你定义一个新的派生类只是为了向现有类添加功能(假设现有类来自一个库,不能改动),也许可以简单地定义一个或多个非成员函数或模板来实现。