Предупреждения или ошибки для неявного преобразования примитивов C++

В языке программирования C++, 3-е издание, приложение C.6, а именно "Неявное преобразование типов", Бьерн Страуструп классифицирует конверсии как рекламные акции и конверсии: первые «сохраняют ценность» (ваш вариант 2), вторые — нет (вариант 1).

О преобразованиях он говорит следующее: «Фундаментальные типы могут быть преобразованы друг в друга ошеломляющим количеством способов. На мой взгляд, разрешено слишком много преобразований». и «Компилятор может предупредить о многих сомнительных преобразованиях. К счастью, многие компиляторы действительно это делают».

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

Предупреждения компилятора обычно не являются обязательными. Обычно в черновиках и окончательных документах ANSI C++ сообщается, что "исполнители должны выдавать предупреждение" там, где предложено: вы можете проверить это самостоятельно для получения дополнительной информации, если это необходимо.

EDITED: добавлено примечание С++ 11:

В Язык программирования C++, 4-е издание, приложение 3-го издания сообщается и расширяется как раздел 10.5, "Неявное преобразование типов" еще раз.

Поскольку предыдущие рассуждения остаются теми же, C++11 более точно определяет «сужающие преобразования» и добавляет нотацию {}-initializer (6.3.5), с которой усечения приводят к ошибке компиляции.

Если вы используете gcc, пробовали ли вы -Wall -Wextra, в основном проверьте эту страницу
http://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html

Если это не GCC, опубликуйте сведения о компиляторе.

Microsoft Visual C++ выдаст предупреждение о сужающем преобразовании из A* в bool.

См. предупреждение компилятора C4800

С другой стороны, продвижение не является «опасной» конверсией, потому что потерять данные невозможно.

РЕДАКТИРОВАТЬ: Демонстрация

C:\Users\Ben>copy con test.cpp
bool f( void ) { return new int(); }
^Z
        1 file(s) copied.

C:\Users\Ben>cl /c /W4 test.cpp
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.30319.01 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

test.cpp
test.cpp(1) : warning C4800: 'int *' : forcing value to bool 'true' or 'false' (
performance warning)

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

Вы уверены, что такой подход, как BOOST_STRONG_TYPEDEF, не сработает в вашей проблеме? Класс без виртуальных функций-членов и только с одним примитивным членом данных — это не что иное, как тип данных POD. Вы можете просто следовать тому же подходу и разрешать преобразование только в базовый примитивный тип; пример:

#include <iostream>
#include <stdexcept>

struct controlled_int {
  // allow creation from int
  controlled_int(int x) : value_(x) { };
  controlled_int& operator=(int x) { value_ = x; return *this; };
  // disallow assignment from bool; you might want to use BOOST_STATIC_ASSERT instead
  controlled_int& operator=(bool b) { throw std::logic_error("Invalid assignment of bool to controlled_int"); return *this; };

  // creation from bool shouldn't happen silently
  explicit controlled_int(bool b) : value_(b) { };

  // conversion to int is allowed
  operator int() { return value_; };

  // conversion to bool errors out; you might want to use BOOST_STATIC_ASSERT instead

  operator bool() { throw std::logic_error("Invalid conversion of controlled_int to bool"); };

  private:
    int value_;
};

int main()
{
  controlled_int a(42);

  // This errors out:
  // bool b = a;

  // This gives an error as well:
  //a = true;

  std::cout << "Size of controlled_int: " << sizeof(a) << std::endl;
  std::cout << "Size of int: " << sizeof(int) << std::endl;

  return 0;
}

Вы можете использовать один из доступных инструментов статического анализа, такие программы, как clint или эквиваленты C++, или один из имеющихся в продаже инструментов. Многие из этих инструментов могут выявить проблемные неявные преобразования.

Напишите собственный плагин clang для диагностики ваших проблем. Мы делаем многое из этого в коде LibreOffice. Если вам нужно вдохновение, просмотрите наш источник на http://cgit.freedesktop.org/libreoffice/core/tree/compilerplugins/clang