VPF::существование объекта - Форум программистов

JackYF

Дата 28.4.2007, 18:20 (ссылка)

(нет голосов)

Загрузка ...

полуавантюрист

Профиль
Группа: Участник
Сообщений: 5814
Регистрация: 28.8.2004
Где: страна тысячи озё р

Репутация: 18
Всего: 162

Цитата(Любитель @ 28.4.2007, 18:06

)

скорее всего и не скомпилится.

Да, точно. Еще лучше smile

--------------------

Пожаловаться на меня как модератора можно здесь.

Любитель

Дата 28.4.2007, 18:21 (ссылка)

(нет голосов)

Загрузка ...

Программист-романтик

Профиль
Группа: Комодератор
Сообщений: 3645
Регистрация: 21.5.2005
Где: Воронеж

Репутация: 24
Всего: 92

Xenon, тоже не скомпилится. Из " = new myObj" => myObj - это класс. Проверять класс на нулёвость - подозрительно.

А суть в том, что если в плюсах мы что-то явно не инициализировали, то его значение неизвестно (если сие - не объект - для него есть конструктор). Указатель не исключение. Он может быть ненулевым, но эта область памяти будет недоступна. Это приведёт к вылету приложения (юзанье этой памяти). На некоторых компилерах возможен экзепшен, но это платформо- и компилеро- зависимо.

--------------------

http://oryolalex.mybrute.com

Xenon

Дата 28.4.2007, 18:22 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник Клуба
Сообщений: 1529
Регистрация: 12.4.2006

Репутация: 11
Всего: 50

Тьфу, пардон, я имел ввиду

Код


Foo* pTr;
pTr = new Foo;
if( pTr == 0 ) std::cout << "Error";

Error нам никогда не скажут?

copy-paste делать не умею smile

Это сообщение отредактировал(а) Xenon - 28.4.2007, 18:23

--------------------

JackYF

Дата 28.4.2007, 18:26 (ссылка)

(нет голосов)

Загрузка ...

полуавантюрист

Профиль
Группа: Участник
Сообщений: 5814
Регистрация: 28.8.2004
Где: страна тысячи озё р

Репутация: 18
Всего: 162

Цитата(Xenon @ 28.4.2007, 18:22

)

Error нам никогда не скажут?

Не-а. Иначе было бы так просто следить за динамической памятью... smile

--------------------

Пожаловаться на меня как модератора можно здесь.

Любитель

Дата 28.4.2007, 18:28 (ссылка)

(нет голосов)

Загрузка ...

Программист-романтик

Профиль
Группа: Комодератор
Сообщений: 3645
Регистрация: 21.5.2005
Где: Воронеж

Репутация: 24
Всего: 92

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

--------------------

http://oryolalex.mybrute.com

Sartorius

Дата 28.4.2007, 18:31 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1568
Регистрация: 18.7.2006
Где: Ivory tower

Репутация: 8
Всего: 37

Код


new(nothrow) Foo();

можно - тогда эксепшона не будет и гарантирован Null при неудаче smile

Любитель

Дата 28.4.2007, 18:34 (ссылка)

(нет голосов)

Загрузка ...

Программист-романтик

Профиль
Группа: Комодератор
Сообщений: 3645
Регистрация: 21.5.2005
Где: Воронеж

Репутация: 24
Всего: 92

1. Я говорил конкретно про представленный код.
2.

Цитата(Sartorius @ 28.4.2007, 18:31

)

гарантирован

Тоже нет. Здесь я говорю не от себя (у меня нехватки памяти почему-то никогда не было :( ), но вроде как не все оси могу сие на самом деле гарантировать. На память не скажу (боюсь ошибиться), но что-то по этому поводу в "Новые сложные задачи на C++" было.

--------------------

http://oryolalex.mybrute.com

JackYF

Дата 28.4.2007, 18:34 (ссылка)

(нет голосов)

Загрузка ...

полуавантюрист

Профиль
Группа: Участник
Сообщений: 5814
Регистрация: 28.8.2004
Где: страна тысячи озё р

Репутация: 18
Всего: 162

Цитата(Sartorius @ 28.4.2007, 18:31

)

можно - тогда эксепшона не будет и гарантирован Null при неудаче smile

Да, но это половинчатое решение.

Код


delete pTr;

не обязан приводить указатель к 0.

--------------------

Пожаловаться на меня как модератора можно здесь.

Xenon

Дата 28.4.2007, 18:37 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник Клуба
Сообщений: 1529
Регистрация: 12.4.2006

Репутация: 11
Всего: 50

JackYF, В смысле "не обязан"? Он это вообще делает, но при сбое не делает?
Вообще вроде как бы по стандарту деструктор объектов не должен вызывать исключения, поэтому сбоя при удалении мы не должны заметить, поэтому если delete обнуляет, то обнулить он должен в любом случае?

Добавлено @ 18:38
Любитель, а что где это у Саттера написано? В 101 правиле или в какой-то из Сложных Задач?

Это сообщение отредактировал(а) Xenon - 28.4.2007, 18:40

--------------------

Mayk

Дата 28.4.2007, 19:14 (ссылка)

(нет голосов)

Загрузка ...

^аВаТаР^ сообщение>>

Профиль
Группа: Участник
Сообщений: 2616
Регистрация: 22.5.2005
Где: за границей разум а

Репутация: 45
Всего: 134

Цитата(Любитель @ 28.4.2007, 22:34

)

На память не скажу (боюсь ошибиться), но что-то по этому поводу в "Новые сложные задачи на C++" было.

Было сказано забить на проверку выделения памяти. Саттер указавал на то, что даже если
new/malloc завершился с успехом, это вовсе не означает что память была действительно выделена. В частности указывалось на

Цитата(man malloc)

      Linux follows an optimistic memory  allocation  strategy.   This  means
       that when malloc() returns non-NULL there is no guarantee that the mem‐
       ory really is available. In case it turns out that the system is out of
       memory,  one  or  more  processes  will  be  killed by the infamous OOM
       killer.

Добавлено @ 19:18

Цитата(Xenon @ 28.4.2007, 22:37

)

Любитель, а что где это у Саттера написано? В 101 правиле или в какой-то из Сложных Задач?

Новые 40 задач. задача 23-часть 2

Цитата

Рекомендация. Мораль #1: избегайте использование оператора new, не генерируюшего исключения.
...
Рекомендация Мораль #2: очень часто проверка отказа в операторе new бесполезна

Это сообщение отредактировал(а) Mayk - 28.4.2007, 19:20

--------------------

Здесь был кролик. Но его убили.
Человеки < кроликов, йа считаю.

Xenon

Дата 28.4.2007, 19:31 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник Клуба
Сообщений: 1529
Регистрация: 12.4.2006

Репутация: 11
Всего: 50

Mayk, а что есть выход? ловить bad_alloc?

--------------------

Daevaorn

Дата 28.4.2007, 19:47 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Комодератор
Сообщений: 2155
Регистрация: 29.11.2004
Где: Москва

Репутация: 51
Всего: 70

Цитата(Xenon @ 28.4.2007, 20:31

)

а что есть выход? ловить bad_alloc?

не делать ничего. смысла практически нет.

Earnest

Дата 28.4.2007, 20:02 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

Цитата(Daevaorn @ 28.4.2007, 20:47

)

не делать ничего. смысла практически нет.

Да уж, если не найдется памяти для маленького объекта, то можно спокойно рушить приложение: вряд ли уже что-то удастся спасти, если такие дела пошли...
Это конечно если приложение - не какой-нибудь там кардио-стимулятор... Так их и писать по другому надо...

А "большие" куски памяти лучше выделять не в куче, а прямыми системными вызовами, скажем, в Виндоус - через VirtualAlloc, и проверять, конечно.

--------------------

...

JackYF

Дата 29.4.2007, 23:29 (ссылка)

(нет голосов)

Загрузка ...

полуавантюрист

Профиль
Группа: Участник
Сообщений: 5814
Регистрация: 28.8.2004
Где: страна тысячи озё р

Репутация: 18
Всего: 162

Цитата(Earnest @ 28.4.2007, 20:02

)

скажем, в Виндоус - через VirtualAlloc, и проверять, конечно.

Хм... и часто ты такое делала?
Не многовато издержек будет на такие вот дела? Или оборачивать еще в оберточки...

--------------------

Пожаловаться на меня как модератора можно здесь.

Earnest

Дата 2.5.2007, 08:15 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

Цитата(JackYF @ 30.4.2007, 00:29

)

Хм... и часто ты такое делала?

Всегда, когда большие куски нужны. Еще и с возможным использованием файл-маппинга, если совсем большая память нужна (под какой-нибудь мега-растр). Естественно, с обертками, которые генерируют исключение, и подальше от клиентского кода.
Каких издержек? Это самый что ни есть прямой системный вызов: хип в конце концов тоже так выделяется.
Единственные издержки - округление на размер страницы, но при выделяемых размерах - это мелочь.

--------------------

...

1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »