Указатели

[Dr.Yevhenius]

Код:

0: bool foo()
1: {
2: 	int * temp = new int(0);
3: 	if(!(temp = new int(1)))
4: 		// Не хватило памяти
5: 		return false;
6: }

Подскажите пожалуйста, после того, как в строке 3 не хватит памяти на виделение нового числа, указатель temp будет указывать на значение 0, или на какую-то другую область памяти?

[Sla]

Inkognito,  а проверить?

[Dr.Yevhenius]

Sla, зачем мне твой ответ, если ответа как такового нету. Чтоб проверить, нужно забить память до отказа, выводить адрес предыдущего значения, а в конце показать последний адрес снова (для сравнения). Но это всё лишняя головная боль и время. Почему бы не спросить у тех, кно наверняка знает? А если этот форум не для вопросов, укажите это на главной странице, и меньше человек перестанут здесь неполучать ответы.

[RXL]

Inkognito, разве в твоем выражении не указывается прямо, что temp = 0 - ошибка выделения?

[Dr.Yevhenius]

Понял, как протупил с if в строке 3. RXL, спасибо.

[Михалыч]

Есть 2 варианта, либо NULL-указатель, либо будет бросать исключение... Все зависит от того, что за компилятор, ну и от
того, как его использовать...
Например см. тут - почти такой же вопрос
http://gcc.gnu.org/ml/gcc-help/2007-09/msg00130.html
ну и дополнительно сюда
http://msdn.microsoft.com/en-us/library/kftdy56f(VS.71).aspx
http://www.serc.iisc.ernet.in/ComputingFacilities/systems/cluster/vac-7.0/html/language/ref/clrc05snewhnd.htm#HDRSNEWHND
http://www.glenmccl.com/bett_003.htm

Так что, видимо, не все так просто

[Вад]

Дополню: если в случае с int зависит от настроек, то в случае со сложными типами также может быть переопределён оператор new, и поведение, разумеется, будет всецело зависеть от новой реализации.

[Sla]

Inkognito, объясняю про проверку.
Но сначала вопрос.
Сколько выделяется памяти под одни указатель int?
А под два int?
А под массив int?

Если ответишь себе, то и поймешь про проверку.

[RXL]

Только заметил казус в строке 2... Ужос!

[sss]

RXL, никакой не ужас - копирующий конструктор.

[RXL]

sss, тогда — синтаксический ужос!

[sss]

согласен!

[Dr.Yevhenius]

У меня еще вот вопрос...
Код:

Код:

	char * array = "1234567890";
	char * righthalf = array + 5;

	cout << array[0] << array[5] << righthalf[0]; // Демонстрируем, что array[5] и righthalf[0] - одинаковые
	delete [] righthalf; // Типа...
	cout << array[4] << array[5]; // Попытка вывести 4й (существующий) и 5й (несуществующий) елементы

Чего хотел от кода: удалить не весь массив (array), а только его правую половину (righthalf). Есть какой-то метод (не функция, а алгоритм), чтоб "прибиндить" к указателю часть другого массива? В даном случае, к righthalf'у правую половину array'я. Для программы не нужно, но всё-равно интересно...  

[lapulya]

Так делать нельзя как минимум по 2 причинам:
1. массив выделялся статически (это даже не массив а константная строка, т.е. это не char *, а const char *), поэтому delete его удалять нельзя
2. даже если бы память под массив была выделена динамически, удалять можно только имея ссылку на первй элемент, а не на какой-то там посередине (при этом удаляться будет весь массив, а не его часть, отдельно часть удалить нельзя).  

Кстати читать память никто не запрещает, так что обращаться к "несуществующим" элементам массива (если они лежат в "разрешенной" области памяти процесса) только для чтения можно (но как правило не нужно), просто там мусор (или чужие данные)

[Dr.Yevhenius]

1. массив выделялся статически (это даже не массив а константная строка, т.е. это не char *, а const char *), поэтому delete его удалять нельзя

М-да, код я привел плохой, согласен. Вот иной:

Код:

	char * array = 0;
	array = st.cstr();
	array[2] = '-';
	cout << array;
	delete [] array;
	array = 0;

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

Речь не об удалении массива через N-ый элемент.

Кстати читать память никто не запрещает, так что обращаться к "несуществующим" элементам массива (если они лежат в "разрешенной" области памяти процесса) только для чтения можно (но как правило не нужно), просто там мусор (или чужие данные)

В лучшем случае - мусор.


Цель: создать полноценный указатель, которий будет подмассивом существующего и который можно нормально удалять. И всё-равно в даный момент, как на это массив-оригинал отреагирует.

[Вад]

Теоретически "освобождать правую часть" можно realloc - со всеми вытекающими ограничениями. Только зачем?
И зачем в вышеприведённом примере массив, принадлежащий объекту st, нужно снаружи резать?  Оно так не сломается?

[Dr.Yevhenius]

Я немножко не выспался... Первую строку последнего примера поменял.

...нужно снаружи резать?  Оно так не сломается?

Задание гипотетическое. cstr возвращает нормальный указатель, который удалить можно без всяких проблем. А то надоело уже - что не напишу, всё выбивает и выбивает (при удалении).

P.S. st - обьект класса astring.

[darkelf]

сорри, но всё-же подмассив, это подмассив (хотя насколько я помню, в языках C/C++, таких вещей нет), а указатель, это указатель. Если Вам нужно, то можете необходимую часть массива скопировать в выделенный другой массив, который впоследствии удалить. Пример:

Код:

char* a = "lalalajujuju";
char* b;

if ((b = (char*)malloc(5)) != NULL)
{ memcpy(b, a + 5, 4);
  b[4] = 0;

  b[0] = a[7];

  free(b);
}

[Dr.Yevhenius]

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

[darkelf]

указатель не контролирует и управляет, а указывает. это обычная ячейка памяти, которая содержит адрес объекта, не больше - не меньше. Если Вам нужно обращаться к какой-то части массива, но при этом не изменять основной, то как уже было сказано - делается копия необходимой части.

[Dr.Yevhenius]

*** то что было до изменения ***

Текст поста поменял.

Вам нужно обращаться к какой-то части массива, но при этом не изменять основной

С чего Вы взяли? Как раз нужно менять существующий, а не создавать копию.

Тему буду считьть закрытой.
...А то еще побьют меня здесь (шутка).

[darkelf]

память под массив выделяется целиком, по-этому удалять можно ТОЛЬКО с конца (функцией realloc()), и для этого Вам будет необходим адрес начала массива, а не указатель куда-то в средину. В общем то, что Вы хотите сделать, можно сделать через vector, но это уже будут не массивы, и не совсем указатели.

[Антон (LogRus)]

..............
Задание гипотетическое. cstr возвращает нормальный указатель, который удалить можно без всяких проблем.
..............

string управляет памятью в которой хранится результат c_str и удалять эту память ни в коем случае нельзя.

удалять массив с середины тем более выделенный через new недопустимо
посмотри на free и delete, ты видишь передачу размера? я нет.

[Dr.Yevhenius]

string управляет памятью в которой хранится результат c_str и удалять эту память ни в коем случае нельзя.

Только не string, а astring, и не c_str(), а cstr().