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

Question

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

double b = sin(2.2);

但是不小心写了这样的东西，

double b = sin(2.2f);

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

编辑:我也对使用运算符(例如 double b = 2.2f*2.2f)或赋值(double b=2.2f)解决类似问题感兴趣。

Answer 1

您可以使用 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 的情况下是这样。