Есть ли способ получать предупреждение при преобразовании char в int?

Question

[Qubc]

Почему спрашиваю:
1. Согласно стандарту, скорее всего, не будет такой реализации, где размер char будет больше размера int. Это ок.
2. Знаковость char не определена. Это не ок.
3. Если функция возвращает код символа в int, то я могу случайно сохранить его в char и сравнивать с int EOF. Так делать нельзя, потому что повышение char до int не стандартизировано, а следовательно - может произойти zero-extension или sign-extension.

Comments

[Adamos]

2. Не определена стандартом, но определяется настройками компилятора.
3. Сохранение int в char компилятор отлавливает и ругается.

[Qubc]

Adamos,
2. Спасибо.
3. Ругается на int -> char, но не ругается на char -> int.

[Adamos]

Qubc, а на что тут ругаться?
Нет никаких проблем записать char в int, независимо от того, знаковый он или нет.

Answer 1

[Владимир Коротенко]

введите проверку на ваши условия и кидайте эксепшен

Answer 2

[res2001]

По стандарту sizeof(char) == 1, sizeof(int) >= 2.
char->int и int->char - это 2 разных преобразования. Судя по вопросу для вас это одно и то же.
Первое проходит без предупреждения, поскольку значимость не теряется. На второе компилятор ругнется, обычно это warning, опциями компилятора можно сделать чтоб был error.
Повышение char до int не зависимо от того какой конкретно char в данной системе вполне стандартизовано и укладывается в стандартное расширение целочисленных типов.
Обратное преобразование приведет к обрезанию значащих бит, это то же описано в стандарте.

Comments

[Qubc]

Судя по вопросу для вас это одно и то же.

Ни в коем случае, как раз поэтому и спрашиваю. Мой вопрос заключался в том, как сделать так, чтобы компилятор ругался при преобразовании char в int. Ну и в том, что я не понимаю, почему такой возможности нет. Ну, просто интересно. Я бы не удивился, если бы -Wconversion реагировал на это. Но он - не реагирует.

Повышение char до int не зависимо от того какой конкретно char в данной системе вполне стандартизовано и укладывается в стандартное расширение целочисленных типов.

Ну, то есть получается, что это implementation defined. То есть один и тот же код может давать разные результаты. Где-то -1 превратится в -1, а где-то в 255.

Получается, единственный способ это ответ выше: https://qna.habr.com/answer?answer_id=2346206

[res2001]

Qubc,

Ну, то есть получается, что это implementation defined. То есть один и тот же код может давать разные результаты. Где-то -1 превратится в -1, а где-то в 255.

Мы же char в int сейчас преобразовываем?
Поэтому -1 будет -1, а 255 будет 255 - всегда. Какой вариант на вашей платформе зависит исключительно от знаковости char. Само преобразование в обоих случаях стандартом определено.
Проверять на ошибки в любом случае необходимо, тут даже и обсуждать нечего.

Answer 3

[Игорь Кузьмич]

char ToChar(int val)
{
    if(static_cast<unsigned>(val) <= 255)  // better to use std::numeric_limits<unsigned char>::max() instead of 255
    {
        return static_cast<char>(val);
    }
    else 
    {
        throw "trying to convert int to char with loosing of data"; // better to throw some another exception from the lib #include <stdexcept>
    }
}

код написан на коленке, могут быть синтаксические оишбки