class Point
{
int x,y;
};
Point p;int x = 0; //对intq行初始化；const char *text = " A C-style string"; //Ҏ针进行初始化Q?/span>double d;std::cin >> d; //采用input stream的方式完成初始化Q?/span>class PhoneNumber{};class ABEntry{ //Address Book Entry;public:ABEntry(const std::string &name, const std::string &address, const std::list<PhoneNumber> &phones);private:std::string theName;std::string tehAddress;std::list<PhoneNumber> thePhones;int numTimesConsulted;};ABEntry::ABEntry(const std::string &name, const std::string &address, std::list<PhoneNumber> &phones){//以下全是赋?assignment)Q不是初始化(initialization);theName = name;theAddress = address;thePhones = phones;numTimesConsulted = 0;}ABEntry::ABEntry(const std::string &name, const std::string &address,const std::list<PhoneNumber> &phones)
: theName(name),
theAddress(address),
thePhones(phones),
numTimesConsulted(0)
{}//构造函数本体不需要Q何动?/span>ABEntry::ABEntry():theName(), //调用theName的构造函?/span>theAddress(), //调用theAddress的构造函?/span>thePhones(), //调用thePhomes的构造函?/span>numTimesConsulted(0) //记得此内置cd昑ּ定义?{}class FileSystem{public:std::size_t numDisks() const;};extern FileSystem tfs;//预备l客户用的对象Qtfs代表"the file system"现在假设建立了一个class用以处理文gpȝ内部的目录。很自然Q他们会用上theFileSystem的对象：
class Directory{public:Directory();};Directory::Directory(){std::size_t disks = tfs.numDisks();}Directory tempDir(params);//Z时文件而做出的目录
现在Q初始化的重要作用显C出来了Q除非tfs在tempDir之前被初始化Q否则tempDir的构造函C用到未初始化的tfs。但是tfs和tempDir是不同的人在不同的时间创建出来的Q他们是定义于不同编译单元内地non-local static对象Q如何能认tfs在tempDir之前先被初始化？
哦，q是无法认的?br>一个小的设计可以改变q种情ŞQ将每一个non-local static 对象搬到自己的专属函数内Q该对象在此函数内被声明为staticQ。这些函数返回一个reference用来指向他所包含的对象。然后用戯用这些函敎ͼ而不是直接指涉这些对象。换句话是non-local static对象被local static对象替换了。这个实现的基础在于QC++保证Q函数内的non-local static 对象会在函数被调用期间首ơ遇上该对象之定义式时被初始化。所以如果以函数调用替换直接讉Knon-local static 对象Q就获得了保证，保证所得的那个reference指向一个经历初始化的对象?此技术实C上面的代码如下：
class FileSystem{};//同前FileSystem &tfs()//q个函数用来替换tfs对象Q他在FileSystem中可能是个static?/span>{static FileSystem fs;return fs;}class Directory{};Directory::Directory(){std::size_t disks = tfs().numDisks();}Directory &tempDir(){static Directory td;return td;}Things to remember:
1.Manually initialize objects of built-in type, because C++only sometimes initializes them itself;
2.In a constructor, prefer to use the member initialization list to assigenment inside the body of the constructor. List data member in the initialization list in the same order they're declared in the class.
3.Avoid initialization order problems across translation units by replacing non-local static objects with local static objects.
]]>
void f2(Widget const * pw);
const也可用来修饰STL中的q代器。声明P代器为const想声明指针为const一P即T* const 指针Q，表示q个q代器不得指向不同的东西。但它所指的东西的值是可以改变的。如果希望P代器所指的东西不可改变Q即模拟一个const T*指针Q，需要的是const_iterator:
std::vector<int> vec;
...
const std::vector<int>::iterator iter = vec.begin();// same as T* const
*iter = 10; //no problem
++iter; //wrong!!
std::vector<int>::const_iterator cIter = vec.begin();//same as const T*
*iter = 10; //wrong!!
++iter; //no problem
const 最具威力（Q）的用法是面对函数声明时的应用。在一个函数声明式内，const可以和函数返回|各参敎ͼ函数自nQ成员函敎ͼ产生兌?br>令函数返回一个常量|往往可以降低因客户错误而造成的意外，而又不至于放弃安全性和高效性。例如，考虑有理数的operator*声明式：
class Rational(){...};
const Rational operator* (const Rational & lhs, const Rational & rhs);
也许你会说ؓ什么返回一个const对象Q原因是如果不这样别人可能实现这L暴行Q?br>Rational a,b,c;
...
(a*b)=c;
下面Q主要说明const作用于成员函数?br>许多人都忽视了这么一个事实，那就是如果两个成员函数只是常量性不同，那么他们是可以重载的。考虑以下q个用来表示一大块文字的classQ?br>
class TextBlock{public:const char& operator[](std::size_t position) const
{return text[position];}char& operator[](std::size_t position){return text[position];}private:std::string text;};TextBlock的operator[]可以q么使用Q?br>TextBlock tb("Hello");std::cout << tb[0]; //调用non-const const TextBlock ctb("Hello");std::cont << ctb[0]; //调用const真是情Ş中const对象多用于passed by pointer-to-const或passed by reference-to-const的传递结果。上q的ctb太过于造作Q下边这个比较真实：
void print (const TextBlocd& ctb){ std::cout << ctb[0]; }只用重蝲operator[]q对不同的版本给予不同的q回cdQ就可以令const和non-const获得不同的处理?br>此处需要注意一点，non-const operator[]的返回类型是个reference to char,不是char。如果operator[]q回的是个charQ下边的赋值就不能通过~译Q?br>tb[0] = 'x'; //error c2106: ' = ' : left operand must be l-value
那是因ؓQ如果函数的q回cd是个内置cdQ那么改动函数的q回g来就不合法。纵使合法，C++以by valueq回对象q一事实Q条?0Q意味着改动的其实只是tb.text[0]的一个副本，不是tb.text[0]本nQ那不是我们惌的结果?br>下边来说说在const和non-const成员函数中避免重?br>假设TextBlockQ和CTextBlockQ内的operator[]不单只是q回一个reference指向某字W，也执行边界检查、志记访问信息、甚臛_能进行数据完整性检验。把所有这些同时放qconst和non-const operator[]中，Dq样的一个怪物Q?br>
class TextBlock{public:const char& operator[](std::size_t position) const{ //边界?bounds checking) //志记数据讉K(log access data) //验数据完整?verify data integrity)return text[position];
}char& operator[](std::size_t position){ //边界?bounds checking) //志记数据讉K(log access data) //验数据完整?verify data integrity)return text[position];}private:std::string text;};class TextBlock{public:const char& operator[](std::size_t position) const{return text[position];}char& operator[](std::size_t position){const_cast<char&>(static_cast<const TextBlock&>(*this)[position]);}};本条目ȝQ?br>
Things to Remember
-
Declaring something const helps compilers detect usage errors. const can be applied to objects at any scope, to function parameters and return types, and to member functions as a whole.
-
Compilers enforce bitwise constness, but you should program using conceptual constness.
-
When const and non-const member functions have essentially identical implementations, code duplication can be avoided by having the non-const version call the const version.
]]>
?br>1.CaseQ?define ASPECT_RATIO 1.653RecommendationQconst double AspectRatio = 1.653Q?br>Reason: 当用ASPECT_RATIO但是获得一个编译错误信息时Q可能你会很是发冏，因ؓq个错误信息也许会提?.653而不是ASPECT_RATIO。如果ASPECT_RATIO定义在非你所写的头文件中Q你更是因ؓq踪他而浪Ҏ间。改为推荐的方式后，你找到的肯定是AspectRatio。当以常量替?defineӞ有两U注意的情况Q第一U是定义帔R指针Qconst pointersQ。由于常量定义式常放在头文g内，因此有必要将指针也声明ؓconst。例如在一个头文g内定义一个常量的char*-based字符Ԍ必须写const两次Q?br>const char* const authorName = "Edmund";
q里采用string对象比其前辈char*-based更合适，
const std::string authorName("Edmund");
W二U是class专属帔R。ؓ了将帔R的作用域限制在class内，你必让他成为class的一个成员；而ؓ保此常量只有一个实体，则必d明ؓstaticQ?br>class GamePlayer{
private:
static const int NumTurns = 5;
int scores[NumTurns];
...
}
然而，你看到的是NumTurns的声明式而不是定义式QC++通常要求我们所使用的Q何东襉K要有一个定义式Q但如果他是个class的专属常量而又是static且ؓ整数cdQintsQcharsQboolsQ，则做Ҏ处理。只要不取他们的地址Q你可以声明q用他们而无需提供定义式。但如果取某个class专属帔R的地址Q或U不取地址而编译器却坚持要看到一个定义式Q你必L供另外一个定义式Q?br>const int GamePlayer::NumTurns;
׃NumTurns在声明时已经获得了初|因此定义时不可以再设初倹{此外，Ҏ谓的“in-class初D?#8221;也只允许Ҏ数常量进行。如果ؓ非整型则可以采用下面的这U方式：
class CostEstimate{
private:
static const double FudgeFactor;
...
}
const double CostEstimate::FudgeFactor = 1.35;
当你在编译期需要一个class帔R|例如在上qGamePlayer::scores的数l声明中Q此时如果编译器不允?#8220;static整数型class帔R”完成“in-class初D?#8221;Q可采用enum来解冻I其理论基?#8220;一个属于枚丄型的数值可权充ints被?#8221;Q于是GamePlayer可定义如下：
class GamePlayer{
private:
enum{NumTurns = 5};
int scores[NumTurns];
...
};
注意Q取一个const的值是合法的，但是取一个enum的值就是不合法的，取一?define的g是不合法的。如果你不想让别得一个pointer或者reference指向你的某个整数帔RQenum可以帮助你实现这个约束?br>下边l箋说预处理器。另外一个常见的#define误用的情景是以他来实现宏Q宏看v来像函数Q但是不会招致函数调用带来的额外开销Q例如：
#define CALL_WITH_MAX(a,b) f((a)>(b)?(a):(b))。他的缺点就不说了，替代方式Q?br>template<class T> inline void callWithMax(const T& a, const T& b)
{
f(a > b?a : b);
}
本条目ȝQ?br>1.对于单纯帔RQ最好以const对象或者enums替换#definesQ?br>2.对于形似函数的宏Q最好改用inline函数替换#defines?br>
PsQ本文是W一ơ在cppblog上发表的文章Q呵c很早就惛_q上面写点了Q但是不是忙q就是忙那，昨天下定军_Q先把effective C++(3e)里面?5条读书笔记写在这上面。打每天一个条目，q里面好多跟书上的句子一P但是全是我自己敲q去的，不存在Q何的paste。所写均是自己搞清楚的，不明白地方的暂时没有d?br>
]]>