防止在C中从float到double的隐式转换

基本上,如果我想要这样的东西,

double b = sin(2.2);

但不小心写了这样的东西,

double b = sin(2.2f);

没有错误甚至是警告信息,即使这显然会导致不同的,不准确的,因此不正确的结果.通过强制编译器不执行float到double的任何隐式转换,可以防止这种类型的错误.有没有办法实现这一点,无论是通过编译开关(最好是在Visual Studio中),一些智能宏,还是一个行为像float / double变量并声明自己的运算符的类？

编辑：我也有兴趣使用运算符解决类似的问题(例如双b = 2.2f * 2.2f)或赋值(double b = 2.2f).

解决方法

您可以使用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.