#include <ext/rope> //所在头文件
using namespace __gnu_cxx;//所在命名空间
const int N = 10000 + 10;
//一般用来处理字符串
rope<char> rs;//可以是int之类的类型,但是会有某些方法无法使用
//等价于crope rs
rs.insert(pos, str);//从pos位置开始插入str
rs.erase(pos, len);//从pos位置开始删掉长度为len的元素
rs.substr(pos, len);//从pos位置开始提取长度为len的子串
rs.replace(pos, x)//替换pos处的元素为x
rs.replace(pos, pos+len, str) //替换pos~pos+len-1这一段的元素为str,len=strlen(str)
rs.at(pos) //访问第pos个元素
因篇幅问题不能全部显示,请点此查看更多更全内容