Оператор new, как отменить создание объекта в конструкторе?

@-THE_MASTER666- · 27.10.2014, 18:35. **Показов** 9912. **Ответов** 28

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

C++
1
2
3
4
5
6
7
8
class A
{
   public:
   A()
   {
      //cancel code ?
   };
}

Создаю экземпляр класса A* a = new A;, как можно отменить при определённых условиях создание экземпляра класса из конструктора, чтоб память под объект не выделилась и оператор new вернул бы nullptr.
Понятно, что можно кинуть throw какой - нибуть, но хотелось, чтоб вернулся именно ноль.

И кстати, про throw, если из конструктора кинуть throw, то будет ли выделена память под объект?

@MickeyBlueEyes · 27.10.2014, 18:50

Сообщение от -THE_MASTER666-

как можно отменить при определённых условиях создание экземпляра класса из конструктора, чтоб память под объект не выделилась и оператор new вернул бы nullptr

Использовать фабрику:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
class A
{
   public:
     static A* create() {
       if(чтото) {
         return nullptr;
       }
       return new A();
     }
 
   private:
     A()
     { };
}

C++
1
A::create();

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

Сообщение от -THE_MASTER666-

И кстати, про throw, если из конструктора кинуть throw, то будет ли выделена память под объект?

Нет, будет автоматический delete.

@-THE_MASTER666- · 27.10.2014, 19:38 **[ТС]**

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

Использовать фабрику:

стоп стоп, а разве стандартными способами нельзя как - то изменить поведение? (MSVS)

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

Нет, будет автоматический delete.

Уже хорошо, а какой бы экзепшен кинуть, чтоб new автоматом вернуль ноль? Может что - то вроде out of memory ?

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

Сообщение от -THE_MASTER666-

стоп стоп, а разве стандартными способами нельзя как - то изменить поведение? (MSVS)

Хотя фабрика тоже хороша

@TheCalligrapher · 27.10.2014, 19:43

Сообщение от -THE_MASTER666-

стоп стоп, а разве стандартными способами нельзя как - то изменить поведение? (MSVS)

Нельзя. А если вы найдете что-то именно из "MSVS", то это уже не будет "стандартным".

Сообщение от -THE_MASTER666-

а какой бы экзепшен кинуть, чтоб new автоматом вернуль ноль? Может что - то вроде out of memory ?

Нет такого эксепшна. К моменту начала работы конструктора память уже успешно выделена. Поэтому для out of memory уже поздно.

@MickeyBlueEyes · 27.10.2014, 19:45

Сообщение от -THE_MASTER666-

а какой бы экзепшен кинуть, чтоб new автоматом вернуль ноль?

Ну new выбрасывает std::bad_alloc если выделить не удалось, но указатель будет содержать в себе то что было ему присвоено до этого, тоесть new в случае провала указатель ваш не тронет, а просто выбросит исключения, если явно не указать вот так:

C++
1
int* ptr = new (std::nothrow) int;

Тогда там будет ноль.

Сообщение от -THE_MASTER666-

а разве стандартными способами нельзя как - то изменить поведение?

Так никак, я способов больше незнаю.

ValeryS · 27.10.2014, 19:47

Сообщение от -THE_MASTER666-

как можно отменить при определённых условиях создание экземпляра класса из конструктора, чтоб память под объект не выделилась и оператор new вернул бы nullptr.

можно переопределить new в своем классе который будет или не будет вызывать стандартный new

@TheCalligrapher · 27.10.2014, 19:50

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

можно переопределить new в своем классе который будет или не будет вызывать стандартный new

'new', который вы переопределяете в своем классе - это 'operator new', т.е. функция выделения "сырой" памяти. Это лишь часть работы new-expression, которая выполняется до вызова конструктора. Перопределять вы ее можете сколько угодно, но на общий алгоритм работы new-expression этот никак не повлияет. Конструктор будет по прежнему вызываться после выделения памяти (т.е. после вызова вашего 'operator new') и отменять что-то в конструкторе уже поздно. Т.е можно только бросать исключения и эти исключения будут вылетать наружу.

Переопределить общий алгоритм работы самого new-expression невозможно. Это фундаментальное встроенное свойство языка.

ValeryS · 27.10.2014, 19:54

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

т.е. функция выделения "сырой" памяти.

ну и ???
проверка на входе, т.е память еще не вызвана конструктор не сработал
условия соблюдены сразу выходим, дальше дело не пойдет

@TheCalligrapher · 27.10.2014, 20:05

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

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

Проверка чего на входе?

Читайте постановку задачи: создание объекта требуется прервать именно из середины конструктора. Т.е. где-то в середине выполнения конструктора вы вдруг неожиданно натыкаетесь на какую-то проблему, решаете "а ну его нафиг, не получается нифига" и хотите прервать конструирование с возвратом null pointer из new.

Т.е. вся соль задачи стостоит в том, что заранее о предстоящих проблемах вы не знаете и/или не хотите знать. (Если бы знали, то и new бы вообще не делали.) Проблемы возникают условно-неожиданно в середине выполнения конструктора.

Как вам в этом поможет перегрузка 'operator new'???

ValeryS · 27.10.2014, 20:11

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

Проверка чего на входе?

как чего?

Сообщение от -THE_MASTER666-

при определённых условиях

а какие условия, откуда я знаю

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

Читайте постановку задачи: создание объекта требуется прервать именно из середины конструктора.

читаю

Сообщение от -THE_MASTER666-

как можно отменить при определённых условиях создание экземпляра класса из конструктора, чтоб память под объект не выделилась и оператор new вернул бы nullptr.

задача чтобы не создался объект и не выделилась память !
принципиально что из конструктора?
если нет, то переопределенным new все решается
если да, то тут поплясать придется
а смысл?
можно конечно впихнуть

C++
1
delete this;

но головняков то это не уменьшит
а если еще и класс не в куче создается, как конструктор отследит?

Добавлено через 3 минуты
кстати у MickeyBlueEyes, похожий подход
правда new не переопределяет, но дело то до конструктора тоже не доходит

@TheCalligrapher · 27.10.2014, 20:11

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

можно конечно впихнуть delete this;

А зачем? Во-первых, вернуть null из new-expression это не поможет. Во-вторых, если конструктор кинул исключение, то аналог вашего delete this будет выполнен автоматически внутри new-expression.

@-THE_MASTER666- · 27.10.2014, 20:13 **[ТС]**

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

принципиально что из конструктора?

да в принципе не принципиально

ValeryS · 27.10.2014, 20:14

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

Во-вторых, если конструктор кинул исключение,

Еще раз спрошу, класс создался не динамически, что делать с исключением?

@TheCalligrapher · 27.10.2014, 20:17

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

кстати у MickeyBlueEyes, похожий подход
правда new не переопределяет, но дело то до конструктора тоже не доходит

Это-то и плохо.

В рамках поставленной задачи правильнее было бы написать фабрику вида

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
static A* create() 
{
  A *a = NULL;
 
  try {
    p = new A;
  } 
  catch (...) {
     return NULL;
  }
  
  return a;
}

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

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

Еще раз спрошу, класс создался не динамически, что делать с исключением?

Ничего не делать. Обрабатывать так, как вы считаете нужным.

Напомню, что вопрос именно и только о динамическом создании - хотят, чтобы new вернул null pointer. Никаких изменений в поведении нединамического создания никто не просил.

@-THE_MASTER666- · 27.10.2014, 20:17 **[ТС]**

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

можно переопределить new в своем классе который будет или не будет вызывать стандартный new

Я вот что - то не пойму, если я его переопределю и напишу A* a = new A, то стандартный new вообще не вызовется, вызовется только мой и в нём я уже определю, вызывать настоящий new или нет, так что ли? А в коде переопределения, когда условия все в порядке и я создаю объект и пишу return new A, сработает оригинальный new или опять же new класса и рекурсия завертится ? ))

ValeryS · 27.10.2014, 20:23

Сообщение от -THE_MASTER666-

и напишу A* a = new A, то стандартный new вообще не вызовется, вызовется только мой и в нём я уже определю, вызывать настоящий new или нет, так что ли?

по сути да

@-THE_MASTER666- · 27.10.2014, 20:42 **[ТС]**

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

по сути да

нее... переопределение оператора new - это оверхед по геморою

Там придётся malloc-ами вручную память выделать, т.к. если в коде переопределения оператора new написать return new ... то вызовется опять же это переопределение )))))) Так что тут маллоки, короче то что в налаче говорил MickeyBlueEyes про - думаю оптимальный вариант, ему и лучший ответ

, всё аукцион закончен

ValeryS · 27.10.2014, 20:46

Сообщение от -THE_MASTER666-

return new ...

ну во первых ::new
во вторых ничего там сложного
я сейчас могу сказать только теоретически, последний раз переопределял лет пять назад
вспомню опишу подробно

@-THE_MASTER666- · 27.10.2014, 20:48 **[ТС]**

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

вспомню опишу подробно

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

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

@TheCalligrapher · 27.10.2014, 20:53

Сообщение от -THE_MASTER666-

Я вот что - то не пойму, если я его переопределю и напишу A* a = new A, то стандартный new вообще не вызовется, вызовется только мой и в нём я уже определю, вызывать настоящий new или нет, так что ли?

Вы сначала определитесь, что вы имеет в виду под new в данном случае.

Когда вы пишете 'A* a = new A', то вот это 'new A' называется new-expression. Алгоритм работы new-expression таков (упрощенно)

1. Выделить "сырую" память путем вызова функции 'operator new'
2. Сконструировать в этой памяти объект путем вызова конструктора
3. Если из конструктора вылетело исключение, то освободить память при помощи функции operator delete

Когда вы перкопределяете функцию 'operator new', вы перопределяете тольео первый шаг этого алгоритма. Все.

Поэтому не путайте функцию 'operator new' и все new-expression. Это разные вещи. Другими словами, когда вы пишете 'A* a = new A', то переопределить общее поведение вот этого 'new' невозможно. Вы можете переопределить лишь маленкий кусочек поведения new-expression, связанный с выделением сырой памяти под объект. Больше вы ничего переопередлить не можете. Поменять сам алгорим работы new-expression невозможно.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .