C++ 第三十三天

Ⅰ、类成员函数的隐式参数 T *const this 。

就是说对于某个类的成员函数 returnType function() 的真实面目其实是这样的 returnType function(T *const this) 。

如果调用 obj.function() ，可以认为编译器将该调用重写成了 function(&obj) 。

Ⅱ、常量成员函数。

他看上去是这样的 returnType function() const ，真实面目这个样 returnType function(const T *const this) 。

从使用者的角度来说，什么时候考虑加 const 呢？一般来说是在该方法中对象“只读”的时候。

在我的印象中， Java 中似乎是不存在这种考虑的，所有对象都默认为非常量，所以 C++ 为什么要有这个玩意儿？！！！对于这个问题我思考了很久，虽然在设计类的时候总是会考虑加不加 const 的问题，但是在实际创建对象的时候真的很少会写类似于 const Person p; 这样的东西。一个比较勉强的解释是，现实生活中总存在一些不变的东西，常量对象用于抽象表达这类事物。

网上的解释：C++ const解析（转）

Const 作用

.   const类型定义：指明变量或对象的值是不能被更新,引入目的是为了取代预编译指令

.   可以保护被修饰的东西，防止意外的修改，增强程序的健壮性。

.   编译器通常不为普通const常量分配存储空间，而是将它们保存在符号表中，这使得它成为一个编译期间的常量，没有了存储与读内存的操作，使得它的效率也很高。

.    可以节省空间，避免不必要的内存分配。

Ⅲ、编译器分两步处理类：首先编译成员的声明，然后才轮到成员函数体（就是指花括号{}里的东西）。

因此，成员函数体可以随意使用类中的其他成员而无需在意这些成员的出现次序，不论这个成员函数体是在类里面还是类外面，是在成员变量前，还是在成员变量后。

Ⅳ、返回引用类型，形如 returnType& function() 。

回忆一下 C++ 的引用：

• 引用即别名
• 引用必须初始化，引用形参绑定初始化它的对象
• 使用引用避免拷贝
• 使用引用形参返回额外信息（有时会比返回一个自定义数据类型方便）
• 尽量使用常量引用（相对于普通引用，常量引用能够绑定的对象范围更广，例如 const string &s 作为形参还可以绑定字面值）

返回一个值的方式和初始化一个变量或者形参的方式完全一样：返回的值用于初始化调用点的一个临时量，该临时量就是函数调用的结果。

因此调用 function() 的时候，相当于对 returnType& temp 做了一次初始化，temp 是一个别名，不会产生拷贝！需要注意的是不要返回局部变量的引用，可返回的有 *this 、形参的引用（这个形参也必须是别名！而非临时的变量）。

相关阅读：

• 编译器的工作过程