非递归方式的 10 的 constexpr 幂？

Question

很容易以递归方式实现constexpr 10 的幂：

template<int exp, bool = (exp > 0)>
struct pow10 {
    static constexpr double value = pow10<exp - 1>::value * 10.0;
};

template<>
struct pow10<0, false> {
    static constexpr double value = 1.0;
};

template<int exp>
struct pow10<exp, false> {
    static constexpr double value = pow10<exp + 1>::value / 10.0;
};

template<int exp>
static constexpr double pow10_v = pow10<exp>::value;

static_assert(pow10_v<-3> == 1e-3, "");
static_assert(pow10_v<2> == 1e2, "");

是否有可能以非递归方式使constexpr 10 的幂？

仅供参考，我正在使用 VS2015，它在 C++14 中不支持relaxed-constexpr，因此，我不能在constexpr 函数中使用 for-loop。

Answer 1

所以，如果我理解正确，您编译 C++14 但您的编译器并不完全符合 C++14 constexpr 函数。所以你不能在 constexpr 函数中创建循环。

嗯...我没有你的编译器，所以我不知道你的编译器到底不支持什么，所以我提出了一个基于非递归 constexpr 可变参数的 C++14 解决方案不使用 for 循环的模板函数。嗯...两个函数：一个用于负幂，一个用于非负幂。

希望 VS2015 支持。

负函数如下

模板

constexpr T negPow10 (std::index_sequence<Is...> const &)
 {
   using unused = std::size_t[];

   T ret { 1 };

   (void)unused { 0U, (ret /= 10, Is)... };

   return ret;
 }

非负数（正或零次幂）几乎相等，但使用ret *= 10 而不是ret /= 10。

它们是通过以下方式调用的

template <typename T, int E, std::size_t N = (E < 0 ? -E : E)>
constexpr T pow10 ()
 { return E < 0
    ? negPow10<T>(std::make_index_sequence<N>{})
    : posPow10<T>(std::make_index_sequence<N>{}); }

以下是一个完整的编译示例（但请注意，正如 n.m. 所指出的那样，static_assert() 超过 double 电源不可靠）

#include <utility>

template <typename T, std::size_t ... Is>
constexpr T posPow10 (std::index_sequence<Is...> const &)
 {
   using unused = std::size_t[];

   T ret { 1 };

   (void)unused { 0U, (ret *= 10, Is)... };

   return ret;
 }

template <typename T, std::size_t ... Is>
constexpr T negPow10 (std::index_sequence<Is...> const &)
 {
   using unused = std::size_t[];

   T ret { 1 };

   (void)unused { 0U, (ret /= 10, Is)... };

   return ret;
 }

template <typename T, int E, std::size_t N = (E < 0 ? -E : E)>
constexpr T pow10 ()
 { return E < 0
    ? negPow10<T>(std::make_index_sequence<N>{})
    : posPow10<T>(std::make_index_sequence<N>{}); }

int main ()
 {
   static_assert( pow10<long, 5>() == 1e5, "!" );
   static_assert( pow10<double, -3>() == 1e-3, "!" );
 }

说实话，这个解决方案在std::make_index_sequence 中是（或可以是）有点递归。