§21.4.5 [string.access]
const_reference operator[](size_type pos) const;
reference operator[](size_type pos);
返回:
*(begin() + pos)
如果pos < size()
。否则,返回对charT
具有 value类型的对象的引用charT()
,其中修改对象会导致未定义的行为。
至少对我来说,第二部分暗示这个“类型的对象charT
”可能位于存储在std::string
对象中的序列之外。符合的示例实现operator[]
:
reference operator[](size_type pos){
static contexpr charT default = charT();
if(pos == size())
return default;
return buf[pos];
}
现在,c_str()
/ data()
,根据 来指定operator[]
:
§21.4.7 [string.accessors]
const charT* c_str() const noexcept;
const charT* data() const noexcept;
返回:一个指针
p
,使得p + i == &operator[](i)
对于每个i
in[0,size()]
。
这将使上述operator[]
实现不符合要求,如p + size() != &operator[](size())
. 但是,通过一些技巧,您可以规避这个问题:
reference operator[](size_type pos){
static contexpr charT default = charT();
if(pos == size() && !evil_context) // assume 'volatile bool evil_context;'
return default;
return buf[pos];
}
struct evil_context_guard{
volatile bool& ctx;
evil_context_guard(volatile bool& b)
: ctx(b) {}
~evil_context_guard(){ b = false; }
};
const charT* c_str() const noexcept{
evil_context_guard g(evil_context = true);
// now, during the call to 'c_str()', the requirement above holds
// 'p + i == &operator[](i) for each i in [0,size()]'
const charT* p = &buf[0];
assert(p+size() == &operator[](size()));
return p;
}
现在,显而易见的问题是……
上面的代码真的符合还是我忽略了什么?