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

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

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

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

Fraction.h

C++

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++

    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++

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++

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,
Не хочу спорить но тем не менее

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

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

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

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

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	15.03.2017, 17:10	25
	Сообщение от sys_beginner чтоб аккуратно и без утечек Ассерт ложит программу полностью. Даже если и будут утечки, весь процесс прихлопнет ОС. 0

@Undisputed 872 / 459 / 90 Регистрация: 10.06.2014 Сообщений: 2,665
	15.03.2017, 17:58	27
	rikimaru2013, Откуда вы видите? Вы бы сначала попросили привести пример а потом уже делали бы выводы Моя мысль никак не связана с реализацией которую вы описали Сообщение от GbaLog- Ассерт ложит программу полностью. Даже если и будут утечки, весь процесс прихлопнет ОС. Понимаю Но я не об этом Сообщение от hoggy это класс дроби. знаменатель в принципе не должен быть равен нулю. Я имел ввиду в общем случае Зависит от логики Например может быть так что эта цифра получается из вне от пользователя И когда он передает 0 нужно просто показать красивую ошибку а не укладывать программу спать 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	15.03.2017, 18:48	28
	Сообщение от sys_beginner Я имел ввиду в общем случае нет никаких "общих случаев". на ноль делить нельзя вне зависимости от ситуации Сообщение от sys_beginner Зависит от логики не существует логики, в рамках которой допустимо делить на ноль. Сообщение от sys_beginner Например может быть так что эта цифра получается из вне от пользователя тут вроде по-русски написано, не? Сообщение от hoggy в тех случаях, когда данные приходят откуда то извне, валидировать их нужно сразу при поступлении. то бишь перед тем, как кормить внутреннию инфраструктуру . 0

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

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	15.03.2017, 22:13	32
	Сообщение от Nishen И тогда бы не пришлось кидать исключения и использовать assert (даже в конструкторе). 1. assert - отладочное средство. его код не попадает в релизную сборку. 2. программисты - люди. иногда они ошибаются. assert`тами проверяются несбыточные ситуации, которых не должно быть в принципе. на этапе разработки это даёт дополнительную защиту от ошибок. Добавлено через 1 минуту Сообщение от rikimaru2013 вот пример assert Сообщение от rikimaru2013 size_t w Сообщение от rikimaru2013 Assert( w >= 0u ); 1. assert пишется с маленькой буквы. 2. тип данных w - беззнаковое. 0u - тоже беззнаковое. итого: проверка абсолютно бессмысленная. потому что беззнаковые всегда больше либо равны нулю. 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	15.03.2017, 15:05	21
	Сообщение от hoggy вкратце: самому кидать исключение в конструкторе и самому же в конструкторе его ловить - это какой то бред. Ну даже памятник таком решению поставили в Батавия, штат Иллинойс 4

MrGluck Форумчанин 8215 / 5045 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	15.03.2017, 15:10	22
	Сообщение от rikimaru2013 Ну даже памятник таком решению поставили в Батавия, штат Иллинойс Тут правда скульптура сверху ещё нормально выглядит. В нашем случае же там было бы что-нибудь уродливое и непонятное. 2

@Undisputed 872 / 459 / 90 Регистрация: 10.06.2014 Сообщений: 2,665
	15.03.2017, 15:45	23
	Сообщение от hoggy assert(d != 0 && "Denominator cannot be equals to zero!"); Если нужно будет отлавливать проблемы когда d == 0 и продолжать работать дальше, такой вариант не подойдет В случае библиотечного кода вариант ТС с эксепшеном в конструкторе нормальный Главное чтоб аккуратно и без утечек 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	15.03.2017, 17:10	26
	Сообщение от sys_beginner Если нужно будет отлавливать проблемы не нужно. это класс дроби. знаменатель в принципе не должен быть равен нулю. если это не так, значит это программная ошибка. (такая же, как например выход за пределы диапазона массива) в тех случаях, когда данные приходят откуда то извне, валидировать их нужно сразу при поступлении. то бишь перед тем, как кормить внутреннию инфраструктуру . таким образом ассерт защиты вполне достаточно для данного случая. кроме того, не забываем: эксепшены не бесплатны. они просаживают рантайм, и не позволяют компиляторам сгенерировать максимально эффективный код. это при этом, что классы подобные "дробям" используются в число-дробилках. то бишь там, где обычно особенно критична скорость вычислений. поэтому, конструктор класса дробей должен быть помечен как "никогда не кидающий исключения", что позволит компилятору сгенерировать более эффективный код. 3

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	15.03.2017, 18:57	29
	Сообщение от sys_beginner Откуда вы видите? Опыт) Но если вам не сложно - покажите как вы видите применение exeption в дробях 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	15.03.2017, 22:56	33
	Сообщение от hoggy либо равны нулю. Поспешил, писал тут в редакторе там оператор больше Сообщение от hoggy assert пишется с маленькой буквы. а у меня с большой. И имею полное право))) тем более, что поведение Assert отличается от accert 0

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	16.03.2017, 10:44	35
	Сообщение от sys_beginner не было создано объектов в динамической памяти Прошу заметить, что тут речь идет только о сырых указателях, если есть умные указатели, то они сами память освободят, т.к. считаются автоматическими объектами. 1

@Undisputed 872 / 459 / 90 Регистрация: 10.06.2014 Сообщений: 2,665
	16.03.2017, 12:04	36
	GbaLog-, Да ) Привет RAII 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	16.03.2017, 12:44	37
	Сообщение от sys_beginner Так что же я сказал не так? вам нужно понять одну вещь. assert именно для того и нужен, что бы сообщить пользователю об ошибке. Сообщение от sys_beginner P.S Мы же не нолики и единички обсуждаем, а конечный результат который нужен ТС именно нолики в данным случае. вам и ТС нужно понять, в чем различие "программной ошибки" и "нештатной систуации". 0

@Undisputed 872 / 459 / 90 Регистрация: 10.06.2014 Сообщений: 2,665
	16.03.2017, 12:46	38
	Сообщение от hoggy assert именно для того и нужен, что бы сообщить пользователю об ошибке. И как пользователь библиотеки будет ловить эту ошибку и продолжать работать дальше? 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	16.03.2017, 13:00	39
	Сообщение от sys_beginner И как пользователь библиотеки будет ловить эту ошибку и продолжать работать дальше? исправит ошибку у себя в коде. Сообщение от hoggy вам и ТС нужно понять, в чем различие "программной ошибки" и "нештатной систуации". 0

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