Почему мой код C++ с несоответствием типов компилируется без предупреждений с использованием флага GCC «-Wall»?
У меня есть следующий код:
#include <iostream>
char add(char a, int b)
{
return a + b;
}
int main(void)
{
long long a = 100000000;
long long b = 20;
int x = add(a, b);
std::cout << x << std::endl;
return 0;
}
И я не понимаю, почему мой код компилируется без каких-либо предупреждений.
Разве компилятор GCC с флагом -Wall не должен выдавать мне ошибку несоответствия типов?
Ответы 2
Это не ошибка, это допустимое неявное преобразование, хотя оно и предполагает сужение типа. Вы можете получить предупреждение об этом, например. -Weverything в лязге, который будет издавать
<source>:13:17: warning: implicit conversion loses integer precision: 'long long' to 'char' [-Wimplicit-int-conversion]
13 | int x = add(a, b);
| ~~~ ^
<source>:13:20: warning: implicit conversion loses integer precision: 'long long' to 'int' [-Wshorten-64-to-32]
13 | int x = add(a, b);
| ~~~ ^
Спасибо. Но тогда мой следующий вопрос будет: почему существует перегрузка функций, если компилятор все равно преобразует типы?
Перегрузка функций немного ортогональна неявным преобразованиям. Тот факт, что параметр является неявно преобразуемым, будет просто означать, что перегрузка является допустимым кандидатом на разрешение перегрузки, хотя при решении вопроса о том, какую конкретную перегрузку выбрать, по-прежнему существует ранжирование, и неявные преобразования являются частью критериев. См. раздел «Лучшая жизнеспособная функция» на сайте en.cppreference.com/w/cpp/language/overload_solve
@Noah - Кроме того, преобразование типов происходит из C, в котором не так много типов и нет перегрузки функций. C++ просто сохранил его для совместимости.
@BoP — в C++ есть неявные преобразования типов, потому что они полезны. Вы действительно не хотите писать приведение каждый раз, когда вам нужно преобразование.
@PeteBecker: Rust требует другого мнения. ;-) (Да, иногда в Rust это доставляет огромную боль, но это защищает от всякого рода подобных проблем)
@ShadowRanger — я намеренно не обвинял людей, которым нравятся касты, в желании писать код на Паскале. <g> Но в основном я хотел сказать, что C++ не «[сохранил] его для совместимости»; это гораздо более глубокое дизайнерское решение, чем это.
-Wall включает не все предупреждения. Если вам нужен именно этот, вам следует явно попросить об этом с помощью -Wconversion:
78623032.cpp: In function ‘char add(char, int)’:
78623032.cpp:5:14: warning: conversion from ‘int’ to ‘char’ may change value [-Wconversion]
5 | return a + b;
| ~~^~~
78623032.cpp: In function ‘int main()’:
78623032.cpp:13:17: warning: conversion from ‘long long int’ to ‘char’ may change value [-Wconversion]
13 | int x = add(a, b);
| ^
78623032.cpp:13:20: warning: conversion from ‘long long int’ to ‘int’ may change value [-Wconversion]
13 | int x = add(a, b);
| ^
Примечание. Иногда, но не в этот раз, вам придется заставить компилятор более внимательно изучить ваш код, чтобы получить предупреждения об ошибках, и вам придется включить или включить оптимизатор.