Исключение в конструкторе шаблонного класса

Nishen · Регистрация: 26.02.2015

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

Добрый день!
Пишу класс дробей и, соответственно, если пользователь введёт 0 в знаменатель с помощью оператора >> или с помощью конструктора с 2мя параметрами, то нужно вызвать исключение. Но как это сделать, я не понимаю.

Fraction.h

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
37
38
39
40
41
42
template <class T>
class Fraction {
 
    public:
        Fraction();
        Fraction(T n, T d);
        ~Fraction();
 
        template <class T>
        friend const Fraction<T>& lowterms(Fraction<T>& fraction);
 
        //I/O operators
        template <class T>
        friend std::istream& operator >> (std::istream& stream, Fraction<T>& fraction);
        template <class T>
        friend std::ostream& operator << (std::ostream& stream, const Fraction<T>& fraction);
 
        //THROWS
        class denominatorEqualsToZero {};
 
    private:
        T numerator;
        T denominator;
 
};
 
template <class T>
Fraction<T>::Fraction(T n, T d) : numerator(n) {
 
    if (d == 0) {
 
        throw denominatorEqualsToZero();
 
    }  else {
 
        denominator = d;
 
    }
 
    lowterms(*this);
 
}

Сделал так, но при генерации исключения возникает ошибка "Возникло необработанное исключение по адресу ... исключение Microsoft C++: Fraction<int>::denominatorEqualsToZero ..."

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

@rikimaru2013 · 15.03.2017, 15:05

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

вкратце:
самому кидать исключение в конструкторе
и самому же в конструкторе его ловить - это какой то бред.

Ну даже памятник таком решению поставили в Батавия, штат Иллинойс

Исключение в конструкторе шаблонного класса

MrGluck · 15.03.2017, 15:10

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

Ну даже памятник таком решению поставили в Батавия, штат Иллинойс

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

@Undisputed · 15.03.2017, 15:45

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

assert(d != 0 && "Denominator cannot be equals to zero!");

Если нужно будет отлавливать проблемы когда d == 0 и продолжать работать дальше, такой вариант не подойдет
В случае библиотечного кода вариант ТС с эксепшеном в конструкторе нормальный
Главное чтоб аккуратно и без утечек

@rikimaru2013 · 15.03.2017, 15:53

Я за вариант hoggy , с assert - уже вижу код sys_beginner,

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
    void fn( int a, int b)
    {
        Drob* ptr = nullptr;
        try
        {
            ptr = new Drob( a, b );
        }       
        catch (ZeroExeption& e)
        {
            ptr = new Drob( a, 1 );
        }
 
        ptr->doStuff();
 
    }

и понимаю, что кто-то не понимает разницы между exeption и assert

@GbaLog- · 15.03.2017, 17:10

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

чтоб аккуратно и без утечек

Ассерт ложит программу полностью.
Даже если и будут утечки, весь процесс прихлопнет ОС.

@hoggy · 15.03.2017, 17:10

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

Если нужно будет отлавливать проблемы

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

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

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

кроме того, не забываем:
эксепшены не бесплатны.
они просаживают рантайм,
и не позволяют компиляторам сгенерировать максимально эффективный код.

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

поэтому, конструктор класса дробей должен быть помечен
как "никогда не кидающий исключения",
что позволит компилятору сгенерировать более эффективный код.

@Undisputed · 15.03.2017, 17:58

rikimaru2013,
Откуда вы видите? Вы бы сначала попросили привести пример а потом уже делали бы выводы
Моя мысль никак не связана с реализацией которую вы описали

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

Ассерт ложит программу полностью.
Даже если и будут утечки, весь процесс прихлопнет ОС.

Понимаю

Но я не об этом

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

это класс дроби.
знаменатель в принципе не должен быть равен нулю.

Я имел ввиду в общем случае
Зависит от логики
Например может быть так что эта цифра получается из вне от пользователя
И когда он передает 0 нужно просто показать красивую ошибку а не укладывать программу спать

@hoggy · 15.03.2017, 18:48

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

Я имел ввиду в общем случае

нет никаких "общих случаев".

на ноль делить нельзя вне зависимости от ситуации

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

Зависит от логики

не существует логики, в рамках которой допустимо делить на ноль.

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

Например может быть так что эта цифра получается из вне от пользователя

тут вроде по-русски написано, не?

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

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

@rikimaru2013 · 15.03.2017, 18:57

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

Откуда вы видите?

Опыт) Но если вам не сложно - покажите как вы видите применение exeption в дробях

Nishen · 15.03.2017, 20:55 **[ТС]**

Т.е. если бы я сейчас писал программу с красивым финтифлюшным интерфейсом, то чтобы не закрывать программу с помощью assert, мне нужно было бы проверить введенные пользователем данные ДО вызова конструктора класса Fraction, выдать красивое окно с ошибкой и предложить ввести данные повторно?

Добавлено через 42 секунды
И тогда бы не пришлось кидать исключения и использовать assert (даже в конструкторе).

@rikimaru2013 · 15.03.2017, 21:03

Nishen, вот пример assert

C++
1
2
3
4
5
6
void Windows::resize( const size_t w, const size_t h )
{
    Assert( w >= 0u );
    Assert( h >= 0u );
    SetWindowSize( w, h );
}

@hoggy · 15.03.2017, 22:13

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

И тогда бы не пришлось кидать исключения и использовать assert (даже в конструкторе).

1.
assert - отладочное средство.
его код не попадает в релизную сборку.

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

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

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

вот пример assert

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

size_t w

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

Assert( w >= 0u );

1.
assert пишется с маленькой буквы.

2.
тип данных w - беззнаковое.
0u - тоже беззнаковое.
итого:
проверка абсолютно бессмысленная.
потому что беззнаковые всегда больше либо равны нулю.

@rikimaru2013 · 15.03.2017, 22:56

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

либо равны нулю.

Поспешил, писал тут в редакторе

там оператор больше

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

assert пишется с маленькой буквы.

а у меня с большой. И имею полное право))) тем более, что поведение Assert отличается от accert

@Undisputed · 16.03.2017, 10:16

rikimaru2013,
Я имел ввиду, что если переданное число равно нулю - просто бросить исключение. При этом убедиться что перед броском не было создано объектов в динамической памяти

C++
1
2
3
4
5
6
7
8
struct Foo
{
    Foo(int num)
    {
        if (num == 0) throw 123;
        //do something
    }
};

Теперь о том, почему я поддержал этот подход. Отвечу на пост hoggy

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

нет никаких "общих случаев".
на ноль делить нельзя вне зависимости от ситуации

Зачем вы пристали к этому нулю?

Под общим случаем имеется ввиду "броски исключения в конструкторах", и хочу заметить, что такие случаи все таки есть. Например, std::regex.

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

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

Я с этим согласен, об этом свидетельствует мой пост, где я предложил такой же расклад
Исключение в конструкторе шаблонного класса
Но чуть позже ТС сказал, как быть, если он пишет библиотечный код и нужно иметь возможность сообщать пользователям библиотеки тогда, когда библиотека используется некорректно. Вот тот самый пост:
Исключение в конструкторе шаблонного класса
После этого я поддержал идею с исключениями, думаю уже стало понятно почему
Далее вы предложили вариант с assert тут
Исключение в конструкторе шаблонного класса
Я в свою очередь не согласился ввиду того, что assert завалит программу и пользователю библиотеки мы уже ничего в случае ошибки сообщить не сможем.

Так что же я сказал не так?

Добавлено через 9 минут
P.S Мы же не нолики и единички обсуждаем, а конечный результат который нужен ТС

@GbaLog- · 16.03.2017, 10:44

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

не было создано объектов в динамической памяти

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

@Undisputed · 16.03.2017, 12:04

GbaLog-,
Да ) Привет RAII

@hoggy · 16.03.2017, 12:44

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

Так что же я сказал не так?

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

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

P.S Мы же не нолики и единички обсуждаем, а конечный результат который нужен ТС

именно нолики в данным случае.

вам и ТС нужно понять,
в чем различие "программной ошибки" и "нештатной систуации".

@Undisputed · 16.03.2017, 12:46

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

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

И как пользователь библиотеки будет ловить эту ошибку и продолжать работать дальше?

@hoggy · 16.03.2017, 13:00

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

И как пользователь библиотеки будет ловить эту ошибку и продолжать работать дальше?

исправит ошибку у себя в коде.

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

вам и ТС нужно понять,
в чем различие "программной ошибки" и "нештатной систуации".

@Undisputed · 16.03.2017, 13:29

hoggy,
Не хочу спорить но тем не менее

С точки зрения пользователя это может не считаться ошибкой
Получаются данные откуда угодно - и передаются в конструктор объекта
Вариант с ассертом тут не подходит

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

Так вот, если разработчик конечной библиотеки будет использовать вашу версию с ассертом, то как конечный пользователь будет разбираться с ошибками? Лазить в исходный код либы а потом другой либы? Или как вообще будет оформлена документация такой библиотеки? "Вы знаете, мы в реализации нашей библиотеки используем другую библиотеку разработчик которой поставил там ассерт. Так что если программа упадет, это не по нашей вине! Следите за числами!" Так что ли?

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

Новые блоги и статьи Все статьи Все блоги /
Использование TThread в Lazarus для математических вычислений. Massaraksh7 25.05.2026 Производя рефакторинг своих программ на предмет ускорения их работы, обратил внимание на такой аспект, как сокращение времени матвычислений. Дело в том, что приходится работать с большими матрицами. . .	Модель здравосохранения 18. Чем здоровее работник, тем быстрее выгорает anaschu 24.05.2026 Имитационная модель корпоративного здравоохранения: что показывает математика Сегодня в модели рабочего коллектива на AnyLogic появились три новые механики — выгорание через накопленную усталость,. . .	Модель здравосохранения 17. Планы на выгорание anaschu 23.05.2026 Вот конкретная схема реализации: В классе Работник добавить: накопленнаяУсталость — растёт каждый час работы, снижается в перерывы и болезни коэффициентПрезентеизма — снижает продуктивность. . .	Изменение цветов в палитре gif файла aka фавикона russiannick 23.05.2026 Изменение цветов в палитре gif файла, юзаемого как фавиконка в составе html-файла, помещенная в base64, средствами нативного Java Script, навеянное сном в майский день. Для работы необходим браузер,. . .
Модель здравосохранения 16. Слишком хорошие и здоровые сотрудники уходят, недовольные зарплатой anaschu 23.05.2026 Отладка увольнений и настройка производительности Сегодня во второй половине дня разобрались с механикой увольнений и настроили коэффициент сложности заданий. Вот что было сделано. . . .	Как я стал коммунистом))) Модель сохранения здоровья сотрудников, запись блога номер 15 anaschu 23.05.2026 Внезапно хорошее здоровье сотрудников не нужно капиталистам?))	Модель здравоСохранения 15. Как мы чинили AnyLogic модель рабочего коллектива: сочленение диаграммы состояний болезней и поломок в ресурспул anaschu 23.05.2026 Как мы чинили AnyLogic модель рабочего коллектива Сегодня разобрались с пятью багами, из-за которых модель либо падала с ошибкой, либо давала совершенно бессмысленные результаты. Каждый баг был. . .	Диалоги с ИИ zorxor 23.05.2026 Насколько я понимаю - Вы - Искусственный Интеллект. Это так? Да, всё верно. Я — искусственный интеллект. Я представляю собой большую языковую модель, созданную для помощи в самых разных задачах. . . .

Nishen 1359 / 857 / 366 Регистрация: 26.02.2015 Сообщений: 3,824
	15.03.2017, 20:55 [ТС]
	Т.е. если бы я сейчас писал программу с красивым финтифлюшным интерфейсом, то чтобы не закрывать программу с помощью assert, мне нужно было бы проверить введенные пользователем данные ДО вызова конструктора класса Fraction, выдать красивое окно с ошибкой и предложить ввести данные повторно? Добавлено через 42 секунды И тогда бы не пришлось кидать исключения и использовать assert (даже в конструкторе). 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	16.03.2017, 12:04
	GbaLog-, Да ) Привет RAII 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	16.03.2017, 13:29
	hoggy, Не хочу спорить но тем не менее С точки зрения пользователя это может не считаться ошибкой Получаются данные откуда угодно - и передаются в конструктор объекта Вариант с ассертом тут не подходит Хотя бы потому что эту библиотеку для работы с числами может использовать совсем другая библиотека, которая по своей сути не является математической. Так вот, если разработчик конечной библиотеки будет использовать вашу версию с ассертом, то как конечный пользователь будет разбираться с ошибками? Лазить в исходный код либы а потом другой либы? Или как вообще будет оформлена документация такой библиотеки? "Вы знаете, мы в реализации нашей библиотеки используем другую библиотеку разработчик которой поставил там ассерт. Так что если программа упадет, это не по нашей вине! Следите за числами!" Так что ли? Казалось бы причем тут числа, ведь мы используем конечную библиотеку которая не является математической... 0