1、在函数体的“入口处” ,用断言对参数的有效性进行检查。断言 assert 是仅在 Debug 版本起作用的宏,它用于检查“不应该”发生的情况。
?
void *memcpy(void *pvTo, const void *pvFrom, size_t size) { assert((pvTo != NULL) && (pvFrom != NULL)); // 使用断言 byte *pbTo = (byte *) pvTo; // 防止改变 pvTo 的地址 byte *pbFrom = (byte *) pvFrom; // 防止改变 pvFrom 的地址 while(size -- > 0 ) *pbTo ++ = *pbFrom ++ ; return pvTo; }
如果程序在 assert 处终止了,并不是说含有该 assert 的函数有错误,而是调用者出了差错,assert 可以帮助我们找到发生错误的原因。
?
?2、在函数体的“出口处” ,对 return 语句要注意以下几点:
(1)return 语句不可返回指向“栈内存”的“指针”或者“引用”,因为该内存在函数体结束时被自动销毁。例如
?
char * Func(void) { char str[] = “hello world”; // str 的内存位于栈上 … return str; // 将导致错误 }
? (2 )如果函数返回值是一个对象,要考虑return 语句的效率。例如
return String(s1 + s2)?
比?
?
?? ? ? String temp(s1 + s2);?
?? ? ? return temp;
还高效,因为前者是创建一个临时对象并返回它,而后者创建临时对象temp时,同时完成初始化;然后拷贝构造函数把 temp ?拷贝到保存返回值的外部存储单元中;最后,temp ?在函数结束时被销毁(调用析构函数)
?
?
?3、引用与指针
这是比较重要的一块。
引用的一些规则如下: (1)引用被创建的同时必须被初始化(指针则可以在任何时候被初始化) 。 (2)不能有 NULL 引用,引用必须与合法的存储单元关联(指针则可以是 NULL) 。 (3)一旦引用被初始化,就不能改变引用的关系(指针则可以随时改变所指的对象) 。 以下示例程序中,k 被初始化为 i 的引用。语句 k = j 并不能将 k 修改成为 j 的引用, 只是把 k 的值改变成为 6。由于 k 是 i 的引用,所以 i 的值也变成了 6。 int i = 5; int j = 6; int &k = i; k = j; // k 和 i 的值都变成了 6; 上面的程序看起来象在玩文字游戏,没有体现出引用的价值。引用的主要功能是传递函数的参数和返回值。
?
4、值传递、指针传递和引用传递。
C++语言中,函数的参数和返回值的传递方式有三种:值传递、指针传递和引用传递。
?
// 值传递 void Func1(int x) { x = x + 10; } … int n = 0; Func1(n); cout << “n = ” << n << endl; // n = 0
?// 指针传递
void Func2(int *x) { (* x) = (* x) + 10; } … int n = 0; Func2(&n); cout << “n = ” << n << endl; // n = 10
?//?引用传递
?
void Func3(int &x) { x = x + 10; } … int n = 0; Func3(n); cout << “n = ” << n << endl; // n = 10?
?