tuple
是类似pair
的模板,每个成员类型都可以不同,但tuple
可以有任意数量的成员。- 但每个确定的
tuple
类型的成员数目是固定的。 - 我们可以将
tuple
看做一个“快速而随意”的数据结构。
tuple支持的操作:
操作 | 解释 |
---|---|
tuple<T1, T2, ..., Tn> t; |
t 是一个tuple ,成员数为n ,第i 个成员的类型是Ti 所有成员都进行值初始化。 |
tuple<T1, T2, ..., Tn> t(v1, v2, ..., vn); |
每个成员用对应的初始值vi 进行初始化。此构造函数是explicit 的。 |
make_tuple(v1, v2, ..., vn) |
返回一个用给定初始值初始化的tuple 。tuple 的类型从初始值的类型推断。 |
t1 == t2 |
当两个tuple 具有相同数量的成员且成员对应相等时,两个tuple 相等。 |
t1 relop t2 |
tuple 的关系运算使用字典序。两个tuple 必须具有相同数量的成员。 |
get<i>(t) |
返回t 的第i 个数据成员的引用:如果t 是一个左值,结果是一个左值引用;否则,结果是一个右值引用。tuple 的所有成员都是public 的。 |
tuple_size<tupleType>::value |
一个类模板,可以通过一个tuple 类型来初始化。它有一个名为value 的public constexpr static 数据成员,类型为size_t ,表示给定tuple 类型中成员的数量。 |
tuple_element<i, tupleType>::type |
一个类模板,可以通过一个整型常量和一个tuple 类型来初始化。它有一个名为type 的public 成员,表示给定tuple 类型中指定成员的类型。 |
定义和初始化示例:
tuple<size_t, size_t, size_t> threeD;
tuple<size_t, size_t, size_t> threeD{1,2,3};
auto item = make_tuple("0-999-78345-X", 3, 2.00);
访问tuple成员:
auto book = get<0>(item);
get<2>(item) *= 0.8;
tuple
最常见的用途是从一个函数返回多个值。
- 处理二进制位的有序集;
bitset
也是类模板,但尖括号中输入的是bitset
的长度而不是元素类型,因为元素类型是固定的,都是一个二进制位。
初始化bitset
的方法:
操作 | 解释 |
---|---|
bitset<n> b; |
b 有n 位;每一位均是0.此构造函数是一个constexpr 。 |
bitset<n> b(u); |
b 是unsigned long long 值u 的低n 位的拷贝。如果n 大于unsigned long long 的大小,则b 中超出unsigned long long 的高位被置为0。此构造函数是一个constexpr 。 |
bitset<n> b(s, pos, m, zero, one); |
b 是string s 从位置pos 开始m 个字符的拷贝。s 只能包含字符zero 或one :如果s 包含任何其他字符,构造函数会抛出invalid_argument 异常。字符在b 中分别保存为zero 和one 。pos 默认为0,m 默认为string::npos ,zero 默认为'0',one 默认为'1'。 |
bitset<n> b(cp, pos, m, zero, one); |
和上一个构造函数相同,但从cp 指向的字符数组中拷贝字符。如果未提供m ,则cp 必须指向一个C 风格字符串。如果提供了m ,则从cp 开始必须至少有m 个zero 或one 字符。 |
初始化案例;
bitset<13> bitvec1(0xbeef);
bitset<32> bitvec4("1100");
bitset
操作:
操作 | 解释 |
---|---|
b.any() |
b 中是否存在1。 |
b.all() |
b 中都是1。 |
b.none() |
b 中是否没有1。 |
b.count() |
b 中1的个数。 |
b.size() |
|
b.test(pos) |
pos 下标是否是1 |
b.set(pos) |
pos 置1 |
b.set() |
所有都置1 |
b.reset(pos) |
将位置pos 处的位复位 |
b.reset() |
将b 中所有位复位 |
b.flip(pos) |
将位置pos 处的位取反 |
b.flip() |
将b 中所有位取反 |
b[pos] |
访问b 中位置pos 处的位;如果b 是const 的,则当该位置位时,返回true ;否则返回false 。 |
b.to_ulong() |
返回一个unsigned long 值,其位模式和b 相同。如果b 中位模式不能放入指定的结果类型,则抛出一个overflow_error 异常。 |
b.to_ullong() |
类似上面,返回一个unsigned long long 值。 |
b.to_string(zero, one) |
返回一个string ,表示b 中位模式。zero 和one 默认为0和1。 |
os << b |
将b 中二进制位打印为字符1 或0 ,打印到流os 。 |
is >> b |
从is 读取字符存入b 。当下一个字符不是1或0时,或是已经读入b.size() 个位时,读取过程停止。 |
- 正则表达式(reqular expression)是一种描述字符序列的方法,是一种很强大的工具。
正则表达式库组件:
组件 | 解释 |
---|---|
regex |
表示一个正则表达式的类 |
regex_match |
将一个字符序列与一个正则表达式匹配 |
regex_search |
寻找第一个与正则表达式匹配的子序列 |
regex_replace |
使用给定格式替换一个正则表达式 |
sregex_iterator |
迭代器适配器,调用regex_searcg 来遍历一个string 中所有匹配的子串 |
smatch |
容器类,保存在string 中搜索的结果 |
ssub_match |
string 中匹配的子表达式的结果 |
regex_match
和regex_search
的参数:
操作 | 解释 |
---|---|
(seq, m, r, mft) |
在字符序列seq 中查找regex 对象r 中的正则表达式。seq 可以是一个string 、标识范围的一对迭代器、一个指向空字符结尾的字符数组的指针。 |
(seq, r, mft) |
m 是一个match 对象,用来保存匹配结果的相关细节。m 和seq 必须具有兼容的类型。mft 是一个可选的regex_constants::match_flag_type 值。 |
- 这些操作会返回
bool
值,指出是否找到匹配。
regex
使用的正则表达式语言是ECMAScript
,模式[[::alpha::]]
匹配任意字母。- 由于反斜线是C++中的特殊字符,在模式中每次出现
\
的地方,必须用一个额外的反斜线\\
告知C++我们需要一个反斜线字符。 - 简单案例:
string pattern("[^c]ei"); pattern = "[[:alpha:]]*" + pattern + "[[:alpha:]]*"
查找不在字符c之后的字符串eiregex r(pattern);
构造一个用于查找模式的regexsmatch results;
定义一个对象保存搜索结果string test_str = "receipt freind theif receive";
if (regex_search(test_str, results, r)) cout << results.str() << endl;
如有匹配子串,打印匹配的单词。
regex
(和wregex
)选项:
操作 | 解释 |
---|---|
regex r(re) regex r(re, f) |
re 表示一个正则表达式,它可以是一个string 、一对表示字符范围的迭代器、一个指向空字符结尾的字符数组的指针、一个字符指针和一个计数器、一个花括号包围的字符列表。f 是指出对象如何处理的标志。f 通过下面列出来的值来设置。如果未指定f ,其默认值为ECMAScript 。 |
r1 = re |
将r1 中的正则表达式替换Wiere 。re 表示一个正则表达式,它可以是另一个regex 对象、一个string 、一个指向空字符结尾的字符数组的指针或是一个花括号包围的字符列表。 |
r1.assign(re, f) |
和使用赋值运算符(=)的效果相同:可选的标志f 也和regex 的构造函数中对应的参数含义相同。 |
r.mark_count() |
r 中子表达式的数目 |
r.flags() |
返回r 的标志集 |
定义regex
时指定的标志:
操作 | 解释 |
---|---|
icase |
在匹配过程中忽略大小写 |
nosubs |
不保存匹配的子表达式 |
optimize |
执行速度优先于构造速度 |
ECMAScript |
使用ECMA-262 指定的语法 |
basic |
使用POSIX 基本的正则表达式语法 |
extended |
使用POSIX 扩展的正则表达式语法 |
awk |
使用POSIX 版本的awk 语言的语法 |
grep |
使用POSIX 版本的grep 的语法 |
egrep |
使用POSIX 版本的egrep 的语法 |
- 可以将正则表达式本身看做是一种简单程序语言设计的程序。在运行时,当一个
regex
对象被初始化或被赋予新模式时,才被“编译”。 - 如果编写的正则表达式存在错误,会在运行时抛出一个
regex_error
的异常。 - 避免创建不必要的正则表达式。构建一个
regex
对象可能比较耗时。
sregex_iterator
操作(用来获得所有匹配):
操作 | 解释 |
---|---|
sregex_iterator it(b, e, r); |
一个sregex_iterator ,遍历迭代器b 和e 表示的string 。它调用sregex_search(b, e, r) 将it 定位到输入中第一个匹配的位置。 |
sregex_iterator end; |
sregex_iterator 的尾后迭代器 |
*it , it-> |
根据最后一个调用regex_search 的结果,返回一个smatch 对象的引用或一个指向smatch 对象的指针。 |
++it , it++ |
从输入序列当前匹配位置开始调用regex_search 。前置版本返回递增后迭代器;后置版本返回旧值。 |
it1 == it2 |
如果两个sregex_iterator 都是尾后迭代器,则它们相等。两个非尾后迭代器是从相同的输入序列和regex 对象构造,则它们相等。 |
示例:
// 将字符串file中所有匹配模式r的子串输出
for (sregex_iterator it(file.begin(), file.end(), r), end_it; it != end_it; ++it){
cout << it ->str() << endl;
}
smatch
操作:
操作 | 解释 |
---|---|
m.ready() |
如果已经通过调用regex_search 或regex_match 设置了m ,则返回true ;否则返回false 。如果ready 返回false ,则对m 进行操作是未定义的。 |
m.size() |
如果匹配失败,则返回0,;否则返回最近一次匹配的正则表达式中子表达式的数目。 |
m.empty() |
等价于m.size() == 0 |
m.prefix() |
一个ssub_match 对象,标识当前匹配之前的序列 |
m.suffix() |
一个ssub_match 对象,标识当前匹配之后的部分 |
m.format(...) |
|
m.length(n) |
第n 个匹配的子表达式的大小 |
m.position(n) |
第n 个子表达式距离序列开始的长度 |
m.str(n) |
第n 个子表达式匹配的string |
m[n] |
对应第n 个子表达式的ssub_match 对象 |
m.begin(), m.end() |
表示m 中ssub_match 元素范围的迭代器。 |
m.cbegin(), m.cend() |
常量迭代器 |
- 正则表达式语法通常用括号表示子表达式。
- 子表达式的索引从1开始。
- 在
fmt
中用$
后跟子表达式的索引号来标识一个特定的子表达式。
示例:
if (regex_search(filename, results, r))
cout << results.str(1) << endl; // .str(1)获取第一个子表达式匹配结果
ssub_match
子匹配操作:
操作 | 解释 |
---|---|
matched |
一个public bool 数据成员,指出ssub_match 是否匹配了 |
first , second |
public 数据成员,指向匹配序列首元素和尾后位置的迭代器。如果未匹配,则first 和second 是相等的。 |
length() |
匹配的大小,如果matched 为false ,则返回0。 |
str() |
返回一个包含输入中匹配部分的string 。如果matched 为false ,则返回空string 。 |
s = ssub |
将ssub_match 对象ssub 转化为string 对象s 。等价于s=ssub.str() ,转换运算符不是explicit 的。 |
正则表达式替换操作:
操作 | 解释 |
---|---|
m.format(dest, fmt, mft) , m.format(fmt, mft) |
使用格式字符串fmt 生成格式化输出,匹配在m 中,可选的match_flag_type 标志在mft 中。第一个版本写入迭代器dest 指向的目的为止,并接受fmt 参数,可以是一个string ,也可以是一个指向空字符结尾的字符数组的指针。mft 的默认值是format_default 。 |
rege_replace(dest, seq, r, fmt, mft) , regex_replace(seq, r, fmt, mft) |
遍历seq ,用regex_search 查找与regex 对象r 相匹配的子串,使用格式字符串fmt 和可选的match_flag_type 标志来生成输出。mft 的默认值是match_default |
示例:
string phone = "(\\()?(\\d{3})(\\))?([-. ])?(\\d{3})([-. ]?)(\\d{4})"
string fmt = "$2.$5.$7"; // 将号码格式改为ddd.ddd.dddd
regex r(phone); // 用来寻找模式的regex对象
string number = "(908) 555-1800";
cout << regex_replace(number, r, fmt) << endl;
匹配标志:
操作 | 解释 |
---|---|
match_default |
等价于format_default |
match_not_bol |
不将首字符作为行首处理 |
match_not_eol |
不将尾字符作为行尾处理 |
match_not_bow |
不将首字符作为单词首处理 |
match_not_eow |
不将尾字符作为单词尾处理 |
match_any |
如果存在多于一个匹配,则可以返回任意一个匹配 |
match_not_null |
不匹配任何空序列 |
match_continuous |
匹配必须从输入的首字符开始 |
match_prev_avail |
输入序列包含第一个匹配之前的内容 |
format_default |
用ECMAScript 规则替换字符串 |
format_sed |
用POSIX sed 规则替换字符串 |
format_no_copy |
不输出输入序列中未匹配的部分 |
format_first_only |
只替换子表达式的第一次出现 |
- 新标准之前,C和C++都依赖一个简单的C库函数
rand
来生成随机数,且只符合均匀分布。 - 新标准:随机数引擎 + 随机数分布类, 定义在
random
头文件中。 - C++程序应该使用
default_random_engine
类和恰当的分布类对象。
随机数引擎操作
操作 | 解释 |
---|---|
Engine e; |
默认构造函数;使用该引擎类型默认的种子 |
Engine e(s); |
使用整型值s 作为种子 |
e.seed(s) |
使用种子s 重置引擎的状态 |
e.min() ,e.max() |
此引擎可生成的最小值和最大值 |
Engine::result_type |
此引擎生成的unsigned 整型类型 |
e.discard(u) |
将引擎推进u 步;u 的类型为unsigned long long |
示例:
// 初始化分布类型
uniform_int_distribution<unsigned> u(0, 9);
// 初始化引擎
default_random_engine e;
// 随机生成0-9的无符号整数
cout << u(e) << endl;
设置随机数发生器种子:
- 种子就是一个数值,引擎可以利用它从序列中一个新位置重新开始生成随机数。
- 种子可以使用系统函数
time(0)
。
分布类型的操作:
操作 | 解释 |
---|---|
Dist d; |
默认够赞函数;使d 准备好被使用。其他构造函数依赖于Dist 的类型;分布类型的构造函数是explicit 的。 |
d(e) |
用相同的e 连续调用d 的话,会根据d 的分布式类型生成一个随机数序列;e 是一个随机数引擎对象。 |
d.min() ,d.max() |
返回d(e) 能生成的最小值和最大值。 |
d.reset() |
重建d 的状态,是的随后对d 的使用不依赖于d 已经生成的值。 |
- 使用操纵符改变格式状态。
- 控制布尔值的格式:
cout << boolalpha << true << endl;
- 指定整型的进制:
cout << dec << 20 << endl;
定义在iostream
中的操纵符:
操纵符 | 解释 |
---|---|
boolalpha |
将true 和false 输出为字符串 |
* noboolalpha |
将true 和false 输出为1,0 |
showbase |
对整型值输出表示进制的前缀 |
* noshowbase |
不生成表示进制的前缀 |
showpoint |
对浮点值总是显示小数点 |
* noshowpoint |
只有当浮点值包含小数部分时才显示小数点 |
showpos |
对非负数显示+ |
* noshowpos |
对非负数不显示+ |
uppercase |
在十六进制中打印0X ,在科学计数法中打印E |
* nouppercase |
在十六进制中打印0x ,在科学计数法中打印e |
* dec |
整型值显示为十进制 |
hex |
整型值显示为十六进制 |
oct |
整型值显示为八进制 |
left |
在值的右侧添加填充字符 |
right |
在值的左侧添加填充字符 |
internal |
在符号和值之间添加填充字符 |
fixed |
浮点值显示为定点十进制 |
scientific |
浮点值显示为科学计数法 |
hexfloat |
浮点值显示为十六进制(C++11) |
defaultfloat |
充值浮点数格式为十进制(C++11) |
unitbuf |
每次输出操作后都刷新缓冲区 |
1 | * nounitbuf |
* skipws |
输入运算符跳过空白符 |
noskipws |
输入运算符不跳过空白符 |
flush |
刷新ostream 缓冲区 |
ends |
插入空字符,然后刷新ostream 缓冲区 |
endl |
插入换行,然后刷新ostream 缓冲区 |
其中*
表示默认的流状态。
单字节低层IO操作:
操作 | 解释 |
---|---|
is.get(ch) |
从istream is 读取下一个字节存入字符cn 中。返回is 。 |
os.put(ch) |
将字符ch 输出到ostream os 。返回os 。 |
is.get() |
将is 的下一个字节作为int 返回 |
is.putback(ch) |
将字符ch 放回is 。返回is 。 |
is.unget() |
将is 向后移动一个字节。返回is 。 |
is.peek() |
将下一个字节作为int 返回,但不从流中删除它。 |
多字节低层IO操作:
操作 | 解释 |
---|---|
is.get(sink, size, delim) |
从is 中读取最多size 个字节,并保存在字符数组中,字符数组的起始地址由sink 给出。读取过程直到遇到字符delim 或读取了size 个字节或遇到文件尾时停止。如果遇到了delim ,则将其留在输入流中,不读取出来存入sink 。 |
is.getline(sink, size, delim) |
与接收三个参数的get 版本类似,但会读取并丢弃delim 。 |
is.read(sink, size) |
读取最多size 个字节,存入字符数组sink 中。返回is 。 |
is.gcount() |
返回上一个未格式化读取从is 读取的字节数 |
os.write(source, size) |
将字符数组source 中的size 个字节写入os 。返回os 。 |
is.ignore(size, delim) |
读取并忽略最多size 个字符,包括delim 。与其他未格式化函数不同,ignore 有默认参数:size 默认值是1,delim 的默认值为文件尾。 |
- 注意:一般情况下,主张使用标准库提供的高层抽象,低层函数容易出错。
- 只适用于
fstream
和sstream
。 - 通过将标记
seek
到一个给定位置来重定位它。 tell
告诉我们标记的当前位置。
操作 | 解释 |
---|---|
tellg() ,tellp |
返回一个输入流中(tellg )或输出流中(tellp )标记的当前位置。 |
seekg(pos) ,seekp(pos) |
在一个输入流或输出流中将标记重定位到给定的绝对地址。pos 通常是一个当前teelg 或tellp 返回的值。 |
seekp(off, from) ,seekg(off, from) |
在一个输入流或输出流中将标记定位到from 之前或之后off 个字符,from 可以是下列值之一:beg ,偏移量相对于流开始位置;cur ,偏移量相对于流当前位置;end ,偏移量相对于流结尾位置。 |