Не очень понимаю static_cast

@daslex · Регистрация: 02.08.2011

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

Цитирую Прата:

static_cast <имя-типа> (выражение)
Она допустима только в том случае, если имя-типа может быть неявно преобразовано в тип, который имеет выражение, или наоборот.

Под она имеется в виду операция static_cast

Эксперимент:

C++
1
2
3
4
5
6
int main(){
  int x = 32;
  char y = 2;
 
  y = static_cast<char>(x);
}

Сужающее преобразование, которое так-то запрещено, и если флаг поставить нужный, то y = x не будет компилироваться. Тип int неявно не должен бы мочь приводится к типу char, как ни думай.
Тем не менее static_cast это ест и не давится, хотя, если верить цитате, подавиться бы должен.

Чего я не понимаю?

@daslex · 27.03.2017, 03:13 **[ТС]**

Вот, что пишет Прата:

Обычное приведение типов в C++ также ограничено. В основном оно может делать то же, что и другие приведения, плюс сочетания вроде static_cast или reinterpret_cast, за которыми следует const cast. Но это, пожалуй, и все. Так что следующее приведение допустимо в С, но обычно запрещено в C++, потому что в большинстве реализаций C++ тип char слишком мал, чтобы содержать указатель:
char ch = char (&d) ; // приведение типа #2 — преобразование адреса в символ Такие меры предосторожности имеют смысл, но если вы считаете их излишними — к вашим услугам язык С.

Точно так же тип char мал, чтобы содержать int, c оговоркой, что тип char не равен типу int. Следовательно, такое приведение, какое я использую, в С++ должно быть запрещено, но мы тут дружно будем компилятору С++ разрешать делать сишные выходки.
clang, к слову, разрешает такое приведение. Я к тому, что есть тут запретное: сужающее преобразование.
И эта отговорка, что флаги у меня стоят, а static_cast плюёт на эти флаги, слабо на меня действует. И отговорки, что стандартом разрешено, против текстов Прата мало внушают доверия.

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

Не по теме:

Сейчас на страницу назад перелистну. Когда последнее писал, не прочитал хвоста на первой.

Добавлено через 9 минут
Да. Калиграфер дал очень понятный ответ: флаги компилятора к языку не относятся.
Вот чего я не понимал.

Но сейчас я не понимаю разрешено/запрещено. Вот пишет Прата "обычно запрещено", а тут все единогласно "всё норм, не паникуй". Ахорет какой-то.

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

Не по теме:

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

Мне конечно не особа интересна эта тема

Кота в мешке не утаишь :friends:

@Operok · 27.03.2017, 10:26

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

char ch = char (&d) ;

Дело тут не в размере, без reinterpret_cast нельзя привести указатель ни к одному целочисленному типу (и тем более вещественному)

@daslex · 27.03.2017, 10:40 **[ТС]**

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

бред какой то.

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

Речь же идёт там об обычной функции:

C++
1
2
3
4
5
template<class T>
char* as_bytes(T& i){
    void* addr = &i;
    return static_cast<char*>(addr); //Небезопасный static_cast
}

Небезопасное преобразование типа с помощью оператора static_cast необходимо для того, чтобы получить переменную в виде последовательности байтов.

Почему оно небезопасное, мне, например, не понятно. Потому что некоторые источники утверждают:

Conversion of any pointer to pointer to void and back to pointer to the original (or more cv-qualified) type preserves its original value.

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

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

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

Не по теме:

Operok, Это не Вам адресовано. Во избежание путаницы.

@TheCalligrapher · 27.03.2017, 10:42

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

Дело тут не в размере, без reinterpret_cast нельзя привести указатель ни к одному целочисленному типу (и тем более вещественному)

Но в данном случае char(&d) или (char) &d - это и есть reinterpret_cast. Спецификация reinterpret_cast ясно говорит, что с его помощью можно привести указатель к целочисленному типу, который достаточно велик для того, чтобы содержать этот указатель.

В данном случае целочисленный тип недостаточно велик. Поэтому и явный reinterpret_cast тут не поможет - ошибка будет точно та же.

Так что дело тут именно в размере.

@daslex · 27.03.2017, 22:17 **[ТС]**

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

reinterpret_cast

Вот именно вот этот каст все хором советуют использовать в последнюю очередь, вообще не использовать, что ж мне теперь, им static_cast заменить?

Добавлено через 29 минут
Может ли такое быть, что преобразование

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

если имя-типа может быть неявно преобразовано в тип, который имеет выражение, или наоборот.

Я не понимаю вот этой строчки.
Есть 4 варианта:
- Тип выражения может быть приведён к указанному типу.
- Тип выражения не может быть приведён к указанному типу.
или наоборот
- Указанный тип может быть приведён к типу выражения.
- Указанный тип не может быть приведён к типу выражения.

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

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

Я из-за "или наоборот" в замешательстве.

Добавлено через 1 минуту
Может кто толково разъяснит, что имелось в виду? Вероятно в книге неточность перевода.

Новые блоги и статьи Все статьи Все блоги /
Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .