Почему -Wconversion разрешает передачу integer literal в char параметр?

Question

[Qubc]

// -fno-elide-constructors  -m64 -O0 -Wconversion

void f(char c){
}

int main(void) {
    int i = 1;
    f(i);// warning: conversion from 'int' to 'char' may change value [-Wconversion] 8 | f(i);
    f(1);// ??? No warning
    f(256);// warning: overflow in conversion from 'int' to 'char' changes value from '256' to ''\000'' [-Woverflow] f(256);
    return 0;
}

Comments

[Sergio]

попробуйте число больше 255
по-моему в этом случае компилятор автоматически приводит единицу к типу char

[Qubc]

Sergio, warning: overflow in conversion from 'int' to 'char' changes value from '256' to ''\000'' [-Woverflow] f(256);

[mayton2019]

Еще можно порассуждать на тему разрядности char.

Откуда вообще такие вопросы прилетают? Из собеседовани что-ли? На code-review такое
в принципе не должно проходить.

[Qubc]

mayton2019,

class Base{
public:
    void method(){}
    void method(int i){}
};

class Derived : public Base {
public:
    void method(char c){}
};

int main(void) {
    Derived d;
    d.method(1);// хотел наглядно показать экранирование метода при redefinition (а не overriding) и удивился, что не возникает предупреждения несмотря на флаг.  Дальше полез гуглить - и понял, что не понимаю.
    return 0;
}

[mayton2019]

Qubc, попробуй virtual.

И еще попробуй

d.Base::method(d);
d.Derived::method(d);

[Qubc]

mayton2019,

попробуй virtual.

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

[mayton2019]

Qubc, выводы - никогда так не делай.

[Qubc]

mayton2019, ахах, спасибо)

Answer 1

[Wataru]

Ну вообще, char - integral type. Поэтому передавать туда числовую константу можно - это никакой не варнинг. Компилятор сам понимает, что она должна быть типа char и даже проверяет на переполнение и выдает warning, если что.

Comments

[Qubc]

Я просто каждый раз восхищаюсь твоей экспертностью. Прочитал твой ответ- понял, что ошибся с определением типа, понял почему 256 вызывает ворнин. То есть моя ошибка была в непонимании сути типов. Тем не менее это не очень интуитивно - кажется, что char это char, а int это int.

[Wataru]

Qubc,

Тем не менее это не очень интуитивно

Добро пожаловать в с++. Тут много чего неинтуитивно. Еще много что выглядит интуитивно, пока не споткнешься о подводный камень.