Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Для новичков > массв char*, выделение памяти

Автор: lv151 31.1.2009, 11:40

char* arr[3] = {"str1", "str2", "str3"}; Почему во всех примерах, использования массива указателей на строки, память, для каждой, не выделяется оператором new? Я ожидал что то вроде этого: (Псевдокод) Код char* tmp_str = new char[4]; *tmp_str = "aaa"; arr[0] = tmp_str;

Автор: Avaj 31.1.2009, 12:05

Код char* arr[3] = {"str1", "str2", "str3"}; Тут объявляется массив из константных строк, а для них память самостоятельно выделять не надо, но также их нельзя изменять, т.е. например так: Код char *str = "aaa"; arr[0] = 'q';  - нельзя, т.к. str - константная строка. По-моему так.

Автор: lv151 31.1.2009, 12:17

Это массив указателей на строки.

Автор: pan2004 31.1.2009, 12:25

указатели не обязательно означают, что объект, на который они указывают, будет находится в heap. В твоем примере создается массив указателей на стековую область памяти, поэтому никакого new. Цитата(lv151 @  31.1.2009,  11:40 ) Я ожидал что то вроде этого: так тоже можно, но надо не забыть потом сделать delete

Автор: Avaj 31.1.2009, 13:22

lv151, Цитата Это массив указателей на строки.  - ну естественно что я это имел ввиду  , и если уж на то пошло, то это массив указателей на первые символы строк.

Автор: lv151 31.1.2009, 13:25

указатели не обязательно означают, что объект, на который они указывают, будет находится в heap. В твоем примере создается массив указателей на стековую область памяти, поэтому никакого new Это только для переменных символьного типа?

Автор: Christoph 31.1.2009, 15:13

Цитата(lv151 @ 31.1.2009,  12:17) Это массив указателей на строки. это указатель на область памяти, которая представлена как последовательность символов

Автор: lv151 31.1.2009, 18:11

ОК. Почему char* arr[3] = {"str1", "str2", "str3"} - это прокатывает, а это -  int* i = 5 (или int* i;*i = 5;), нет.

Автор: mes 31.1.2009, 18:49

Цитата(lv151 @  31.1.2009,  17:11 ) или int* i;*i = 5;), нет. почему нет ? это скомпилируется, просто в рантайме  вызовет ошибку записи не в свою память  вот так правильней: Код  int j;  int* i =&j; *i = 5; Цитата(lv151 @  31.1.2009,  17:11 )  int* i = 5 нет. ну вы пытаесь указатель вместо адресса, на какой он должен указывать пропихнуть обыкновенное значение. если Вам действительно нужно такое, надо предупредить компилятор, что Вы знаете, чего делаете: Код   int* i = (int*)0xa000;  ну а если нужен массив, то пишите так Код int i[] = {5,3,2};

Автор: lv151 31.1.2009, 18:53

Цитата(mes @  31.1.2009,  18:49 ) почему нет ? это скомпилируется, просто в рантайме  вызовет ошибку записи не в свою память  char* arr[3] = {"str1", "str2", "str3"}  - а почему это не вызывает?

Автор: mes 31.1.2009, 19:48

Цитата(lv151 @  31.1.2009,  17:53 ) char* arr[3] = {"str1", "str2", "str3"}  - а почему это не вызывает? потому что в Вашем сравнении Вы сравниваете разные вещи. *i = 5; - запись в ячейку по разъименованому указателю. Код                                     //в правой части : char  c[] = { 'a', 'b', 'c', '\0'}; // массив символов int   i[] = {1,2,3};                // массив целочисленых значений char * s = "abc";                   // строка , обратите внимание на отличие кавычек от первой строки. char *sa[] = {"abc", "def", "ghi"}; // массив строк

Автор: lv151 31.1.2009, 20:50

Да, я понимаю что char  c[]  - это адрес, т.е. указатель константа, char * s - указатель - переменная, но мы можем таким же образом работать и с int: Код int arr[5] = {1, 2, 3, 4, 5}; for (int j = 0; j < 5; j++) {  cout<<*(arr + j); } или Код int arr[5] = {1, 2, 3, 4, 5}; int* p_arr = arr; for (int j = 0; j < 5; j++) {  cout<<*(p_arr++); } char* p = 'a'; - а это не запись в ячейку по разъименованому указателю? так почему char* p = 'a', а так нет - int* p = 1;  указатели не обязательно означают, что объект, на который они указывают, будет находится в heap. В твоем примере создается массив указателей на стековую область памяти, поэтому никакого new Почему для int* p = 1 не выделяется память в стеке, а на уровне компиляции: error C2440: 'initializing' : cannot convert from 'int' to 'int *'

Автор: mes 31.1.2009, 21:21

Цитата(lv151 @  31.1.2009,  19:50 ) так почему char* p = 'a', а так нет - int* p = 1;  оба примера не будут компилироваться Добавлено через 1 минуту и 18 секунд Цитата(lv151 @  31.1.2009,  19:50 ) char* p = 'a'; - а это не запись в ячейку по разъименованому указателю? это нет, а   Код  * p = 'a';   -да Добавлено через 11 минут и 28 секунд Цитата(lv151 @  31.1.2009,  19:50 ) Да, я понимаю что char  c[]  - это адрес, т.е. указатель константа, char * s - указатель - переменная, но мы можем таким же образом работать и с int: Вы путаетесь в уровнях, попробую зайти немного с другой стороны.  вот Вам три однотипных инициализации массивов: Код char c[] = { 'a', 'b', 'c'};  char i [] = {1,2,3};            string s[] = {"abc", "def", "ghi"};  все выглядит абсолютно одинаково- Вас устраивает ? только для компилятора string это char * , поэтому третья строчка записывaется так : Код char *s[] = {"abc", "def", "ghi"};

Автор: lv151 31.1.2009, 22:21

0) char *x = "asdq" - работает, char *x = {'a', 's', 'd', 'q'} - нет. Для удобства в компиляторе есть встроенный  механизм работы со строками? 1) Т.Е. для компилятора char x[5] = "asdq" равно  char *x = "asdq"?, только во втором случае мы можем менять адрес переменной?  2) Компилятор сам выделяет память?  3) Как он получает адрес переменной? Это её адрес в "теле exe-ника"?

Автор: mes 31.1.2009, 22:57

Цитата(lv151 @  31.1.2009,  21:21 ) 0) char *x = "asdq" - работает, char *x = {'a', 's', 'd', 'q'} - нет. Для удобства в компиляторе есть встроенный  механизм работы со строками? ага есть, правда примитивный, но польза большая. Цитата(lv151 @  31.1.2009,  21:21 ) 1) Т.Е. для компилятора char x[5] = "asdq" равно  char *x = "asdq"?, только во втором случае мы можем менять адрес переменной?  нет, в первом случае вы создаете массив и инициализируете его строкой, а во второй вы получаете указатель на строку хранящаюся в сегменте данных. Цитата(lv151 @  31.1.2009,  21:21 ) 2) Компилятор сам выделяет память?  char x[5] // компилятор создает на стеке массив из 5 элементов          =  "asdq"; // и копирует в него эту строку char *x = "asdq"; // тут ничего не выделяется в рантайме    Цитата(lv151 @  31.1.2009,  21:21 ) ) Как он получает адрес переменной? Это её адрес в "теле exe-ника"? какой переменной ? адрес строки  ? грубо говоря да.

Автор: lv151 1.2.2009, 10:41

Цитата(mes @  31.1.2009,  22:57 ) char x[5] // компилятор создает на стеке массив из 5 элементов         =  "asdq"; // и копирует в него эту строку char *x = "asdq"; // тут ничего не выделяется в рантайме  1) char *x = "asdq" – в данном случае значением указателя является адрес переменной в сегменте данных, который получаем во время компиляции? Правильно я понял? 2) А если переменная не глобальная? fun() {     char x1[5]  = "aaaa";    char *x = "asdq"; } При вызове функции "aaaa" помещается в стек, после,  строка "asdq". Значением x является вершина стека? т.е. стек выглядит так? значение      адрес asdq              04 aaaa              05 х = 04?

Автор: mes 1.2.2009, 13:15

Цитата(lv151 @  1.2.2009,  09:41 ) 1) char *x = "asdq" – в данном случае значением указателя является адрес переменной в сегменте данных, который получаем во время компиляции? Правильно я понял? почти .. во время компиляции  получаем смещение, а реальный адрес получается в момент рантайма, путем прибавления смещения к адрессу сегмента. Цитата(lv151 @  1.2.2009,  09:41 ) При вызове функции "aaaa" помещается в стек, после,  строка "asdq".  во время компиляции эти строки ложатся в сегмент данных,  а в рантайме указатели инициализируются адресом  этой строки, а массивы данными той строки из сегмента данных. Цитата(lv151 @  1.2.2009,  09:41 ) х = 04? стек выглядит примерно так : нач.адреес  значение      кон.адрес                       00                 asdq\0           04 // x1[5] =  05                 0x....              08  // где 0х... адрес строки 5 байт на массив, и 4 на указатель (для обычных (х86) 32хбитных машин, при условии отсутствия выравнивания на стеке.. но это смысла не меняет)

Автор: vinter 1.2.2009, 13:19

Цитата(mes @  1.2.2009,  14:15 ) во время компиляции эти строки ложатся в сегмент данных, вовсе не обязательно,  в случе с указателем строка может быть помещена в любой read only сегмент, а может и не быть помещена. Во втором случе я вообще причн не вижу хранить строку, оставить ее в стеке и не марать сегмент данных вовсе.

Автор: mes 1.2.2009, 13:21

Цитата(vinter @  1.2.2009,  12:19 ) Во втором случе я вообще причн не вижу хранить строку, оставить ее в стеке и не марать сегмент данных вовсе.  откуда она возьмется то в рантайме  ? ) Добавлено через 45 секунд Цитата(vinter @  1.2.2009,  12:19 ) быть помещена в любой read only сегмент это не принципиально и на текущий момент только запутает..

Автор: lv151 1.2.2009, 14:22

Посоветуйте, что можно почитать по данной теме.

Автор: vinter 1.2.2009, 14:22

Цитата(mes @  1.2.2009,  14:21 ) откуда она возьмется то в рантайме а причем тут рантайм? Цитата(lv151 @  1.2.2009,  11:41 ) char x1[5]  = "aaaa"; это не рантайм

Автор: GoldFinch 1.2.2009, 14:30

mes, хз как у С++ а в делфи константы кладутся в сегмент кода, сразу за телом функции в которой они используются

Автор: mes 1.2.2009, 14:35

Цитата(vinter @  1.2.2009,  13:22 ) а причем тут рантайм? Код char x1[5]  = "aaaa"; это не рантайм  инициализация массива x1(заполнение стека) происходит  в рантайме. Цитата(GoldFinch @  1.2.2009,  13:30 ) mes, хз как у С++ а в делфи константы кладутся в сегмент кода, сразу за телом функции в которой они используются  также, зависит от компилятора и места  где определены данные (глобально или в функции) в нашем случае сегмент данных, и данные в сегменте кода означает одно и то же, "данные хранящиеся в теле "ехешника" " и с точки зрения языка неразличимы.

Автор: lv151 1.2.2009, 15:15

Посоветуйте литературу по данной теме.

Автор: vinter 1.2.2009, 15:15

Цитата(mes @  1.2.2009,  15:35 ) инициализация массива x1(заполнение стека) происходит  в рантайме. давай не будет понятия подменять, нет там никакого рантайма. Все известно на этапе компиляции. Цитата(mes @  1.2.2009,  15:35 ) с точки зрения языка неразличимы. с точик зрения языка вообще никаких сегментов нет, так, что ты изначально не прав. Добавлено через 1 минуту и 1 секунду Цитата(lv151 @  1.2.2009,  16:15 ) Посоветуйте, что можно почитать по данной теме. книжки по С\С++ любые, огбсуждения книжек идут в прикрепленном топике

Автор: lv151 1.2.2009, 15:24

Цитата(vinter @  1.2.2009,  15:15 ) книжки по С\С++ любые, огбсуждения книжек идут в прикрепленном топике Там так глубоко не копают. Просмотрел не одну, перед тем как задать вопрос.

Автор: vinter 1.2.2009, 15:33

Цитата(lv151 @  1.2.2009,  16:24 ) Там так глубоко не копают. Просмотрел не одну, перед тем как задать вопрос. потомучто это копание отношения к С++ не имеет, это уже зависит от реализации. Самая подробная книга у Страуструпа, знать глубже чем там написано, зачастую даже вредно

Автор: mes 1.2.2009, 16:21

Цитата(vinter @  1.2.2009,  14:15 ) давай не будет понятия подменять, нет там никакого рантайма. Все известно на этапе компиляции. давай.. и так когда происходит создание и инициализация массива ? размер которого и содержание (точнее сказать образ) известны на этапе компиляции. Цитата(vinter @  1.2.2009,  14:15 ) с точик зрения языка вообще никаких сегментов нет, так, что ты изначально не прав. я про обязательное наличие сегментов и не утверждал, было лишь употреблено для легкого понимания Цитата(mes @  31.1.2009,  21:57 ) Это её адрес в "теле exe-ника" Цитата(mes @  31.1.2009,  21:57 ) грубо говоря да. Цитата(mes @  1.2.2009,  12:21 ) это не принципиально и на текущий момент только запутает не вид, ни место хранения данных, которыми заполняется массив не важен.  Важно, что компилятор сохраняет  строку в теле программы в "удобном" (зависимом от контекста использования) виде, и 1. при создании массива использует содержимое этой строки для инициализации стека, 2  а при инициализации указателя используется адрес этой строки

Автор: vinter 1.2.2009, 16:26

Цитата(mes @  1.2.2009,  17:21 ) и так когда происходит создание и инициализация массива ? в рантайме, но для языка это рантаймом не является потому, как не зависит ни от каких внешних факторов и всегда статично.

Автор: mes 1.2.2009, 16:29

Цитата(vinter @  1.2.2009,  15:26 ) в рантайме, но для языка это рантаймом не является потому, как не зависит ни от каких внешних факторов и всегда статично.  т.е инициализация стека происходит в рантайме, но рантаймом не является.. так ? интересно.. так  данные в стек помещаются на этапе компиляции ? если нет , то откуда берутся ? или я неправильно трактую Ваше высказывание  ? : Цитата(vinter @  1.2.2009,  12:19 ) Во втором случе я вообще причн не вижу хранить строку, оставить ее в стеке и не марать сегмент данных вовсе.

Автор: vinter 1.2.2009, 17:40

Цитата(mes @  1.2.2009,  17:29 ) т.е инициализация стека происходит в рантайме, но рантаймом не является.. так ? именно так, не надо путать языковый рантайм с реальным. Я еще раз повторяю, для языка это не является рантаймом. Для языка рантаймом является: выделение памяти, исключения и т.д. Но уж точно не стек.   Цитата(mes @  1.2.2009,  17:29 ) Во втором случе я вообще причн не вижу хранить строку, оставить ее в стеке и не марать сегмент данных вовсе.  ступил. Строку хранить надо.

Автор: mes 1.2.2009, 17:43

Цитата(vinter @  1.2.2009,  16:40 ) Я еще раз повторяю, для языка это не является рантаймом. Для языка рантаймом является: выделение памяти, исключения и т.д. Но уж точно не стек. работа со стеком тоже является рантаймом. не является рантаймом смещение переменной в стеке, и данные для инициализации, по которым в некоторых случаях компилятор может догадаться о реальном содержимом стека.

Автор: lv151 1.2.2009, 18:23

Цитата(vinter @  1.2.2009,  15:33 ) потомучто это копание отношения к С++ не имеет, это уже зависит от реализации. Самая подробная книга у Страуструпа, знать глубже чем там написано, зачастую даже вредно Да вот в данный момент его и читал  Всё равно хочу разобраться.

Автор: Arden 3.2.2009, 20:04

Показалась тема похожей, поэтому новой создавать не стал. Есть вот такой код: Код #include <cstdlib> #include <iostream> #include <string.h> using namespace std; int main(int argc, char *argv[]) {     char a[5][20];     for(int i=0; i<5; i++){             cin>>*(a+i);             }     char *p;     int n;     for(int i=0; i<4; i++){             for(int j=0; j<4-i; j++){                     n = strcmp(*(a+j), *(a+j+1));                     if(n>0){                             strcpy(p, *(a+j));                             strcpy(*(a+j), *(a+j+1));                             strcpy(*(a+j+1), p);                             }                     }             }     cout<<endl;     for(int i=0; i<5; i++){             cout<<*(a+i)<<endl;             }     system("PAUSE");     return EXIT_SUCCESS; } Программа компилируется и запускается нормально. Инициализирую массив и когда входит в цикл, программа выдает ошибку с текстом: Код Инструкция по адресу "0х77с360с1" обратилась к памяти по адресу "0х00000005". Память не может быть "written". Если использовать в цикле вместо указателя char *p массив char p[20], то программа работает. Возникло несколько вопросов: 1) Почему тогда например код  Код char *p, A[20], B[20]; cin>>A; cin>>B; strcpy(p, A); strcpy(A, B); strcpy(B, p); работает, а практически такой же код в цикле - нет? 2) Часто встречаю примеры типа: Код char a[] = "Univercity"; char *p; p = strcat(a, "blabla"); Это вообще нормально? Куда указывает указатель *p до момента его инициализации? 3) В чём разница между строчками Код char a[] = "University"; и Код char *p = "University"; Я так понимаю, что а всегда указывает на 1 элемент массива, а p можно сместить, например с помощью инкремента. Я правильно понял? А в чём еще разница?  Надеюсь я нормально выразился. Только недавно начал учить программирование, дошел до строчек и тут немножко запутаться.

Автор: pan2004 3.2.2009, 20:24

Arden, вообще код имхо ужасный изза подобных операций над двумерным массивом. Не стал разбираться, потому что думаю, ты там что-то напутал. например, если a массив типа char[5][20], то куда будет указывать a+1? Явно не туда, куда ты думаешь) Не путай здесь массивы с указателями, разные это вещи. 1) Сомневаюсь, что даже этот код работает - p указывает в пустоту. 2) Это нормально. Пофиг, куда указывает p до вызова strcat - он инициализируется этой функцией. (если интересно, до этого он указывает на случайный адрес, но здесь это ни на что не влияет) 3)  Цитата(Arden @  3.2.2009,  20:04 ) char *p = "University"; вот так советуют ни в коем случае не делать! Может создаться впечатление, что это указатель на неконстантную строку, но, увы, это не так. При попытке изменить ее будет UB(программа вылетит скорее всего). Если уж так, то пиши const char*. Цитата(Arden @  3.2.2009,  20:04 ) char a[] = "University"; более-менее аналогично  Код const char* ta="University"; char a[N]; strcpy(a, ta);

Автор: mes 3.2.2009, 21:44

Цитата(Arden @  3.2.2009,  19:04 ) Это вообще нормально? Куда указывает указатель *p до момента его инициализации? куда ему вздумается, поэтому такой указатель невалидный. Перед началом работы с ним, проиницилизируйте указатель адресом области памяти с которой будете взаимодействовать.

Автор: Arden 4.2.2009, 00:55

Цитата(pan2004 @  3.2.2009,  19:24 ) Не стал разбираться, потому что думаю, ты там что-то напутал. Да вроде как не напутал. Программа должна 5 введенных строк упорядочить по алфавиту. Алгоритм практически такой же, как при сортировке пузырьком. Для сравнения двух стрингов использую функцию strcmp(a, b). Если a>b, то меняю их местами. Цитата(pan2004 @  3.2.2009,  19:24 ) например, если a массив типа char[5][20], то куда будет указывать a+1? a+1 будет указывать на начало второй строчки, тоесть на элемент a[1][0]. Цитата(pan2004 @  3.2.2009,  19:24 ) 1) Сомневаюсь, что даже этот код работает - p указывает в пустоту. Работает. Я бы не рвался сразу на форум, не помучив голову самому себе сначала   Если для p выделить память с помощью new, то всё прекрасно работает. Но вот мне интересно стало почему тогда вне цикла работает и без инициализации указателя   Цитата(mes @  3.2.2009,  20:44 ) куда ему вздумается, поэтому такой указатель невалидный. Перед началом работы с ним, проиницилизируйте указатель адресом области памяти с которой будете взаимодействовать. Тоесть с "пустыми" указателями желательно не работать? Именно это меня и смутило, в книге нашел полно таких примеров

Автор: mes 4.2.2009, 01:03

Цитата(Arden @  3.2.2009,  23:55 ) Тоесть с "пустыми" указателями желательно не работать? Именно это меня и смутило, в книге нашел полно таких примеров smile    желательно не работать?      С неинициализированными указателями НЕЛЬЗЯ работать. Цитата(Arden @  3.2.2009,  23:55 ) a+1 будет указывать на начало второй строчки, тоесть на элемент a[1][0]. а не второго столбца  ? Цитата(Arden @  3.2.2009,  23:55 ) Работает.  Делает вид , что работает из за случайного стечения обстоятельства, потому что система не всегда может определить запись в чужую память.

Автор: Arden 4.2.2009, 01:32

Цитата(mes @  4.2.2009,  00:03 )  желательно не работать?     С неициализированными указателями НЕЛЬЗЯ работать. "Намек" понял   Цитата(mes @  4.2.2009,  00:03 ) а не второго столбца  ? Именно. Спасибо, что поправили.

Автор: Arden 4.2.2009, 14:20

А как вывести адрес области, на которую указывает указатель типа char? Ведь при Код cout<<*p; и Код cout<<p; мы получим символ и строку соответственно, а как получить сам адрес так как при других типах?

Автор: MAKCim 4.2.2009, 14:49

Цитата(Arden @  4.2.2009,  14:20 ) мы получим символ и строку соответственно, а как получить сам адрес так как при других типах?  Код cout<<(void*)p;

Автор: Arden 4.2.2009, 17:11

MAKCim, спасибо.

Автор: lv151 8.2.2009, 11:16

Нашёл ответ одним предложением: Компилятор неявно выполняет преобразование const_char из const char[N] в char*(char* str = "String").

Автор: pan2004 8.2.2009, 12:11

lv151, лучше бы он этого не делал. Избавление от const обычно требует const_cast<>. Хотя, gcc дает предупреждение: Цитата temp.cpp: In function ‘int main()’: temp.cpp:35: warning: deprecated conversion from string constant to ‘char*’

Автор: lv151 8.2.2009, 13:40

Это С++, в С другой механизм. Наверно, тоже основан на приведении типов.

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)