用模板替换constexpr(用于在编译时计算常量)?

时间:2013-08-26 20:40:06

标签: c++ template-meta-programming constexpr visual-studio-2012

我使用constexpr关键字计算能够在编译时存储在float或double中的最大整数值(n是尾数中的位数,val最初是1.0):

constexpr double calc_max_float(int n, double val)
{
    return (n == 0) ? (val) : calc_max_float(n - 1, 2.0*val);
}

生成此值以供以下模板使用:

template <bool, class L, class R>
struct IF  // primary template
{
    typedef R type;
};

template <class L, class R>
struct IF<true, L, R> // partial specialization
{
    typedef L type;
};

template<class float_type>
inline float_type extract_float()
{
    return (extract_integer<typename IF<sizeof(float_type) == 4,
                                        uint32_t,
                                        uint64_t
                                       >::type
                           >() >> (8*sizeof(float_type) - std::numeric_limits<float_type>::digits))*(1./calc_max_float(std::numeric_limits<float_type>::digits, 1.0));
}

此模板生成两个函数,相当于:

inline float extract_single()
{
    return (extract_integer<uint32_t>() >> 9) * (1./(8388608.0));
}
inline double extract_double()
{
    return (extract_integer<uint64_t>() >> 12) * (1./(67108864.0*67108864.0));
}

GCC一切都很好但是我也希望能用VC11 / 12进行编译。有关如何替换constexpr calc_max_float(int n, double val)的任何想法?

编辑:

要清楚,我正在寻找一种方法来使用模板在编译时计算常量pow(2,x)。即使是正确方向的一点也会很棒。

至于用法示例,我有一个函数extract_integer(类型min,类型范围),它适用于任何有符号或无符号类型。我正在尝试创建一个函数extract_float(),它返回float或double类型的值[0,1]。

我想我正在寻找类似的东西:

template <const unsigned  N, const uint64_t val>
inline uint64_t calc_max_float()
{
    return calc_max_float<N - 1,2*val>();
}

template <const uint64_t val>
inline double calc_max_float<0, val>()
{
    return (double) val;
}

但是不允许对功能进行部分专业化?虽然我们在这,但为什么不会像

那样
template <const unsigned  N, const uint64_t val>
inline uint64_t calc_max_float()
{
    return (N != 0) ? calc_max_float<N - 1,2*val>() : val;
}

工作?

1 个答案:

答案 0 :(得分:1)

#include <iostream>

template <unsigned  N>
inline double calc_max_float(double val)
{
    return calc_max_float<N - 1>(2.0 * val);
}

template <>
inline double calc_max_float<0>(double val)
{
    return val;
}

int main() {
    // 2 ^ 3
    std::cout << calc_max_float<3>(1) << std::endl;
}