Yes, per [string.accessors] p1,
Returns: A pointer
p + i == &operator(i)for each
Complexity: constant time.
Requires: The program shall not alter any of the values stored in the character array.
This means that given a string
s, the pointer returned by
s.c_str() must be the same as the address of the initial character in the string (