Блог

Я нашел этот пример, когда запускал PCLint в исходном коде проекта, над которым я работаю. Вот фрагмент кода:

 QString foo()
{
    return false;
}
  

Я скомпилировал код и проверил, что он возвращает пустую строку. Реальный пример — большой метод в большом классе, и где-то в какой-то удаленной ветке if было это изолированное

 return false;
  

Хорошо, это плохое кодирование, позор разработчику (используя SVN / blame, я мог бы даже узнать, кто это сделал :-)) но, серьезно, почему компилятор не жалуется?

Моя теория заключается в том, что компилятор переводит

 return false;
  

Для

 return QString(((const char *) false));
  

Однако я не вижу всех элементарных шагов, выполняемых компилятором для вывода этого. Сначала он пробует все конструкторы QString и находит

 QString(const * char);
  

но тогда? Как он определяет, что он может перейти от bool к const char * . Или он автоматически преобразует bool к любому типу указателя каждый раз, когда вы используете bool, где ожидается указатель?

Вторая часть вопроса. Поскольку все эти неявные преобразования типов довольно опасны (зачем разработчику писать ‘return false;’, если они означают «вернуть пустую строку»?), Есть ли способ (например, переключатель компилятора), чтобы о таких ситуациях, по крайней мере, сообщалось как предупреждение? Я попробовал -Wall в g , и он не напечатал никакого предупреждения.

Редактировать

Спасибо за подсказки. false, похоже, имеет особое отношение. Если я сделаю

 return true;
  

Я получаю:

 error: conversion from ‘bool’ to non-scalar type ‘QString’ requested
  

Я использую g 4.4.3 в Ubuntu. Как указывалось в разных комментариях, другие компиляторы сообщают о проблеме.