C++基础 Chapter 3

一、标准库类型string

1. 定义和初始化string对象

方式	说明
string s1	默认初始化，s1是一个空串
string s2(s1)	拷贝初始化，s2是s1的副本
string s2 = s1	拷贝初始化，同上
string s3("value")	直接初始化
string s3 = "value"	拷贝初始化
string s4(n, 'c')	直接初始化，把s4初始化为由连续n个字符c组成的串

2.string对象上的操作

（1）读写

在执行读取操作时，string对象会自动忽略开头的空白（即空格符、换行符、制表符灯、等）并从第一个真正的字符开始读起，直到遇到下一个空白处为止。

string s1, s2;
cin >> s1 >> s2;    //第一个读入s1，第二个读入s2
cout << s1 << s2 << endl;

读取未知数量的string对象

int main(){
    string word;
    while(cin >> word)    //反复读取，直到到达文件末尾
        cout << word << endl;
    return 0;
}

使用getline( )读取一整行

getline函数的参数是一个输入流和一个string对象，函数从给定的输入流中读入内容，直到遇到换行符为止（此时换行符也被读进来了），然后将所读内容存入string对象中（此时不存换行符），getline只要遇到换行符就结束操作并返回结果

（2）字面值和string对象相加

当把string对象和字符字面值及字符串字面值混在一条语句中使用时，必须保证每个加法运算符的两侧的运算对象至少有一个是string

string s1 = "hello", s2 = "world";
string s3 = s1 + "," + s2 + '\n';
string s4 = s1 + ",";    //true
string s5 = "hello" + ",";    //false
string s6 = s1 + "," + "world"    //true
string s7 = "hello" + "," + s2    //false

（3）处理string对象中的字符

cctype头文件中的函数参见P82

* 使用基于范围的for语句

for (declaration : expression)
    statement

其中，declaration负责定义一个变量，该变量被用于访问序列中的基础元素；expression是一个对象，用于表示一个序列：

* 使用下标[ ]运算符处理一部分字符

//使用下标执行迭代，将s的第一个word改成大写形式
string s("some string");
for (decltype(s.size()) index=0; index!=s.size() && !isspace(s[index]); ++index)
    s[index] = toupper(s[index]);

//输出结果：SOME string

---

二、标准库类型vector

• 标准库类型vector表示对象的集合（引用不是对象，所以不存在包含引用的vector），所有对象类型均相同，每个对象对应一个索引，通过索引访问对象

• vector是类模板（不是类型），编译器根据模板创建类或函数的过程称为实例化，使用模板时，需要指出编译器应把类或函数实例化成何种类型

以vector为例：

vector<int> invec;
vector<Sales_item> Sales_vec;
vector<vector<string>> file;    //该向量的元素是vector对象

1.定义和初始化vector对象

类似于string类的定义和初始化，参见p87

在某些情况下，初始化的真实含义取决于传递初始值时用的是花括号还是圆括号

vector<int> v1(10);    //v1有10个元素，每个元素都是0
vector<int> v2{10};    //v2有1各元素，值为10


vector<int> v3(10, 1);    //v3有10个元素，均为1
vector<int> v4{10, 1};    //v4有2个元素，分别为10和1

2.vector操作

操作	说明
v.empty()	v不含任何元素，返回真；否则返回假
v.size()	返回v中元素个数
v.push_back(t)	向v的尾部添加元素
v[n]	返回v中第n个位置上的引用
v1 = v2	用v2中的元素拷贝替换v1中的元素
v1 = {a, b, c,...}	用列表中元素拷贝替换v1中的元素
v1 == v2	元素相同，元素个数一样
<, <=, >, >=	以字典顺序进行比较

string word;
vector<string> text;
while(cin >> word){
    text.push_back(word);
}

不能用下标形式添加元素！！！

vector对象（以及string对象）的下标运算符可用于访问已存在的元素，而不能用于添加元素

---

三、迭代器

所有标准容器都可以使用迭代器，但是只有少数几种支持下标运算符（vector和string）。获取迭代器并不使用取地址符，有迭代器的类型同时拥有返回迭代器成员，这些类型都拥有名为begin和end的成员，begin成员负责返回指向第一个元素（或第一个字符）的迭代器，end成员则负责返回指向容器（或string对象）“尾元素的下一位置”的迭代器，通常称为“尾后迭代器”。容器为空则说明begin和end成员返回的是同一个迭代器。

1.迭代运算符

运算符	说明
*iter	返回迭代器iter所指元素的引用
iter->men	解引用iter并获取该元素的名为mem的成员，等价于(*iter).mem
++iter	指向下一元素
--iter	指向上一元素

判断是否相等不在此赘述

（1）泛型编程

使用迭代器时，for循环中一般用!=而非<，因为只有string和vector等一些标准库类型才有下标运算符，所有标准库容器的迭代器都定义了==和!=，但是他们中的大多数都没有定义<运算符。

（2）迭代器类型

拥有迭代器的标准库类型使用iterator和const_iterator来表示迭代器的类型：

vector<int>::iterator it;    //it能读写vector<int>的元素
string::iterator it2;    //it2能读写string对象中的字符

vector<int>::const_iterator it3;    //it3只能读元素
string::const_iterator it4;    //it4只能读字符

如果vector对象或string对象是一个常量，只能使用const_iterator；如果不是常量，那既可以使用iterator也可以使用const_iterator

（3）begin和end运算符

• 返回的具体类型由对象是否是常量决定

• 如果对象只需读操作而无需写操作的话最好使用常量类型（const_iterator）

C++11中为了便于得到const_iterator类型的返回值，C++11新标准引入两个新函数，分别是cbegin和cend

（4）结合解引用和成员访问操作

解引用迭代器可获得迭代器所指的对象，如果该对象的类型恰好是类，则可以进一步访问他的成员，C++提供了箭头运算符（->），箭头运算符将解引用和成员访问结合在一起，换句话说，it->mem和(*it).mem是等价的

例如：输出text中的第一段内容

for (auto it = text.cbegin(); it != text.cend() && !it->empty(); ++it)
    cout << *it << endl;

（5）迭代器失效

虽然vector对象可以动态的增长，但是也会有一些副作用。已知的一个限制是不能在范围for循环中项vector对象添加元素；另一个限制是任何一种可能改变vector对象容量的操作，比如push_back，都会使该vector对象的迭代器失效

charpter 9中将解释如何失效

TIPS：但凡是使用了迭代器的循环体，都不要向迭代器所属的容器添加元素

2. 迭代器运算

所有标准库容器都支持递增运算的迭代器，也能使用==和！=对任意标准库类型你给的两个有效迭代器进行比较。string和vector的迭代器提供了更多额外的运算符，称为迭代器运算，具体参见p99

使用迭代器完成二分查找：

//text必须是有序的
//beg和end表示搜索范围
auto beg = text.begin(), end = text.end();
auto mid = text.begin() + (end-beg)/2;    //初始状态的中间点
while (mid != end && *mid != sought) {
    if (sought < *mid)
        end = mid;
    else
        beg = mid + 1;
    mid = beg + (end - beg)/2;
}

---

三、数组

1.指针和数组

• 当使用数组作为一个auto变量的初始值时，推断得到的类型是指针而非数组；但当使用decltype关键字时上述转换不会发生

int ia[] = {0,1,2,3,4,5,6,7,8,9};
auto ia2(ia);    //ia2是一个整型指针，指向ia的第一个元素
ia2 = 42;    //false

decltype(ia) ia3 = {0,1,2,3,4,5,6,7,8,9};    //true

• 标准库函数begin和end

begin函数返回指向ia首元素的指针，end函数返回指向ia尾元素下一位置的指针，这俩函数定义在iterator头文件中：

int ia[] = {0,1,2,3,4,5,6,7,8,9};
int *beg = begin(ia);
int *last = end(ia);

2.与旧代码的接口

（1）混用string对象和C风格字符串

• 允许使用以空字符结束的字符数组来初始化string对象或为string对象赋值
• 在string对象的加法运算中允许使用以空白字符结束的字符数组作为其中一个运算对象（不能两个对象都是）；在string对象的复合赋值运算中允许使用以空字符结束的字符数组作为右侧的运算对象
• 当需要一个C风格字符串时，无法直接用string对象来代替它，可以使用string提供的c_str的成员函数，该函数返回值为一个C风格字符串

string s("Hello World");
char *str = s;	//false，不能使用string对象初始化char*
const char *str = s.c_str();	//true

（2）使用数组初始化vector对象

不允许使用一个数组为另一个内置类型的数组赋初值，也不允许使用vector对象初始化数组，但是可以使用数组初始化vector对象，只需指明要拷贝区域的首元素地址和尾后地址即可：

int int_arr[] = {0,1,2,3,4,5,6,7,8,9};
vector<int> ivec(begin(int_arr), end(int_arr));

尽量使用vector和迭代器，避免使用内置数组和指针；尽量使用string，避免使用C风格的基于数组的字符串

3.多维数组

（1）初始化

//显示地初始化每行首元素
int ia[3][4] = {{0}, {4}, {8}};

//显示地初始化第1行，其他元素执行值初始化
int ix[3][4] = {0, 3, 6, 9};

（2）使用范围for语句处理多维数组

constexpr size_t rowCnt = 3, colCnt = 4;
int ia[rowCnt][colCnt];
size_t cnt = 0;
for (auto &row : ia)
  for (auto &col : row){
    col = cnt;
    ++cnt;
  }

在上面的代码中，使用引用类型作为循环控制变量，主要是为了避免数组被自动转换成指针

（3）指针和多维数组

int ia[3][4];

//输出ia中每个元素的值，每个内层数组各占一行
//p指向含有4个整数的数组
for (auto p = ia; p != ia + 3; ++p){
  for (auto q = *p; q != *p + 4; ++q)
    cout << *q << ' ';
  cout << endl;
}

也可使用begin和end函数实现相同功能

for (auto p = begin(ia); p != end(ia); ++p){
  for(auto q = begin(*p); q != end(*p); ++q)
    cout << *q << ' ';
  cout << endl;
}