std::string vs std::string_view

std::string vs std::string_view 详解std::string_view是 C17 引入的一个非拥有、只读的字符串视图。它常被拿来和老牌的std::string做对比 —— 二者表面看起来很像但语义、所有权、生命周期完全不同。用得好能大幅提升性能用得不好就是悬空引用的重灾区。本文会从它们各自是什么开始讲到差异、使用场景、性能分析以及踩坑指南。1. 各自是什么1.1std::string一个拥有所有权的可变字符串容器。内部通常包含三个字段ptr、size、capacity再加上 SSO 小串优化的 union buffer。管理内存构造时分配析构时释放拷贝时深拷贝。可变支持、append、replace、resize等修改操作。以\0结尾c_str()返回的是保证零结尾的 C 字符串。1.2std::string_view一个不拥有任何字符的轻量视图。内部只有两个字段ptr指向字符的指针size长度。整个对象通常只有 16 字节。不管理内存不分配、不释放、不拷贝字符内容只保存指针和长度。只读不提供operator[]的非 const 版本也没有append/resize这类修改操作。不保证以\0结尾data()返回的可能不是零结尾的 C 字符串。一句话string是字符串的所有者string_view是对某段字符串的借用。2. 核心区别对比维度std::stringstd::string_view所有权拥有字符内存不拥有只是借用可变性可读可写只读内存管理自动分配 / 释放完全不管拷贝成本O(n)深拷贝字符O(1)只拷贝指针 长度大小通常 24 ~ 32 字节带 SSO通常 16 字节零结尾保证以\0结尾不保证生命周期自管理依赖底层字符串的生命周期引入版本C98C17适合做什么需要持有、修改字符串只读地观察、传递字符串适合当参数需要接管字符串时只读形参几乎总是最优选择3. 为什么需要string_view3.1 传统const std::string参数的隐藏开销看这个典型写法boolstarts_with_hello(conststd::strings){returns.rfind(hello,0)0;}starts_with_hello(hello world);// ①starts_with_hello(some_c_str);// ②虽然参数写的是引用但hello world和some_c_str都是const char*要绑定到const std::string会隐式构造一个临时std::string。这里有个细节常被混淆临时string对象本身一定是在栈上它就是一个普通的临时变量但它管理的字符存储放哪儿取决于长度字符串长度字符存储位置短串命中 SSO对象内联的 inline buffer也在栈上无堆分配长串超出 SSO 容量堆上malloc一块析构时free三大实现的 SSO 上限libstdc 15 字节、libc 22 字节、MSVC STL 15 字节。所以hello world11 字节其实不会上堆只有短字符的内联拷贝 构造 析构开销。但只要字符串稍长例如一条完整日志行、一段 JSON 字段、一个文件路径就会真的触发malloc/free。在热路径上每秒被调用百万次时偶尔上堆的那部分很容易主宰整个函数的耗时。即便命中 SSO隐式构造仍然要memcpy这些字节到 inline buffer填好size、把ptr指向 inline buffer函数返回时再析构一次。这些都是string_view完全没有的工作。3.2string_view消除这种开销boolstarts_with_hello(std::string_view s){returns.substr(0,5)hello;}此时传hello worldconst char*→ 只构造{ptr, len}指针直接指向.rodata段里的字面量零拷贝、零分配。传std::string→ 隐式转换为string_view指针指向string原本的字符缓冲栈上的 SSO 或堆上的 buffer 都行零拷贝。传std::string_view→ 直接传两个 word零拷贝。所有主流字符串来源都能零成本喂给它这就是string_view的价值。4. 典型使用场景4.1 只读形参最常见voidlog(std::string_view msg);voidparse(std::string_view input);经验法则只读的字符串形参永远优先用std::string_view。4.2 切片 / 子串零拷贝std::string_view svhello,world;autocommasv.find(,);autoleftsv.substr(0,comma);// hello —— 仍然只是视图autorightsv.substr(comma1);// world —— 仍然只是视图相比std::string::substr会分配一个新的字符串string_view::substr不拷贝任何字符。4.3 解析 / 分词std::vectorstd::string_viewsplit(std::string_view s,chardelim){std::vectorstd::string_viewout;size_t start0;for(size_t i0;is.size();i){if(is.size()||s[i]delim){out.emplace_back(s.substr(start,i-start));starti1;}}returnout;}只要s的原始存储还活着out里的所有切片都有效整个分词过程零分配。4.4 返回字符串常量std::string_viewname()constnoexcept{returnanonymous;// 静态存储期的字面量永远有效}5.std::string_view的陷阱重点string_view本质上是指针 长度所以它继承了所有指针能犯的错。陷阱 1指向临时对象最经典的悬空std::stringmake(){returnhello;}std::string_view svmake();// ⚠️ 临时 string 立刻析构std::coutsv;// UB悬空视图右侧的std::string是个临时对象表达式结束就被销毁了sv保存的指针立刻变野指针。编译器通常不会报警告。正确写法std::string smake();// 延长生命周期std::string_view svs;// ok陷阱 2成员变量存string_viewstructConfig{std::string_view name;// ⚠️ 小心};Config c;{std::string tmpabc;c.nametmp;}// tmp 析构use(c.name);// UB如果类是要持有字符串的就老老实实用std::string。只有确信视图指向的数据比类的生命周期更长比如全局字面量时才考虑存string_view。陷阱 3误当成 C 字符串用voidprint(std::string_view sv){std::printf(%s\n,sv.data());// data() 不保证 \0 结尾}sv.data()只返回起点指针长度在sv.size()里printf(%s)会一路读到\0为止 —— 越界读取。正确做法std::printf(%.*s\n,(int)sv.size(),sv.data());或者先转成std::stringstd::printf(%s\n,std::string(sv).c_str());// 代价一次分配陷阱 4substr之后string失效std::string shello,world;std::string_view vs;sstd::string(1000,x);// s 重新分配了内存旧缓冲已释放use(v);// UB旧指针已失效只要底层string做了重分配reserve、append超过容量、赋值为更长的串等之前取出的string_view就可能全部失效 —— 类比vector迭代器失效。6. 互相转换std::string s1hello;std::string_view v1s1;// 隐式转换O(1)std::string_view v2{s1.data(),3};// helstd::string s2{v1};// 显式O(n) 拷贝std::string s3std::string(v1);// 同上注意string_view → string必须是显式的因为它会分配内存C 标准故意让你看得见这个代价。7. 什么时候该用std::string并不是说string_view是银弹下面这些场景老老实实用std::string需要修改字符串内容 ...、replace等。需要拥有字符串存进容器、成员变量要活过某个作用域。需要一个保证\0结尾的 C 字符串给老 C API用。字符串由函数内部构造并要返回出去返回string_view容易悬空。和std::string比较 / 作为std::mapstd::string, ...的 key 时除非 C20 的异构查找搭好。8. 性能数据直观感受下面的伪基准说明典型差距具体数字因编译器、SSO、堆分配器而异但数量级是稳定的调用一百万次 starts_with(文字) const std::string短串SSO 命中如 hello world→ ~8 ms 栈上 inline 拷贝 构造析构 const std::string长串超出 SSO 触发 malloc → ~30 ms 每次都堆分配 释放 std::string_view → ~2 ms 仅传 2 个 word零拷贝可以看到string_view的优势有两个来源消除堆分配长串场景下malloc/free的成本是string_view和const string之间的主要差距。消除隐式构造/析构即使短串命中 SSO、不上堆也依然有拷贝字节和析构的开销string_view完全没有。在一次真实的解析类工作负载中拆分日志行把string/const string全部换成string_view往往能带来2× ~ 5×的整体提速同时让堆分配次数从百万级降到接近零。9. 经验法则速查场景推荐类型只读参数std::string_view需要修改的参数std::string要接管 / 存起来的参数std::string按值返回字符串给调用方保存std::string返回对自身成员的只读视图且文档说明std::string_view成员变量存字符串std::string成员变量存对外部长寿字符串的引用std::string_view接 C API要\0结尾std::string10. 和其它兄弟类型的关系const char*最老派的 C 风格字符串。长度靠strlen算 O(n)易越界。现代 C 基本可以被string_view全面取代。std::spanconst charC20和string_view更像但语义是字节区间没有字符串相关的find/substr/compare。字符串场景仍优先string_view。std::u8string_view/u16string_view/u32string_view同样的机制字符类型变为 UTF-8/16/32 的字符。C20 的starts_with/ends_with/containsstring和string_view都加了这些成员函数让前缀匹配终于可以一行搞定。总结std::string字符串的所有者深拷贝、可变、自管理内存、\0结尾。std::string_view字符串的借用视图浅引用、只读、不管理内存、不保证\0。能用string_view当只读形参就不要用const std::string这是现代 C 最容易拿到的性能红利之一。但string_view绝不是免费午餐它是个带指针的借用语义所有悬空、失效的规则都适用。一句话要写入 / 要持有用string只读 / 只看用string_view。