Предотвратяване на неявни преобразувания от float в double в C++

Можете да използвате помощна програма type_assert.

Пример:

#include <cmath>
#include <type_traits>

template<typename T, typename U>
const U& type_assert(const U& u) {
    static_assert(std::is_same<T, U>::value, "...");
    return u;
}

int main() {
    double t = type_assert<double>(std::sin(2.2f));
}

Ако очакваният тип е различен, това ще ви даде грешка на компилатора. Вероятно компилаторът вероятно би могъл да оптимизира това, ако премине, поне в моя случай с -O3.

Можете да направите извикването на sin(float) двусмислено, като дефинирате нещо като

double sin(float x) { abort(); }

Тогава извикванията на sin на float ще ви дадат грешка по време на компилиране. Това работи, защото в заглавката cmath std::sin е претоварена функция с float sin(float), double sin(double) и long double sin(long double) варианти. Компилаторът не може да знае дали сте искали ::sin(float) или std::sin(float), така че вдига ръце в объркване.

Не бих препоръчал непременно да оставяте подобни неща във вашата кодова база, но може да бъде полезно, ако се опитвате да намерите всички случаи на грешка като тази и да ги коригирате.

Нещо такова?

class MyDouble{
public:
  MyDouble(float _f) {throw "only use double!";}
  MyDouble(double _d) : m_data(_d) {}

  operator float() const {throw "conversion to float occurred!";}
  operator double() const {return m_data;}

private:
  double m_data;
};

но да, ще трябва да започнете да използвате този клас във вашите извиквания на математически функции, което го прави много грозен:

MyDouble d(3.2);
sin(d);
// or...
cos(MyDouble(2.3));

АКТУАЛИЗАЦИЯ - пример за внедряване на оператор (двоичен оператор, тъй като унарният би трябвало да бъде част от класа):

MyDouble operator+(const & MyDouble _lhs, const & MyDouble _rhs){
  MyDouble rez(_lhs);
  rez += _rhs;
  return rez;
}

Разбира се, не е нужно да го прилагате по този начин (чрез използването на пряк път operator+=), но това прави кода по-лесен за поддръжка

Току-що разбрах, че използвате продукт на Microsoft, но ще оставя този отговор, тъй като може да помогне на някой друг.

Прегледахте ли превключвателите на компилатора? Предполагам, че има подобен вариант.

БОГ! Току-що потърсих помощ за опциите и предупрежденията на Visual Studio! (връзка)

МНОГО съжалявам! Не знаех! Това е един от най-малко полезните списъци с опции и превключватели, които някога съм виждал! Още по-иронично, те са започнали да търсят отговори в StackOverflow и да се свързват обратно тук.

Но намерих някои улики:

Предупреждение на компилатора (нива 3 и 4) C4244 - преобразуване" преобразуване от " type1" до "type2", възможна загуба на данни

Използва се по този начин:

// Enable this to find unintended double to float conversions.
// warning C4244: 'initializing' : conversion from 'double' to 'float', possible loss of data
#pragma warning(3 : 4244)

GCC/G++ превключватели (

Защо не позволите на компилатора да ви каже, когато случайно направите това?

От g++/gcc man страницата:

-Wdouble-promotion (C, C++, Objective-C and Objective-C++ only)
  * Give a warning when a value of type "float" is implicitly promoted to "double".
    ... some verbage clipped ...
  * It is easy to accidentally do computations with "double" because floating-point
    literals are implicitly of type "double".

Добавянето на -Wdouble-promotion към вашия CXXFLAGS трябва да ви предостави предупреждения по време на компилиране.

Има също -fsingle-precision-constant, което забранява имплицитното преобразуване на плаващи числа в двойни.