懒计算size的string_view是否符合C++标准（除复杂度外）且可等价替换？

标准合规性分析 #

1. 构造函数复杂度要求
   C++标准明确规定，接受单个const char*参数的std::string_view构造函数，复杂度为O(n)——因为它需要遍历空终止字符串以确定长度。你的懒实现将构造时的复杂度改为O(1)，直接违反了这一标准要求。

2. size()成员函数的要求
   标准要求std::string_view::size()必须是常数时间复杂度，且只要对象未被修改，每次调用返回的结果必须一致。而懒计算的实现中，第一次调用size()会触发线性时间的长度计算，后续调用才是常数时间，这不符合标准对size()的复杂度要求。

等价替换的可行性 #

这种设计的string_view无法无错误地等价替换标准std::string_view，核心原因包括：

• 行为不一致：标准string_view的长度在构造时就已确定，后续底层字符串的修改（如截断、破坏空终止符）不会影响size()的返回值；但懒计算实现会在首次调用size()时计算长度（若未缓存），若底层字符串在此期间被修改，会导致结果与标准行为不符。
• 线程安全风险：若多个线程同时调用未完成懒计算的size()，会出现竞态条件，而标准std::string_view在无修改操作的前提下是线程安全的。
• 隐含假设被打破：部分代码可能依赖标准规定的构造/size()复杂度特性，懒实现会破坏这些假设，引发不可预期的性能问题或逻辑错误。

内容的提问来源于stack exchange，提问作者余国良