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

@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();
}

Новые блоги и статьи Все статьи Все блоги /
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Рецензия / Мнение/ Перевод https:/ / **********/ gallery/ thinkpad-x220-tablet-porn-gzoEAjs . . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .

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

	Проверка входных параметров конструктора 04.01.2020, 17:52. Показов 8752. Ответов 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 Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	04.01.2020, 18:41
	Drakonoff, посмотрите доклад C++ без исключений 2

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

Решение