如何将用户定义的文字中的可变字符模板参数转换回数字类型？

Question

由于这个而提出这个问题。

C++11 允许您为数字文字定义如下文字：

template<char...> OutputType operator "" _suffix();

这意味着 503_suffix 将变为 <'5','0','3'>

这很好，尽管它的形式不是很有用。

如何将其转换回数字类型？这将变成<'5','0','3'> 转换为 constexpr 503。此外，它还必须适用于浮点文字。 <'5','.','3> 会变成 int 5 或 float 5.3

在 < a href="https://stackoverflow.com/questions/8108473/user-define-literal-arguments-are-not-constexpr/8108872">上一个问题，但它没有处理非整数：

template <typename t>
constexpr t pow(t base, int exp) {
  return (exp > 0) ? base * pow(base, exp-1) : 1;
};

template <char...> struct literal;
template <> struct literal<> {
  static const unsigned int to_int = 0;
};
template <char c, char ...cv> struct literal<c, cv...> {
  static const unsigned int to_int = (c - '0') * pow(10, sizeof...(cv)) + literal<cv...>::to_int;
};
// use: literal<...>::to_int
// literal<'1','.','5'>::to_int doesn't work
// literal<'1','.','5'>::to_float not implemented

Answer 1

总有简单的方法。非类型参数包可以扩展为初始化列表，如下所示：

#include <iostream>

template<char... Chars>
  double
  operator "" _suffix()
  {
    const char str[]{Chars..., '\0'};
    return atof(str);
  }

int
main()
{
  std::cout << 123.456789_suffix << std::endl;
}

Answer 2

我认为以下内容应该适用于没有指数部分的浮点数（未经测试）：

template<bool fp, long long num, long long denom, char ...> struct literal;

template<bool fp, long long num, long long denom> struct literal<fp, num, denom>
{
   static constexpr double value() { return (1.0*num)/denom; }
};

template<long long num, long long denom, char digit, char... rest>
  struct literal<false, num, denom, digit, rest...>
{
  static constexpr double value()
  {
    return literal<false, 10*num + (digit-'0'), denom, rest...>::value();
  }
};

template<long long num, long long denom, char digit, char... rest>
  struct literal<true, num, denom, digit, rest...>
{
  static constexpr double value()
  {
    return literal<true, 10*num + (digit-'0'), 10*denom, rest...>::value();
  }
};

template<long long num, long long denom, char... rest>
  struct literal<false, num, denom, '.', rest...>
{
  static constexpr double value()
  {
    return literal<true, num, denom, rest...>::value();
  }
};

template<char... c> double operator "" _dbl()
{
  return literal<false, 0, 1, c...>::value();
}

如何将其扩展为也采用指数部分应该是显而易见的。

当然，人们还想做一些错误检查（确保字符确实是数字）。