Какую производительность мы можем ожидать от std :: string's c_str ()? Всегда постоянное время?

В последнее время я делал некоторые необходимые оптимизации. Одна вещь, которую я делал, - это изменение некоторых ostringstreams -> sprintfs. Я sprintf'ing кучу std :: strings в массив стиля AC, аля

char foo[500];
sprintf(foo, "%s+%s", str1.c_str(), str2.c_str());

Оказывается, что реализация Microsoft std :: string :: c_str () выполняется за постоянное время (она просто возвращает внутренний указатель). Похоже, что libstdc ++ делает то же самое . Я понимаю, что std не дает никаких гарантий для c_str, но сложно представить другой способ сделать это. Если, например, они скопировали в память, им либо пришлось бы выделить память для буфера (предоставив вызывающей стороне его уничтожить - НЕ часть контракта STL) ИЛИ им пришлось бы скопировать во внутреннюю статическую память. буфер (вероятно, не потокобезопасный, и у вас нет никаких гарантий на его время жизни). Так что простой возврат указателя на внутренне поддерживаемую строку с нулевым символом в конце кажется единственным реальным решением.

Если я помню, стандарт позволяет string::c_str()возвращать почти все, что удовлетворяет:

• Память, которая достаточно велика для содержимого строки и окончания NULL
• Должен быть действительным, пока не stringбудет вызван неконстантный член данного объекта

Таким образом, на практике это означает указатель на внутреннее хранилище; так как нет способа внешне отслеживать жизнь возвращаемого указателя. Я думаю, что ваша оптимизация безопасна, если предположить, что это (небольшое) постоянное время.

С другой стороны, если форматирование строк ограничивает производительность; вам может посчастливиться отложить оценку до тех пор, пока она абсолютно не понадобится с чем-то вроде Boost.Phoenix .

Boost.Format Я полагаю, что внутреннее форматирование откладывается до тех пор, пока не потребуется результат, и вы можете использовать один и тот же объект формата несколько раз без повторного разбора строки формата, что, как я обнаружил, имеет большое значение для высокочастотной регистрации.

В стандарте c ++ 11 (я читаю версию N 3290) глава 21.4.7.1 говорит о методе c_str ():

const charT* c_str() const noexcept; const charT* data() const noexcept;

Возвращает: указатель p такой, что p + i == & оператор для каждого i в [0, size ()].
Сложность: постоянное время.
Требуется: Программа не должна изменять ни одно из значений, хранящихся в массиве символов.

Итак, да: сложность с постоянным временем гарантируется стандартом.

Я только что проверил стандарт C ++ 03, и он не имеет таких требований, и это не говорит о сложности.

В теории C ++ 03 этого не требует, и, следовательно, строка может быть массивом char, в котором присутствие нулевого терминатора добавляется только во время вызова c_str (). Это может потребовать перераспределения (это не нарушает постоянство, если внутренний закрытый указатель объявлен какmutable ).

C ++ 11 более строгий: он требует затрат времени, поэтому перемещение не может быть выполнено, и массив всегда должен быть достаточно широким, чтобы хранить ноль в конце. c_str () сама по себе может делать " ptr[size()]='\0'", чтобы гарантировать, что значение null действительно присутствует. Это не нарушает постоянство массива, так как диапазон [0..size())не изменяется.