明明白白c++ effective c++ 条目16-20

effective c++的下载地址

http://download.csdn.net/detail/mlkiller/5335383

前言

这几天看来一些学习c++的书籍推荐。

effective c++ 是很多人推荐的，这个也是学习c++的必读之书。

但是个人觉得这本书可能不是特别适合初学c++的人去学习，因为这里面讲的还是比较深，初学者很多精力都集中在编译错误，或者循环控制等等上面，对于语言的细节，还一些精妙的设计反而会让初学者有些害怕，一方面读不懂这本书讲的什么意义，另一方面不明白effective在哪里。

其实，刚开始看这本书的时候，我也被名字直观翻译所混淆，因为这本书会介绍如何提高代码的运行效率，但是读完之后，发现所谓的effective的含义应该是广义的，对于编程呢，我觉得应该有这几点都可以叫做 effective，

第一，代码易读，其实代码是给人看的，这个其实是最重要的一点。

第二，代码的正确性，这本书讲了很多常犯的错误，少犯错误就是提高效率。

           调试代码，甚至测试代码花费的时间，往往比写代码的时间要多。

第三，保证你自己写的代码的健壮性，这本身上面讲了很多这方面的问题，有种错误叫不可以预知，就是不是必先的错误确实很难查找。

第四，提高c++自身的效率，比如使用常引用作为函数参数。

条款16: 在operator=中对所有数据成员赋值

看到这个条款，我的第一印象是，赋值构造函数肯定会对所有数据成员赋值的，这个条款看似多余的。

但是看了文章中写的才明白，主要有两个目的：

第一，写赋值构造函数的时候，要注意，包括后来维护的人，如果新加元素，记得在赋值构造函数里面赋值。

第二，这里主要强调的，继承类（子类）的时候，赋值构造函数不用忘掉父类的构造函数，直接上例子。希望大家也编写一下。

#include<iostream>using namespace std;class A{public:A(int a);    A& operator=(const A &a);    virtual void print();private:int data;};A::A(int a):data(a){}A& A::operator=(const A &a){if(this == &a)return *this;data = a.data;return *this;}void A::print(){cout<<"A"<<data<<endl;}class B:public A{public:B(int i);B& operator=(const B& b);    virtual void print();private:int data;};B::B(int i):A(i),data(i){}B& B::operator= (const B& b){if (this == &b)return *this;data = b.data;}void B::print(){A::print();cout<<"B"<<data<<endl;}class C:public A{public:C(int i);C& operator=(const C& c);    virtual void print();private:int data;};C::C(int i):A(i),data(i){}C& C::operator= (const C& c){if (this == &c)return *this;static_cast<A&>(*this) = c;data = c.data;}void C::print(){    A::print();cout<<"C"<<data<<endl;}int main(){B b1(1);B b2(2);b1 = b2;cout<<"-----b1 value--------"<<endl;b1.print();cout<<"-----end--------"<<endl;C c1(1);C c2(2);c1 = c2;cout<<"-----c1 value--------"<<endl;c1.print();cout<<"-----end--------"<<endl;}

这个例子有两点需要注意：

1 继承类怎么访问基类的虚函数。

   A::print()，这样调用才可以，我开始的想法是先把继承类转换为基类的指针或者引用，再去调用函数。

   但是这个有个明显的问题，因为虚函数本身的含义就是用基类的指针或者引用去调用的，这样就等于是死循环。（自己一直调用自己)

2 继承类怎么访问基类的成员变量。

    这个就是先转换为基类的指针或者引用，然后访问。其实非虚函数也可以这么访问。

打印出来的结果是：

-----b1 value--------
A1
B2
-----end--------
-----c1 value--------
A2
C2
-----end--------

第一个的基类没有被改变。

条款17: 在operator=中检查给自己赋值的情况

必须检查的，就是成员变量的指针指向同一块内存。本文只讲这种情况。

还有一种是选择检查的类对象相等。（仅仅是内容相等）

这个目的有两个：

第一，为了效率。 （上面两个都可以提高效率）

第二，保证正确性。（只是针对第一个）

大家看下面的例子

#include<iostream>#include<string.h>using namespace std;class MyString{public:       MyString(const char *str=NULL);   MyString& operator=(const MyString &str);   friend ostream& operator<<(ostream &os, const MyString &str);private:   char *data;};MyString::MyString(const char *str){if (NULL == str){data = new char[1];data = '\0';}else{        data = new char[strlen(str)+1];strcpy(data, str);}}MyString& MyString::operator=(const MyString &str){//if (this == &str)//{//return *this;//}delete []data;data = new char[strlen(str.data) + 1];strcpy(data,str.data);return *this;}ostream& operator<<(ostream &os, const MyString &str){os<<str.data;return os;}int main(){MyString a = "abc";MyString &b = a;a = b;cout<<a<<endl;}

注释掉的就是判断指向内存相等。

但是发现个奇怪的问题，

我在cygwin里面编译打印出来的结果居然还是abc,而且单步调试，发现delete的时候指向的内存也没有改变。

开始我怀疑代码有问题，于是在vs2010里面编译了一下，发现运行的结果就是乱码了。

所以猜想cygwin里面不是没有问题，只是还没有爆发，所以在a=b前面加了一句话int *str = new int[1000];这个时候重新运行就发现乱码了。

可能是g++编译的时候发现没有其他内存请求，就没有释放。但是指针的大小已经清空了。具体原因可能还需要高人解释一下。

有人说你真正能理解上面的这几个函数的写法，你就掌握了60%的c++.

条款18: 争取使类的接口完整并且最小

我觉得这个条款其实很大，包含的内容应该很大，怎么来设计好一个类。

总结的也很好，就是根据实际情况，使得接口完整，功能齐全，外部使用的都定义为接口。

并且最小，就是简洁的原则，没有用的就摒弃掉。

剩下的可能要大家到具体项目的时候，再慢慢琢磨这句话的意思。

这个有点设计模式的味道了，后面写一篇文章关于设计模式。

条款19: 分清成员函数，非成员函数和友元函数

对于成员函数和非成员函数：如果有虚函数的需求，必须是成员函数。

非成员函数和友元函数的原则，尽可能少用友元函数。

那么什么情况下必须用有元函数呢？就是你要访问类的私有成员的时候。如果仅仅用接口就可以完成，则不必要用有元函数。

下面将书上关于有理数乘法（分数和整数）写一下。

#include <iostream>using namespace std;class rational{public:       rational(int numerator = 0,int denominator =1);   int num() const;   int denom() const;   friend ostream &operator<<(ostream &os,rational &rat);private:int numerator;int denominator;};rational::rational(int num, int denom){numerator = num;denominator = denom;}int rational::num() const{return numerator;}int rational::denom() const{return denominator;}ostream& operator<<(ostream &os, rational &rat){os<<"num"<<rat.numerator<<"denom"<<rat.denominator;return os;}rational operator*(rational& input1, rational &input2){return rational(input1.num()*input2.num(),        input1.denom()*input2.denom());}int main(){rational input1(2,3);rational input2(3,4);rational output1;rational output2;output1 = input1*input2;output2 = input1*2;cout<<output1<<endl<<output2<<endl;}

但是有个奇怪的地方 output2 = input1 *2;这句话编译不通过，我还没找到原因，编译的错误是无法将int的转换为rational的类型，有点怪异。

有元函数的话，可以看看我之前所有的重载<<的函数，都用的是有元函数。

条款20: 避免public接口出现数据成员

这个条款就不解释了。

功能和数据要分开。