std::string в char*

@taras atavin · Регистрация: 24.11.2009

Студворк — интернет-сервис помощи студентам

Можно ли привести std::string к указателю на нуль-терминальную строку? Как?

@Toshkarik · 11.06.2012, 18:30

Сообщение от Bers

Есть предположение, что:

Я тоже так думаю. Хотя возможно где то хранятся эти самые строковые литералы. Нужно попробовать проверить со строкой, вводимой пользователем.

@grizlik78 · 11.06.2012, 18:34

Bers, что вкладывается в понятие мёртвая память и почему она мёртвая в том примере?

@Deviaphan · 11.06.2012, 18:34

Сообщение от Bers

то было бы странным создавать новый блок...

Если и правда терзают сомнения, то достаточно сделать ДВА вызова c_str и сравнить эти указатели. Если они разные, то возвращается копия (но это не так, разумеется). А если одинаковые, то на внутренний буфер.
И я не знаю, как работает codepad, но в MSVC в данной программе вообще std::sting str может быть удалён оптимизирующим компилятором, как ненужный объект. Этим можно было бы объяснить неожиданное поведение программы.

@Bers · 11.06.2012, 19:16

Сообщение от grizlik78

Bers, что вкладывается в понятие мёртвая память и почему она мёртвая в том примере?

C++
1
2
3
4
5
char* str = new char[100500];
str[0] = '1';
str[1]= '\0'
delete [] str;
std::cout<<str<<std::endl;

Память сдохла. Но какое то время теоретически может хранить якобы актуальное значение

Добавлено через 2 минуты

Сообщение от Deviaphan

но это не так, разумеется

Ни разу не сталкивался с ситуациями, где это было бы так. Однако, в книжке по STL Джосаттис об этом предупреждает. Он говорит - стандарт не гарантирует, и полагаться на это нельзя.

@grizlik78 · 11.06.2012, 19:18

Ясно. Но непонятно из-за чего такие подозрения в том коде. Вывод строки работает с константной ссылкой на строку и не может вызывать неконстантные функции. А раз так, то указатель остаётся валидным.

@Bers · 11.06.2012, 19:24

C++
1
2
3
4
5
6
7
8
9
10
11
12
int main()
{
       std::string str = "12345";
       const char *cstr1 = str.c_str(),   //смотрит на 12345
       cstr2 = 0;
       std::cout << str << '\n' << cstr1 << std::endl;
       str = "qwerty";        //внутреннее хранилище изменилось
       cstr2 = str.c_str();
       std::cout << '\n' << str << '\n' << cstr1 //по прежнему смотрит на 12345
                 << '\n' << cstr2 << std::endl;
       return 0;
}

Строка изменилась. И как бы ей и не нужны старые данные, но старый указатель об этом не знает.

@grizlik78 · 11.06.2012, 19:30

Ах, да, присваивание я пропустил. Что ж, там что угодно может быть, согласен.

@Bers · 11.06.2012, 19:54

Сообщение от grizlik78

Ах, да, присваивание я пропустил. Что ж, там что угодно может быть, согласен.

Просто в студии, когда внутренее хранилище меняется, то и старые указатели смотрят на это новое внутренее хранилище (иногда). А иногда уже не смотрят (когда реалок памяти стринга).

Как бы.. выдавая наружу си-строку, стринг нарушает инвариант своего класса. Это опасная процедура. И нужна лишь для совместимости с старым си-кодом. Лучше это избегать.

Я пользую сие только для сишных конструкций, и никогда при этом стринг не изменяю. Итак проблем хватает.

@Deviaphan · 11.06.2012, 19:57

Сообщение от Bers

Ни разу не сталкивался с ситуациями, где это было бы так.

В вышеприведённом коде в кодепаде всё выглядит так, будто возвращалась копия.
ТУт ещё такая фишка есть, что строки до 16 символов хранятся в объекте std::string в массиве фиксированного размера (в стеке) и только для бОльших строк выделяется память из кучи. С этим могло быть предыдущее поведение связанно.

@Блудадей · 16.06.2012, 13:26

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
#include <string>
 
int main()
{
   std::string str = "12345";
   
   const char *cstr1 = str.c_str(),
              *cstr2 = 0;
   
   std::cout << str << '\n' << cstr1 << std::endl;
   
   str = "qwert";//уменьшен до 5 символов
   
   cstr2 = str.c_str();
   
   std::cout << '\n' << str << '\n' << cstr1 << '\n' << cstr2 << std::endl;
   
   return 0;
}

данный код выводит(не происходит повторного выделения):
12345
12345

qwert
qwert
qwert
так что, скорее всего c_str возвращает ссылку на оригинал.

@Toshkarik · 16.06.2012, 13:41

Она не может возвращать ссылку на оригинал, сама строка может хранится в контейнере std::string блоками в разных участках памяти, что и писали выше. std::string::c_str() лишь генерирует Си строку, указателем на которую можно безопасно пользоваться до любого изменения строки. Вот тот при мер кода, который я так же приводил в пример на 2 странице:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
#include <string>
 
int main()
{
   std::string str = "12345";
   
   const char *cstr1 = str.c_str(),
              *cstr2 = 0;
   
   std::cout << str << '\n' << cstr1 << std::endl;
   
   str = "qwerty";
   
   cstr2 = str.c_str();
   
   std::cout << '\n' << str << '\n' << cstr1 << '\n' << cstr2 << std::endl;
   
   return 0;
}

Вот вывод.

@taras atavin · 16.06.2012, 15:00 **[ТС]**

Сообщение от Toshkarik

Она не может возвращать ссылку на оригинал, сама строка может хранится в контейнере std::string блоками в разных участках памяти, что и писали выше.

И что?

Сообщение от Toshkarik

std::string::c_str() лишь генерирует Си строку, указателем на которую можно безопасно пользоваться до любого изменения строки.

си строка есть строка символов, хранимых подряд в одном месте и с терминальным нолём. Возвращается не список, не дерево, не массив и не иной контейнер си строк а сама строка. Значит после std::string::c_str() такая строка существует. Почему бы теперь ни назначить внутренний указатель на строку уже на неё? Раз уж память выделена. То есть сначала меняем размещение оригинал и ставим терминальный ноль, а потом уже возвращаем указатель. При этом длина строки продолжает храниться в готовом виде. С другой стороны, можно вернуть копию и при этом указатель на неё запомнить внутри, а при повторном std::string::c_str() верунть второй раз ту же копию. Я свой кривостринг сделала сначала с возвратом оригинала, причём, данные всегда хранились в виде комбинации динамической си строки (с терминальным нолём), её длины в отдельном поле.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
class TSting
{
 protected:
  char *data; // нуль-терминальная строка
  unsigned long int count; // длина строки
 public:
  TString ();
  TString (TString &s);
  TString (char *s);
 ~TString ();
 TString operator +=(TString &s);
 TString operator +=(char *s);
 TString operator +=(char c);
 TString operator +(TString &s);
 TString operator +(char *s);
 TString operator +(char c);
 TString operator =(TString &s);
 TString operator =(char *s);
 TString operator =(char c);
 char &operator [] (unsigned long int number); // номирация с ноля
 unsigned long int Length();
 operator  unsigned long int (); //Тоже возвращает длину строки
};

при запросе длины строки, она возвращается из поля count. При любой операции строки, которая может изменить её длину, count обновляется. Если к строке TString добавляется си строка, то сначала в цикле считается её длина, потом выделяется память, потом count увеличивается на длину слагаемого оператором += и только потом происходит копирование из обеих строк, сначала из старого TString. Если строка TString созданётся на основе си строки, или ей присваивается си строка, то сначала счёт символов в цикле, потом выделение памяти, потом копирование, потом присваивание длины. В остальных случаях сразу выделение памяти, потом копирование, потом += для увеличения count. Потом переписал на возврат копии, за удаление которой отвечала вызывающая функция. Каждый раз возвращалась новая копия, но данные всё равно хранились подряд и с теримнальным нолём на конце. И покажи ка цитату из стандарта, гарантирующую, что символы стринга хранятся в разрозненных кусках. Если нет гарантии обратного, то это ещё ничего не значит.

@Toshkarik · 16.06.2012, 15:07

Вы покажите цитату где я утверждал, что он всегда будет хранится в разных местах памяти? Ваш пост если честно ни о чем. Ваша реализация кого то там класса, это Ваша реализация, и я почти уверен, что она отличается от всех тех, что используют существующие компиляторы. Я могу привести другую цитату:

Generates a null-terminated sequence of characters (c-string) with the same content as the string object and returns it as a pointer to an array of characters.

@taras atavin · 16.06.2012, 15:24 **[ТС]**

Сообщение от Toshkarik

Вы покажите цитату где я утверждал, что он всегда будет хранится в разных местах памяти?

Читай:

Сообщение от Toshkarik

на не может возвращать ссылку на оригинал, сама строка может хранится в контейнере std::string блоками в разных участках памяти,

Если не может вернуть из-за размещения, значит оно всегда такое. Иначе можно привести к подходящему размещению и потом вернуть указатель на внутренние данные.

Добавлено через 2 минуты

Сообщение от Toshkarik

и я почти уверен, что она отличается от всех тех, что используют существующие компиляторы.

Я сам в этом уверен. Но тем не менее, отдельные аспекты класса могли придти в голову не только мне. На свой класс я ссылаюсь только как пример принципиальной возможности возвращать указатель хоть на оригинал, хоть на копию. И при возврате указателя на оригинал разработчики класса могут специально позаботиться обо всех особенностях размещения, чтоб они этот фокус позволяли. Мораль проста: если указатель на оригинал смог вернуть даже я всего через 3 месяца от начала изучения языка, то уж тем более это мог сделать, например, Страуструп, если бы счёл это целесообразным.

@Toshkarik · 16.06.2012, 15:26

Сообщение от taras atavin

сама строка может хранится в контейнере std::string блоками в разных участках памяти,

Что не понятного из этой фразы? Или Вы считаете, что должна быть проверка, находится ли строка в одном месте или кусками, и на основании этого возвращать указатель? И опять же:

Сообщение от Toshkarik

Generates a null-terminated sequence of characters (c-string) with the same content as the string object and returns it as a pointer to an array of characters.

Функция генерирует си-строку...

@taras atavin · 16.06.2012, 15:44 **[ТС]**

Сообщение от Toshkarik

Что не понятного из этой фразы?

"Может хранить" не значит, что именно так она и хранит, фраза лишь утверждает, что нет гарантии обратного. Но обратное всё же возможно. И если оно для его то нудно разработчикам класса, то именно так и будет сделано. Можно даже сделать так, что по дефолту строка разрорвана на фрагменты, а sts::string::c_str() сначала собирает их в один во внутреннем представлении (ему же всё равно сначала надо собрать их в один), а только потом возвращает указатель и после него до следующего изменения строка уже хранится единым блоком до следующего своего изменения. Как вариант - можно хранить список нультерминальных массивов символов с индивидуальными полями длины и ещё общим полем длины, а по sts::string::c_str() приводить его к одному нультерминальному массиву символов через двойной указатель с дублированным полем полной длины.

Добавлено через 3 минуты
Гипотез можно строить много, без строгих формулировок в стандарте (а "может" - не строгая, так как ничего не гарантирует) только листинг и спецификация реализации могут пролить свет на то, как в действительности хранятся данные и что возвращается.

Добавлено через 2 минуты

Сообщение от Toshkarik

Функция генерирует си-строку...

Эйси. Но "генерирует копию данных в виде си строки" и "генерирует си строку и заменяет ею текущее внутреннее представление" - далеко не одно и тоже, но то и то будет "генерирует си строку".

@Toshkarik · 16.06.2012, 15:52

Да о чем Вы вообще? Куда Вас понесло?

Сообщение от taras atavin

не значит, что именно так она и хранится,

Я и написал, что МОЖЕТ хранить, и не писал обратного, не нужно пожалуйста осознанно коверкать смысл фразы.

Сообщение от taras atavin

И если оно для его то нудно разработчикам класса

Вы сами эту фразу поняли?

Все выше Вами описанное c_str() не обязана делать, в ее задачу лишь входит генерация Си-строки, и возвращение указателя на нее, ни слова о том, что она должна как то объединять внутреннее представление строки, или вообще делать что то еще с объектом. Так зачем же разработчикам усложнять себе жизнь?

Сообщение от taras atavin

Но "генерирует копию данных в виде си строки" и "генерирует си строку и заменяет ею текущее внутреннее представление" - далеко не одно и тоже, но то и то будет "генерирует си строку".

Вы хоть читали полностью эту цитату? Покажу 3 раз:
Generates a null-terminated sequence of characters (c-string) with the same content as the string object and returns it as a pointer to an array of characters.

Добавлено через 3 минуты
PS: синоним слова генерировать - создавать. Функция создает массив символов, ограниченный ноль-символом, и по содержанию идентичный строке-объекту.

@taras atavin · 16.06.2012, 15:59 **[ТС]**

Сообщение от Toshkarik

Все выше Вами описанное c_str() не обязана делать, в ее задачу лишь входит генерация Си-строки, и возвращение указателя на нее, ни слова о том, что она должна как то объединять внутреннее представление строки, или вообще делать что то еще с объектом. Так зачем же разработчикам усложнять себе жизнь?

Ну она же всё равно должна объединить данные объекта.

Добавлено через 1 минуту

Сообщение от Toshkarik

PS: синоним слова генерировать - создавать.

Думаешь, я этого не понимаю?

Добавлено через 51 секунду
Модераторы, прикройте эту тему с хвостом ни о чём, а то она давно в офтоп свалилась.

@Toshkarik · 16.06.2012, 16:00

Она не должна ничего объединять. Она должна создать массив символов ( Си-строку ), идентичный по содержанию string-объекту.

@ForEveR · 16.06.2012, 17:05

5 The char-like objects in a basic_string object shall be stored contiguously. That is, for any basic_string
object s, the identity &*(s.begin() + n) == &*s.begin() + n shall hold for all values of n such that 0
<= n < s.size().

Итого - по кускам строка хранится НЕ может. Она обязана хранится в непрерывной области памяти.

6 References, pointers, and iterators referring to the elements of a basic_string sequence may be invalidated
by the following uses of that basic_string object:
— as an argument to any standard library function taking a reference to non-const basic_string as an
argument.234
— Calling non-const member functions, except operator[], at, front, back, begin, rbegin, end, and
rend.

Итого при вызове не константных функций, за исключением некоторых - итераторы, указатели могут стать не валидными.

const charT* c_str() const noexcept;
const charT* data() const noexcept;
1 Returns: A pointer p such that p + i == &operator[](i) for each i in [0,size()].
2 Complexity: constant time.
3 Requires: The program shall not alter any of the values stored in the character array.

Итого - не генерируется никакой новой строки.

Что, в стандарт сложно заглянуть?

Добавлено через 26 минут
Хотя все понятно. В стандарте С++98 ничего такого не описано.

Новые блоги и статьи Все статьи Все блоги /
28. КОнкретное развертывание плана номер 1 из поста номер 27 anaschu 22.06.2026 Можно ли из модели получить конкретные строительные требования? Честно — напрямую из текущей модели такие ответы не получить. Но цепочка логики есть, и она не такая длинная. Где разрыв . . .	27. Планы на разработку функциональных требований к строительству внутри модели пищеблока (или не только его?) anaschu 22.06.2026 Что уже реализовано и даёт конфликты «бесплатно» Самый простой конфликт уже работает — конфликт за ресурс-работника. Заданий больше, чем доступных поваров → очередь в queue1. Это прямое отражение. . .	26. мед мат модель.Какие типы конфликтов функциональных требований можно рассчитать через ДЕС-моделирование (СМО) в AnyLogic? anaschu 22.06.2026 Что ДЕС/ СМО умеет считать напрямую: Конфликты за ресурсы (очереди, узкие места). Несколько типов агентов (повара, учителя, рабочие, пациенты) претендуют на один ресурс (лифт, вход, коридор,. . .	25 модель здравосохранения и функциональных требований к пищеблоку: конфликты функциональных требований. anaschu 22.06.2026 Есть ли данные о том, какие функциональные/ эксплуатационные требования или их сочетания труднее всего учитывать при проектировании зданий? Да, такие данные есть, и они хорошо описаны и в российской,. . .
Remote Connection Manager DevAlt 21.06.2026 Написал для себя небольшую прилагу: https:/ / github. com/ altbodhi/ ReConMan По итогу пришел к мысли, что DU не дружат с существующими технологиями. От сериализации до отображения в реляционную. . .	Администрация Хабра удаляет новые энрегоэфективные алгоритмы, которые не западной школы кода, и вовсе никак не сгенерировавны. Hrethgir 20.06.2026 Делается это, как замечено, при правках - при объявлении концептуальных отличий в алгоримах. Делается это, по линейке событий - после дополнения публикации основными отличиями от основных западных. . .	Процесс ориентированная диалектика (не новость - просто системное обновление, философия). Hrethgir 20.06.2026 Однажды один участник в своём блоге, на этом форуме, сделал запись "О языках замолвите слово". Понимая, что язык - важная вещь, я решил хорошо подумать, прежде чем сказать, и сказал то, что вы видите. . .	Контроль уникальности строк в табличной части документа Maks 18.06.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ПланированиеСпецтехники" с табличной частью "НаличиеОборудования", разработанного в КА2. Задача: контроль уникальности строк в. . .

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562

	std::string в char* 11.06.2012, 14:13. Показов 23280. Ответов 40 Метки нет (Все метки) Можно ли привести std::string к указателю на нуль-терминальную строку? Как? 0

@grizlik78 2383 / 1667 / 279 Регистрация: 29.05.2011 Сообщений: 3,402
	11.06.2012, 18:34
	Bers, что вкладывается в понятие мёртвая память и почему она мёртвая в том примере? 0

@grizlik78 2383 / 1667 / 279 Регистрация: 29.05.2011 Сообщений: 3,402
	11.06.2012, 19:18
	Ясно. Но непонятно из-за чего такие подозрения в том коде. Вывод строки работает с константной ссылкой на строку и не может вызывать неконстантные функции. А раз так, то указатель остаётся валидным. 0

@grizlik78 2383 / 1667 / 279 Регистрация: 29.05.2011 Сообщений: 3,402
	11.06.2012, 19:30
	Ах, да, присваивание я пропустил. Что ж, там что угодно может быть, согласен. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	16.06.2012, 16:00
	Она не должна ничего объединять. Она должна создать массив символов ( Си-строку ), идентичный по содержанию string-объекту. 0