Безопасное приведение

@ForEveR · Регистрация: 24.06.2010

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

Заинтересовало безопасное приведение типов. То есть чтобы определяло ужимание и выдавало ошибку.

Вышло как-то так. А как бы сделали вы?

И еще очень интересный вопрос - почему safe_cast - ключевое слово (как минимум в MSVS)?

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
#include <iostream>
#include <stdexcept>
 
template<class T1, class T>
T1 safe_cast (const T& elem)
{
    T1 val=static_cast<T1>(elem);
    if(val!=elem)
    {
        throw std::runtime_error("Unsafe cast!");
    }
    return val;
}
 
int main()
{
    int f=220;
    try
    {
        int s=safe_cast<char>(f);
        std::cout<<s<<'\n';
    }
    catch(const std::exception& e)
    {
        std::cerr<<e.what()<<'\n';
    }
    return 0;
}

@Nameless One · 27.10.2010, 18:35

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

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

Сравнивать размер с помощью sizeof?

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

И еще очень интересный вопрос - почему safe_cast - ключевое слово (как минимум в MSVS)?

Может опять что-нибудь из нового стандарта?

@ForEveR · 27.10.2010, 18:37 **[ТС]**

Nameless One, В 8-ой студии из нового стандарта? Как-то дико сомнительно...
С помощью sizeof кстати тоже вариант. То есть если размер приводимого типа меньше приведенного то ошибка?

@Nameless One · 27.10.2010, 18:42

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

Nameless One, В 8-ой студии из нового стандарта? Как-то дико сомнительно...

Это было скромное предположение

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

С помощью sizeof кстати тоже вариант. То есть если размер приводимого типа меньше приведенного то ошибка?

Ну да. Это первое, что пришло в голову

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

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

То есть если размер приводимого типа меньше приведенного то ошибка?

Если размер приведенного (T1) меньше приводимого (T), то тогда - ошибка

@ForEveR · 27.10.2010, 18:56 **[ТС]**

Nameless One, А ведь ты был прав. Почти. CLR эт
safe_cast

Добавлено через 13 минут
Nameless One, Кстати про размер. Неплохо конечно, но насколько я понимаю преобразование:

C++
1
2
int t=5;
char f=static_cast<char>(t);

Не является опасным по своей сути. Разве нет? В таком случае по размеру не подходит

@Nameless One · 27.10.2010, 18:59

А такое преобразование:

C++
1
2
int bigInteger = 123456;
char c = static_cast<char>(bigInteger);

char и int имеют разные размеры, а значит, и разные диапазоны возможных значений.

@ForEveR · 27.10.2010, 19:00 **[ТС]**

Nameless One, Это да. Абсолютно согласен. Это сужение.
При проверке по значению - это считается небезопасным, однако если в пределах цензуры - безопасным.

@Nameless One · 27.10.2010, 19:04

Хм... Приведи пример небезопасного приведения "в пределах цензуры"

@ForEveR · 27.10.2010, 19:09 **[ТС]**

Nameless One, Хм. А ведь и правда. Лучше проверять по типам. Да, извини, ты прав.

Новые блоги и статьи Все статьи Все блоги /
Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .
Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	27.10.2010, 18:37 [ТС]
	Nameless One, В 8-ой студии из нового стандарта? Как-то дико сомнительно... С помощью sizeof кстати тоже вариант. То есть если размер приводимого типа меньше приведенного то ошибка? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	27.10.2010, 19:00 [ТС]
	Nameless One, Это да. Абсолютно согласен. Это сужение. При проверке по значению - это считается небезопасным, однако если в пределах цензуры - безопасным. 0

@Nameless One 5828 / 3479 / 358 Регистрация: 08.02.2010 Сообщений: 7,448
	27.10.2010, 19:04
	Хм... Приведи пример небезопасного приведения "в пределах цензуры" 1

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	27.10.2010, 19:09 [ТС]
	Nameless One, Хм. А ведь и правда. Лучше проверять по типам. Да, извини, ты прав. 0

Безопасное приведение

Решение