Effective C++笔记（一）——条款26-29

条款26：尽可能延后变量定义式的出现时间

---

为何要尽量延后？

当程序中途跳出而导致变量未被使用，但是必须进行构造和析构。

---

最佳初始化变量

直接在构造时指定初值比构造之后再赋值效率高（条款4）

   ...
   std::string encrypted(password);
   ...

---

循环内变量定义在循环内还是循环外？

程序A：定义于循环外

   //方法A：循环外定义
   POINT point;
   for (int i = 0; i < 1000000000; i++)
   {
	point = tmp;
	//tmp = point;
   }

程序B：定义于循环内

   //方法B：循环内定义
   for (int i = 0; i < 1000000000; i++)
   {
	POINT point(tmp);
	//tmp = point;
   }

测试程序

   int PostponeVariable()
   {
	POINT tmp;
	tmp.x = 12;
	tmp.y = 13;

	clock_t start = clock();
	//方法A：循环外定义
	POINT point;
	for (int i = 0; i < 1000000000; i++)
	{
		point = tmp;
		//tmp = point;
	}
	clock_t end = clock();
	printf("A:%ld\n", (end - start));

	start = clock();
	//方法B：循环内定义
	for (int i = 0; i < 1000000000; i++)
	{
		POINT point(tmp);
		//tmp = point;
	}
	end = clock();
	printf("B:%ld\n", (end - start));

	return 0;
   }

结果

A:2953
B:2774
请按任意键继续. . .

全部都是A比B执行的快，之前一直自以为是的觉得放在循环外效率比较高！

---

条款27：尽量少做转型动作

1. 尽量避免转型，特别是dynamic_casts，使用无转型设计代替有转型设计
2. 一定要转型时，试着将其影藏于函数背后
3. 尽可能使用C++新式转型

---

条款28：避免返回handles指向对象的内部

class Point{ 
public: 
    Point(int x, int y); 
    ... 
    void setX(int newVal); 
    void setY(int newVal); 
    ... 
}; 
struct RectData{ 
    Point ulhc; 
    Point lrhc; 
}; 
class Rectangle{ 
    ... 
    Point& upperLeft()const {return pData->ulhc;} 
    Point& lowerRight()const {return pData->lrhc;} 
private: 
    std::tr1::shared_ptr<RectData> pData; 
};

const对象被修改：

Point coord1(0,0); 
Point coord2(100,100); 
const Rectangle rec(coord1, coord2); 
rec.upperLeft().setX(50);//现在rec变成从(50,0)到(100,100)

修正：

class Rectangle{ 
    ... 
    const Point& upperLeft()const {return pData->ulhc;} 
    const Point& lowerRight()const {return pData->lrhc;} 
private: 
    std::tr1::shared_ptr<RectData> pData; 
};

避免返回指向对象内部部件的句柄（引用、指针或迭代器）。这样做可以增强封装性，帮助 const 成员函数拥有更加“ const ”的行为，并且使“野句柄”出现的几率降至最低。

---

条款29：为“异常安全”而努力

1. 修改菜单背景

class PrettyMenu{ 
public: 
    ... 
    void changeBackground(std::istream& imgSrc); 
    ... 
private: 
    Mutex mutex; 
    Image* bgImage; 
    int imageChanges; 
}; 
void PrettyMenu::changeBackground(std::istream& imgSrc) 
{ 
    lock(&mutex); 
    delete bgImage; 
    ++imageChanges; 
    bgImage = new Image(imgSrc); 
    unlock(&mutex); 
}

2. 异常安全条件

• 不泄漏任何资源：若new Image(imgSrc)异常，则unlock永不解锁
• 不允许数据破坏：若new Image(imgSrc)异常，则bgImage指向被删除的指针，且imageChanges已被修改，导致未成功执行却修改了数据。

3. 对象管理资源：解决资源泄漏

void PrettyMenu::changeBackground(std::istream& imgSrc) 
{ 
    Lock ml(&mutex);//来自条款14； 
    delete bgImage; 
    ++imageChanges; 
    bgImage = new Image(imgSrc); 
}

4. 异常安全函数保证

• 基本承诺：异常抛出时，保持有效状态，没有对象或数据结构被破坏
• 强烈保证：异常出现时，程序状态不改变，成功则完全成功，失败则会到之前状态
• 不抛掷(nothrow)保证：承诺不抛出异常

5. 基本承诺

class PrettyMenu{ 
    ... 
    std::tr1::shared_ptr<Image> bgImage; 
    ... 
};

void PrettyMenu::changeBackground(std::istream& imgSrc) 
{ 
    Lock ml(&mutex); 
    bgImage.reset(new Image(imgSrc)); 
    ++imageChanges; 
}

6. 强烈保证：copy and swap

struct PMImpl{ 
    std::tr1::shared_ptr<Image> bgImage; 
    int imageChanges; 
}; 
class PrettyMenu{ 
    ... 
private: 
    Mutex mutex; 
    std::tr1::shared_ptr<PMImpl> pImpl; 
}; 
void PrettyMenu::changeBackground(std::istream& imgSrc) 
{ 
    using std::swap; 
    Lock ml(&mutex); 
    std::tr1::shared_ptr<PMImpl> pNew(new PMImpl(*pImpl)); 
    pNew->bgImage.reset(new Image(imgSrc)); //修改副本 
    ++pNew->imageChanges; 
    swap(pImpl, pNew);//置换数据 
}