题外话:一工作起来就没有大段的时间学习了,如何充分利用碎片时间是个好问题。
27、与 vector 类型相比,数组的显著缺陷在于:数组的长度是固定的,无法直接复制和赋值(Wrong:int arr2[]=arr1;),而且程序员无法知道一个给定数组的长度---没有size操作(但可以间接获取)。
只有当性能测试表明使用 vector 无法达到必要的速度要求时,才使用数组。
没有所有元素都是引用的数组。
数组的维数必须用值大于等于 1 的常量表达式定义。此常量表达式只能包含整型字面值常量、枚举常量或者用常量表达式初始化的整型 const 对象。非 const 变量以及要到运行阶段才知道其值的 const变量都不能用于定义数组的维数。
字符数组既可以用一组由花括号括起来、逗号隔开的字符字面值进行初始化,也可以用一个字符串字面值进行初始化。然而,要注意这两种初始化形式并不完全相同,字符串字面值包含一个额外的空字符(null)用于结束字符串。
注意,如果不使用自字面值常量,那就要给字符数组手动提供结束符‘\0‘,否则会溢出。
#include <iostream> #include <string> using namespace std; //char array以‘\0‘为结束标记,需要手动提供!!! int main(){ int is[5]={1,2,3,4,5}; cout<<is<<endl; // char cs[5]={‘a‘,‘b‘,‘c‘,‘d‘,‘e‘,‘\0‘}; //error // char cs[5]={‘a‘,‘b‘,‘c‘,‘d‘,‘e‘}; //error char cs[5]={‘a‘,‘b‘,‘c‘,‘d‘,‘\0‘}; //ok cout<<cs<<endl; return 0; }
28、指针,格式:string *p=&str;
& 符号是取地址操作符,当此操作符用于一个对象上时,返回的是该对象的存储地址。
string* ps1, ps2; // ps1 is a pointer to string, ps2 is a string(不要这样定义)
一个有效的指针必然是以下三种状态之一:保存一个特定对象的地址;指向某个对象后面的另一对象;或者是 0 值。若指针保存 0 值,表明它不指向任何对象。
未初始化的指针是无效的,直到给该指针赋值后,才可使用它。
int ival = 1024; int *pi = 0; // pi initialized to address no object int *pi2 = & ival; // pi2 initialized to address of ival int *pi3; // ok, but dangerous, pi3 is uninitialized pi = pi2; // pi and pi2 address the same object, e.g. ival pi2 = 0; // pi2 now addresses no object
C++ 语言无法检测指针是否未被初始化,也无法区分有效地址和由指针分配到的存储空间中存放的二进制位形成的地址。
除了使用数值 0 或在编译时值为 0 的 const 量外,还可以使用 C++ 语言从 C 语言中继承下来的预处理器变量 NULL,该变量在 cstdlib 头文件中定义,其值为 0。
预处理器变量不是在 std 命名空间中定义的,因此其名字应为 NULL,而非 std::NULL。
C++ 提供了一种特殊的指针类型 void*,它可以保存任何类型对象的地址。
void* 表明该指针与一地址值相关,但不清楚存储在此地址上的对象的类型。
void* 指针只支持几种有限的操作:与另一个指针进行比较;向函数传递 void* 指针或从函数返回 void* 指针;给另一个 void* 指针赋值。不允许使用 void* 指针操纵它所指向的对象。
指针提供间接操纵其所指对象的功能。与对迭代器进行解引用操作一样,对指针进行解引用可访问它所指的对象,* 操作符(解引用操作符)将获取指针所指的对象。
关于指针和引用:
#include <iostream> #include <string> using namespace std; //练习ref和pointer int main(){ string str="hello world!"; string &ref=str; string *p1=&str; string *p2=&ref; //引用和原变量指向同一个对象 cout<<p1<<endl; cout<<p2<<endl; //修改引用的内容,不是重定向,而是修改!!! ref="what\‘s this"; p2=&ref; cout<<p2<<endl; return 0; }
引用一经初始化,就始终指向某个特定地址的对象,该引用本身不可修改!所以引用必须初始化。
指向指针的指针:C++ 使用 ** 操作符指派一个指针指向另一指针。string **ppstr=&pstr;
C++ 语言中,指针和数组密切相关。特别是在表达式中使用数组名时,该数组名字会自动转换为指向数组第一个元素的指针。
如果希望使指针指向数组中的另一个元素,则可使用下标操作符给某个元素定位,然后用取地址操作符 & 获取该元素的存储地址。
与其使用下标操作,倒不如通过指针的算术操作来获取指定内容的存储地址。
int ia[] = {0,2,4,6,8}; int *ip = ia; // ok: ip points to ia[0] int *ip2 = ip + 4; // ok: ip2 points to ia[4], the last element in ia
C++ 允许计算数组或对象的超出末端的地址,但不允许对此地址进行解引用操作。所以,可以作为类似vector.end()的作用来使用。
指向const对象的指针 和 const指针:
前者是:const string *p; 不能通过p修改指向的对象内容。
后者是:string *const p; 不能修改p本身的值。
如果指向 const 对象,则不允许用指针来改变其所指的 const 值。为了保证这个特性,C++ 语言强制要求指向 const 对象的指针也必须具有 const 特性。
同样,不能使用 void* 指针保存 const 对象的地址,而必须使用 const void *类型的指针保存 const 对象的地址。
本质上来说,由于没有方法分辩 cosnt type *ptr 所指的对象是否为 const,系统会把它所指的所有对象都视为 const。
在实际的程序中,指向 const 的指针常用作函数的形参。将形参定义为指向 const 的指针,以此确保传递给函数的实际对象在函数中不因为形参而被修改。
const string s1 和 string const s2 是一样的。
string str="xxx"; //字符串字面值常量 typedef string *pstr; const pstr p=&str; //这里的const pstr p和 pstr const p一样,都是将p 设为const,而非指向const对象。务必注意这点!!!
#include <iostream> #include <string> using namespace std; int main(){ int i = -1; int *p1 = &i; const int *p2 = &i; int *const p3 = &i; const int *const p4 = &i; const int i2 = i; const int *p5 = &i2; // int *const p6 = &i2;//[Error] invalid conversion from ‘const int*‘ to ‘int*‘ [-fpermissive] 。 // 指向const对象的指针,必须[const type *p]格式 。 const int *const p7 = &i2; return 0; }
29、字符串字面值的类型,就是const char类型的数组,而且是C风格的(null-terminated)。
C 风格字符串既不能确切地归结为 C 语言的类型,也不能归结为 C++ 语言的类型,而是以空字符 null 结束的字符数组。
操作C风格字符串:cstring库文件。
传递给其函数的指针必须具有非0值,且指向以null结束的字符数组中的第一个元素。
C++ 语言提供普通的关系操作符实现标准库类型 string 的对象的比较。这些操作符也可用于比较指向 C 风格字符串的指针,但效果却很不相同:实际上,此时比较的是指针上存放的地址值,而并非它们所指向的字符串。if (cp1 < cp2)
字符串的比较和比较结果的解释都须使用标准库函数 strcmp() 进行:
const char *cp1 = "A string example"; const char *cp2 = "A different string"; int i = strcmp(cp1, cp2); // i is positive i = strcmp(cp2, cp1); // i is negative i = strcmp(cp1, cp1); // i is zero
标准库函数 strcmp 有 3 种可能的返回值: 若两个字符串相,则返回 0 值; 若第一个字符串大于第二个字符串,则返回正数,否则返回负数。
对大部分的应用而言,使用标准库类型 string,除了增强安全性外,效率也提高了,因此应该尽量避免使用 C 风格字符串。
30、与数组变量不同,动态分配的数组将一直存在,直到程序显式释放它为止。
每一个程序在执行时都占用一块可用的内存空间,用于存放动态分配的对象,此内存空间称为程序的自由存储区或堆。
C 语言程序使用一对标准库函数 malloc 和 free 在自由存储区中分配存储空间,而 C++ 语言则使用 new和 delete表达式实现相同的功能。
动态数组定义:int *pia = new int[10];
在自由存储区中创建的数组对象是没有名字的,程序员只能通过其地址间接地访问堆中的对象。
动态分配数组时,如果数组元素具有类类型,将使用该类的默认构造函数实现初始化;如果数组元素是内置类型,则无初始化。
// 动态数组,内置类型,无初始化 int *p=new int[10]; while(*p){ cout<<*p<<endl;//未初始化,所以数值是乱的 p++; }
也可使用跟在数组长度后面的一对空圆括号,对数组元素做值初始化:int *pia = new int[10]();
圆括号要求编译器对数组做值初始化。
如果我们在自由存储区中创建的数组存储了内置类型的 const 对象,则必须为这个数组提供初始化:因为数组元素都是 const 对象,无法赋值。
已创建的常量元素不允许修改——因此这样的数组实际上用处不大。
C++ 虽然不允许定义长度为 0 的数组变量,但明确指出,调用 new 动态创建长度为 0 的数组是合法的。
用 new 动态创建长度为 0 的数组时,new 返回有效的非零指针。该指针与 new 返回的其他指针不同,不能进行解引用操作,因为它毕竟没有指向任何元素。
动态分配的内存最后必须进行释放,否则,内存最终将会逐渐耗尽。
delete [] pia; // []必不可少,说明是数组,而非单个对象。
说明:new和delete也可以创建和删除一般对象,如 int *p=new int(1024); 只是,只能返回地址,没有名字!!
通常是因为在编译时无法知道数组的维数,所以才需要动态创建该数组。
由于 C 风格字符串与字符串字面值具有相同的数据类型,而且都是以空字符 null 结束,因此可以把 C 风格字符串用在任何可以使用字符串字面值的地方。
但是无法在要求C 风格字符串的地方使用string对象。例如无法使用string对象初始化字符指针。
string s1("hehe"); // 可以使用字符串字面值常量初始化string char *p = "hehe"; //OK char *p = &s1; // Error,无法使用string对象初始化字符指针!
上面可以使用string的方法来返回一个指针。
const char *p = s1.c_str(); c_str 函数返回 C 风格字符串,其字面意思是:“返回 C 风格字符串的表示方法”,即返回指向字符数组首地址的指针,该数组存放了与 string 对象相同的内容,并且以结束符 null 结束。 c_str 返回的数组并不保证一定是有效的,接下来对 s1 的操作有可能会改变 s1 的值,使刚才返回的数组失效。如果程序需要持续访问该数据,则应该复制 c_str 函数返回的数组。
31、 C++ 允许使用数组初始化 vector 对象:
const size_t arr_size = 6; int int_arr[arr_size] = {0, 1, 2, 3, 4, 5}; // ivec has 6 elements: each a copy of the corresponding element in int_arr vector<int> ivec(int_arr, int_arr + arr_size); // 相当于给定首、尾指针,含头不含尾!
const size_t size = 5; int arr[size] = {1,2,3,4,5}; vector<int> ivec(arr, arr+size); // cout<<ivec<<endl; for(vector<int>::iterator iter=ivec.begin();iter!=ivec.end();iter++){ cout<<*iter<<endl; } int *p = arr; cout<<*p<<endl; int *p1 = (arr+4); // 帅呆了 cout<<*p1<<endl;
//测试:相当于给定首、尾指针,含头不含尾! int *p2; // 未初始化,注意 vector<int> ivec2(p2, p2+5); for(vector<int>::iterator iter=ivec2.begin();iter!=ivec2.end();iter++){ cout<<*iter<<endl; }
C 程序把指向以空字符结束的字符数组的指针视为字符串。
使用其他类型定义的类型。数组、指针和引用都是复合类型。
C++的&&和||是短路求值。short-circut evaluation。(&和|则是位运算符)
逻辑与和逻辑或操作符总是先计算其左操作数,然后再计算其右操作数。只有在仅靠左操作数的值无法确定该逻辑表达式的结果时,才会求解其右操作数。
前置操作(++i)需要做的工作更少,只需加 1 后返回加 1 后的结果即可。而后置操作符则必须先保存操作数原来的值,以便返回未加 1 之前的值作为操作的结果。
对于 int 型对象和指针,编译器可优化掉这项额外工作。但是对于更多的复杂迭代器类型,这种额外工作可能会花费更大的代价。
因此,养成使用前置操作这个好习惯,就不必操心性能差异的问题。
箭头操作符(->):(*p).function() 等价于 p->function()。
#include <iostream> #include <string> #include <vector> using namespace std; // string * 的vector,打印string。 int main(){ string s1="hehe"; string s2="haha"; string s3="what"; string s4="abc"; string s5="world"; vector<string*> pvec; pvec.push_back(&s1); pvec.push_back(&s2); pvec.push_back(&s3); pvec.push_back(&s4); pvec.push_back(&s5); for(vector<string*>::iterator iter=pvec.begin();iter!=pvec.end();++iter){ cout<<*iter<<"\t"<<**iter<<"\t"<<(*iter)->size()<<endl; } return 0; }
sizeof返回的类型是size_t。 sizeof (type name); sizeof (expr); sizeof expr; 将 sizeof 用于 expr 时,并没有计算表达式 expr 的值。特别是在 sizeof *p 中,指针 p 可以持有一个无效地址,因为不需要对 p 做解引用操作。 • 对 char 类型或值为 char 类型的表达式做 sizeof 操作保证得 1。 • 对引用类型做 sizeof 操作将返回存放此引用类型对象所需的内在空间大小。 • 对指针做 sizeof 操作将返回存放指针所需的内在大小;注意,如果要获取该指针所指向对象的大小,则必须对指针进行引用。 • 对数组做 sizeof 操作等效于将对其元素类型做 sizeof 操作的结果乘上数组元素的个数。 因为 sizeof 返回整个数组在内存中的存储长度,所以用 sizeof 数组的结果除以 sizeof 其元素类型的结果,即可求出数组元素的个数。
逗号表达式是一组由逗号分隔的表达式,这些表达式从左向右计算。逗号表达式的结果是其最右边表达式的值。如果最右边的操作数是左值,则逗号表达式的值也是左值。
此类表达式通常用于 for 循环。
删除指针后,该指针变成悬垂指针。悬垂指针指向曾经存放对象的内存,但该对象已经不再存在了。悬垂指针往往导致程序错误,而且很难检测出来。
一旦删除了指针所指向的对象,立即将指针置为 0,这样就非常清楚地表明指针不再指向任何对象。
#include <iostream> using namespace std; int main(){ int *pi=new int[10]; //动态创建对象,只能返回地址 delete [] pi; int *p = new int; delete p; p=0; //防止悬垂指针 string *pstr=new string(10,‘9‘); cout<<*pstr<<endl; delete pstr; pstr=0; //防止悬垂指针 return 0; }
隐式转换:C++ 定义了算术类型之间的内置转换以尽可能防止精度损失。通常,如果表达式的操作数分别为整型和浮点型,则整型的操作数被转换为浮点型。
算数转换:在包含多种类型的表达式中,转换规则要确保计算值的精度。
显式转换也称为强制类型转换(cast),包括以下列名字命名的强制类型转换操作符:static_cast、dynamic_cast、const_cast和 reinterpret_cast。
例子:ival *= static_cast<int>(dval); // converts dval to int
命名的强制类型转换符号的一般形式如下:
cast-name<type>(expression);
其中 cast-name 为 static_cast、dynamic_cast、const_cast 和 reinterpret_cast 之一,type 为转换的目标类型,而 expression 则是被强制转换的值。
dynamic_cast 支持运行时识别指针或引用所指向的对象。
const_cast ,顾名思义,将转换掉表达式的 const 性质。
编译器隐式执行的任何类型转换都可以由 static_cast 显式完成。
如果编译器不提供自动转换,使用 static_cast 来执行类型转换也是很有用的。例如,下面的程序使用 static_cast 找回存放在 void* 指针中的值: void* p = &d; // ok: address of any data object can be stored in a void* double *dp = static_cast<double*>(p); // ok: converts void* back to the original pointer type
建议:避免使用强制类型转换。
旧式强制类型转换(略)
旧式强制转换符号有下列两种形式:
type (expr); // Function-style cast notation
(type) expr; // C-language-style cast notation