More effective c++ (二)

最新推荐文章于 2020-09-20 15:48:05 发布

ciahi

最新推荐文章于 2020-09-20 15:48:05 发布

阅读量1.3k

点赞数

分类专栏： C++ 文章标签： c++ string 编译器 iostream constructor 优化

本文链接：https://blog.csdn.net/ciahi/article/details/4322704

版权

C++ 专栏收录该内容

5 篇文章 0 订阅

订阅专栏

Item M17：考虑使用lazy evaluation（懒惰计算法）

如：String s1 = "Hello";

String s2 = s1;

或许s2在程序中根本不会用到，所以在开始的时候不要调用s2的赋值构造函数来初始化，到后面要用，或者要改写s2的值的时候再调用，再进行赋值。

Item M18：分期摊还期望的计算

比如要计算某组数据的平均值。我们可以在每一个新数值加入到程序里面的时候就去计算新的平均值。这样，当我们要取这个值的时候，可以立刻取出来。

Item M19：理解临时对象的来源

1、传值参数(pass-by-value parameter) 如：void fun(string s); 在用string对象传参数的时候就会产生临时对象。

2、返回值(return value)

3、隐式类型转换(Implicitly Typecast)

4、++ 和 --

解决方法：

1、避免使用传值参数,尽量使用传指针或传引用。

2、隐式类型转换的问题是定义了针对某个类型的构造函数，但是没有定义针对该类型的operator=所导致的，所以，构造函数和operator=必须成对出现。

3、尽量使用++i代替i++

4、利用编译器的优化

Item M20：协助完成返回值优化

（返回值优化）

一些函数（operator*也在其中）必须要返回对象。返回constructor argument而不是直接返回对象，能让编译器消除临时对象的开销。

Item M21：通过重载避免隐式类型转换

没有必要实现大量的重载函数，除非你有理由确信程序使用重载函数以后其整体效率会有显著的提高。

因为隐式类型转换可能导致额外的开销。如，

Cls b;

Cls a = 1 + b;

当用1转为Cls类型时，就会调用Cls的隐式转换函数。这样就会有开销。

Item M22：考虑用运算符的赋值形式（op=）取代其单独形式（op）

op=的时候，不会产生临时对象，它将结果写到左边的参数里面。

Item M23：考虑变更程序库

如，有时候可以用stdio，特点是小，且速度快

有时候可用iostream，特点是类型安全，且可扩展

Item M24：理解虚拟函数、多继承、虚基类和RTTI所需的代价

Item M25：将构造函数和非成员函数虚拟化

虚拟构造函数是指能够根据输入给它的数据的不同而建立不同类型的对象。虚拟拷贝构造函数。

利用特性：被派生类重定义的虚拟函数不用必须与基类的虚拟函数具有一样的返回类型。

虚拟构造函数并不是与类名相同的函数，而是单独定义的一个函数，这个函数返回本类类型的对象指针，这个指针是个父类指针。在子类里面实现的时候，这个返回的指针是子类类型的指针。

就象构造函数不能真的成为虚拟函数一样，非成员函数也不能成为真正的虚拟函数。

它的实现方法：将某个成员函数声明为虚函数，然后在非成员函数里面通过父类调用这个虚函数，这样就可以根据传入的参数不同，而产生不同的行为了。

Item M26：限制某个类所能产生的对象数量

如使用单件模式，则可以限制类实例化个数为1。

将构造函数声明为private，可以阻止类建立对象。可以加入一个友元函数，来进行建立对象，以返回类对象指针，或类对象引用。

可以在类中加入静态的计数器，在构造函数中加1，析构函数中减1，则可以灵活的将把个类的实例限制在固定数目之内。

或可以单独创建一个计数器类，要计数的类都从这个类里继承。

Item M27：要求或禁止在堆中产生对象

要求在堆中建立对象: 可以通过将构造或析构函数声明为private来实现。一般将析构设为private或protected，这样，就无法自动释放对象，栈上的对象就会出错。

判断一个对象是否在堆中：可以通过重载operator new操作符，在里面加上标识，如果调用了operator new，则将标志置位。不过这种方法不适合于创建数组，创建数组的时候只调用一次operator new (不过如果编译器支持重载operator new[]的话，也可以重载这个函数)。或可以通过堆是向上生长，栈是向下生长。通过比较两个局部变量等，可以得知目前是在栈上还是堆上。

不过因为存在静态变量，所以无法区分是在堆上还是在静态变量区。

静态变量包括static声明的，在全局域定义的，在命名空间定义的。

“判断是否能够删除一个指针”比“判断一个指针指向的事物是否在堆上”要容易。C++使用一种抽象mixin基类满足了我们的需要。它通过将所有new返回的指针放入list中来实现。

const void *rawAddress = dynamic_cast<const void*>(this); //dynamic_cast可以将this指针变为一个指向当前对象起始地址的指针。在多继承或虚继承的时候，这个是非常有用的。

禁止堆对象：将operator new与operator delete声明为private的。

Item M28：灵巧（smart）指针

Item M29: 引用计数

有时候多个对象的值完全相同，这时候就可以让它们共享一份数据，以节约空间。

如几个string对象指向同一个"hello"

当某个string被改写时，要将该对象与其它对象分离开来了。

写时拷贝：与其它对象共享一个值直到写操作时才拥有自己的拷贝。

也可以使用带引用计数的基类。