浮点类型的模板函数中的文字

Question

这个问题之前已经出现过，特别是在这里Should we generally use float literals for floats instead of the simpler double literals?，但我想知道现在我们在 C++14 领域是否有更好的建议解决方案，并且存在诸如用户定义的文字和大括号初始化之类的东西。

问题可以表述为如何在浮点类型的模板函数中写一个浮点字面量

template <typename T> T foo( T x )
{
    static_assert( std::is_floating_point<T>::value, "" );

    T y = x * 101.0;

    return( y );
}

所以问题归结为我们如何写“101.0”，因为它是一个双倍，所以如果我调用 foo 会发生什么

float a = 42.0f;
float b = foo( a );

如果我在 foo 中写“101.0f”，如果我用双精度调用 foo 会发生什么，请注意 101.0 和 101.0f 不一定相同。

另外我如何保证不会产生额外的代码来转换值？

其他建议包括编写诸如“static_cast(101.0)”、“T(101.0)”之类的东西或其他可怕的东西！

Answer 1

特定于 C++14 的选项是使用 variable template

namespace detail
{
    template<typename F>
    F multiplier = F(101.0);
}

template <typename T> T foo( T x )
{
    static_assert( std::is_floating_point<T>::value, "" );

    T y = x * detail::multiplier<T>;

    static_assert(std::is_same<decltype(detail::multiplier<T>), T>{}, "");

    return( y );
}

Live demo

Answer 2

template <typename T> T foo( T x ){
  static_assert( std::is_floating_point<T>::value, "" );

  T y = x * foo_constants<T>::one_o_one;

  return( y );
}

然后只需在 foo_constants 结构中定义和专门化您的常量。

您可能甚至不再需要静态断言了。您甚至可以将您的函数扩展到其他代数（向量积、矩阵、四元数等）。

但是，它不符合您的简洁性要求。