Проверка входных параметров конструктора

@Drakonoff · Регистрация: 19.10.2018

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

Всем привет!

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

Можно просто через return; и какую либо переменную которая скажет методам класса возвращать ошибку при вызове?

@Undisputed · 04.01.2020, 17:59

Можно бросить исключение

@Drakonoff · 04.01.2020, 18:01 **[ТС]**

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

Можно бросить исключение

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

@Undisputed · 04.01.2020, 18:07

Drakonoff,
Если вам нужно выйти из конструктора, то полагаю что при некорректных входных данных вам не нужно создавать объект.
Как вариант, проверить корректность входных данных до создания обьекта.
Если все ок, передаём данные в конструктор и работаем с объектом. Иначе обрабатываем ошибку не пытаясь создать объект

@woldemas · 04.01.2020, 18:09

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

Как правильно выходить из конструктора

Можно завести переменную хранящую флаг валидности объекта. И проверять при каждом обращении. Только это накладно наверное. А вообще от дальнейшей логики работы программы зависит. Что за параметры? Можно ли дальше программе работать или все теперь?

@AndryS1 · 04.01.2020, 18:14

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

выходить из конструктора

exit(-1)
ba dum tss

@L0M · 04.01.2020, 18:15

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

Я разрабатываю под встраиваемые системы

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

exit(-1)
ba dum tss

И девайс превращается в кирпич.

@woldemas · 04.01.2020, 18:18

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

Я разрабатываю под встраиваемые системы, где исключения не используются.

Тогда просто запускайте бесконечный цикл вместо исключения. И мигайте диодом.

@Undisputed · 04.01.2020, 18:19

woldemas,
А что даст такой флаг? Конструктор то вызывается всего один раз. Это означает, что этот флаг всегда будет показывать что объект или валидный или не валидный в зависимости от входных данных. Если обьект не валидный, и конструктор для этого объекта не может быть вызван повторно, а так же требуется что бы методы ничего не делали, то это означает что объект то на самом деле и не нужен. Выходит в таком случае не следует создавать этот объект.

@Drakonoff · 04.01.2020, 18:23 **[ТС]**

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

И девайс превращается в кирпич.

абсолютно согласен)

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

Можно завести переменную хранящую флаг валидности объекта. И проверять при каждом обращении. Только это накладно наверное. А вообще от дальнейшей логики работы программы зависит. Что за параметры? Можно ли дальше программе работать или все теперь?

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

Можно оставить на пользователя, не работает читай описание к драйверу, но это как то не спортивно, хочется сделать красиво)

@woldemas · 04.01.2020, 18:24

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

А что даст такой флаг?

Я согласен полностью. Поэтому и написал потом, что все от дальнейшей логики зависит.
Может можно новый объект запросить, проверив флаг валидности, кто его знает, как там все архитектурно устроено.

Croessmah · 04.01.2020, 18:41

Drakonoff, посмотрите доклад

C++ без исключений

IGPIGP · 04.01.2020, 20:28

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

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

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

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

Как правильно выходить из конструктора

throw, это фактически, аналог return. Другого варианта нет.
Идти по пути возможности создания невалидных объектов, требующих верификации и валидации - худшее, что можно предложить (имхо). В этом случае речь уже о выходе из С++, а не из конструктора.
Тут видео о генерации кода, работающего вне операционной системы (или до окончания её загрузки), это где-то о том же. А почему бы тогда не подумать о безопасности программы, стартующей до включения системного блока и его периферии? Идти, - так уже до конца?

@Drakonoff · 04.01.2020, 22:23 **[ТС]**

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

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

Спасибо, почитаю про исключения в контексте embedded, возможно это будет серебряная пуля...

IGPIGP · 04.01.2020, 22:35

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

Спасибо, почитаю про исключения в контексте embedded, возможно это будет серебряная пуля...

Drakonoff, если речь о чём-то очень ответственном в плане выживаемости программы и у вас, есть силы и возможности разработать код, который сможет пережить попытку создание неправильного объекта, то можно пойти на создание фабрики, которая будет либо создавать объект в свободной памяти, либо инициализировать переданный буфер (размером в объект), на который можно ссылаться как на объект потом. Во втором случае нужно бы вернуть код успешности инициализации. Труднее всего понять в конкретной ситуации, что делать дальше, если объект не создался. Тут не может быть серебряной пули, но в конкретном случае, можно попытаться найти альтернативное продолжение. Иначе нет смысла и затевать.
В конце концов, как правило, исключения используют для поиска причин ошибки, а не для попытки выжить при ошибке. Существует базовый класс в стандартной библиотеке от которого наследуют конкретные варианты исключений)

@hoggy · 05.01.2020, 14:39

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

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

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

есть ли вариант без исключений?

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

если ответ: - "да, это нормальная ситуация",
тогда используй такой же дизайн, как стандартные потоки ввода/вывода:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
#include <cassert>
 
struct some
{
    some(const int divider) noexcept
        : m_devider(divider)
    {}
    
    bool operator !() const noexcept
    {
        return this->m_devider == 0;
    }
    
    explicit operator bool() const noexcept
    {
        return this->m_devider != 0;
    }
    
    void work() noexcept
    {
        assert(*this);
        
        // ... working
    }
    
private:    
    int m_devider;
};
 
int main()
{
    some s(0);
    if(s)
        s.work();
}

если же ответ: - "нет, такого не может быть в правильной программе",
тогда сразу поджигай ассерт прямо в конструкторе:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <iostream>
#include <cassert>
 
struct some
{
    some(const int divider) noexcept
        : m_devider(divider)
    {
        assert(divider != 0);
    }
    
    void work() noexcept
    {
        // ... working
    }
    
private:    
    int m_devider;
};
 
int main()
{
    some s(0);
    s.work();
}

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@Drakonoff 1 / 1 / 0 Регистрация: 19.10.2018 Сообщений: 77

	Проверка входных параметров конструктора 04.01.2020, 17:52. Показов 8835. Ответов 15 Метки c++, constructor (Все метки) Всем привет! Как правильно выходить из конструктора если какой либо входной параметр имеет не корректное значение? Можно просто через return; и какую либо переменную которая скажет методам класса возвращать ошибку при вызове? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	04.01.2020, 17:59
	Можно бросить исключение 2

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	04.01.2020, 18:07
	Drakonoff, Если вам нужно выйти из конструктора, то полагаю что при некорректных входных данных вам не нужно создавать объект. Как вариант, проверить корректность входных данных до создания обьекта. Если все ок, передаём данные в конструктор и работаем с объектом. Иначе обрабатываем ошибку не пытаясь создать объект 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	04.01.2020, 18:19
	woldemas, А что даст такой флаг? Конструктор то вызывается всего один раз. Это означает, что этот флаг всегда будет показывать что объект или валидный или не валидный в зависимости от входных данных. Если обьект не валидный, и конструктор для этого объекта не может быть вызван повторно, а так же требуется что бы методы ничего не делали, то это означает что объект то на самом деле и не нужен. Выходит в таком случае не следует создавать этот объект. 1

Croessmah Неэпический 18147 / 10731 / 2066 Регистрация: 27.09.2012 Сообщений: 27,030 Записей в блоге: 1
	04.01.2020, 18:41
	Drakonoff, посмотрите доклад C++ без исключений 2

Проверка входных параметров конструктора

Решение