Kinerja apa yang dapat kita harapkan dari std :: string's c_str ()? Waktu selalu konstan?

Saya telah melakukan beberapa optimasi yang dibutuhkan belakangan ini. Satu hal yang telah saya lakukan adalah mengubah beberapa ostringstreams -> sprintfs. Saya sprintf'ing banyak std :: string ke ac style array, ala

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

Ternyata implementasi std :: string :: c_str () Microsoft berjalan dalam waktu konstan (hanya mengembalikan pointer internal). Tampaknya libstdc ++ melakukan hal yang sama . Saya menyadari std tidak memberikan jaminan untuk c_str, tetapi sulit membayangkan cara lain untuk melakukan ini. Jika, misalnya, mereka menyalin ke dalam memori mereka juga harus mengalokasikan memori untuk buffer (menyerahkannya kepada pemanggil untuk menghancurkannya - BUKAN bagian dari kontrak STL) ATAU mereka harus menyalin ke statis internal buffer (mungkin bukan threadsafe, dan Anda tidak memiliki jaminan seumur hidup). Jadi hanya mengembalikan pointer ke string yang diakhiri dengan null yang dipelihara secara internal tampaknya menjadi satu-satunya solusi yang realistis.

Jika saya ingat, standar memungkinkan string::c_str()untuk mengembalikan hampir semua hal yang memuaskan:

• Penyimpanan yang cukup besar untuk isi string dan terminating NULL
• Harus valid hingga anggota non-const dari stringobjek yang diberikan dipanggil

Jadi dalam praktiknya, ini berarti pointer ke penyimpanan internal; karena tidak ada cara untuk melacak kehidupan pointer yang dikembalikan secara eksternal. Saya pikir optimasi Anda aman untuk menganggap ini adalah waktu konstan (kecil).

Pada catatan terkait, jika pemformatan string membatasi kinerja; Anda mungkin lebih beruntung menunda evaluasi sampai benar-benar diperlukan dengan sesuatu seperti Boost.Phoenix .

Boost.Format Saya percaya mempertahankan format secara internal sampai hasilnya diperlukan, dan Anda dapat menggunakan objek format yang sama berulang kali tanpa mem-parsing ulang format string, yang saya temukan membuat perbedaan yang signifikan untuk logging frekuensi tinggi.

Dalam standar c ++ 11 (saya membaca versi N 3290), bab 21.4.7.1 berbicara tentang metode c_str ():

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

Pengembalian: Pointer p sehingga p + i == & operator untuk setiap i di [0, size ()].
Kompleksitas: waktu yang konstan.
Membutuhkan: Program tidak akan mengubah nilai-nilai yang tersimpan dalam array karakter.

Jadi, ya: kompleksitas waktu konstan dijamin oleh standar.

Saya baru saja memeriksa c ++ 03 standar, dan tidak memiliki persyaratan seperti itu, juga tidak memberitahu kompleksitasnya.

Dalam teori C ++ 03 tidak mengharuskan itu, dan karenanya string dapat berupa array char di mana keberadaan terminator nol ditambahkan hanya pada saat c_str () dipanggil. Ini mungkin memerlukan realokasi (itu tidak melanggar konstanta, jika pointer pribadi internal dinyatakan sebagai mutable).

C ++ 11 lebih ketat: membutuhkan waktu yang mahal, jadi tidak ada relokasi yang dapat dilakukan dan array harus selalu cukup lebar untuk menyimpan null pada akhirnya. c_str (), dengan sendirinya, masih dapat melakukan " ptr[size()]='\0'" untuk memastikan null benar-benar ada. Itu tidak melanggar konstanta array karena rentang [0..size())tidak berubah.