1

我正在为使用可变参数模板定义用户定义的文字做准备

template<...>
unsigned operator "" _binary();

unsigned thirteen = 1101_binary;

GCC 4.7.0 还不支持operator ""，但在那之前我可以用一个简单的函数来模拟它。

唉，我的递归是错误的。我想不出一种不移动最右边的值而是最左边的好方法：

template<char C> int _bin();
template<>       int _bin<'1'>() { return 1; }
template<>       int _bin<'0'>() { return 0; }

template<char C, char D, char... ES>
int _bin() {
    return _bin<C>() | _bin<D,ES...>() << 1; // <-- WRONG!
}

这当然不完全正确：

int val13 = _bin<'1','1','0','1'>();  // <-- gives 10

因为我的递归将最右边的'1'移动得最远，而不是最左边的。

这可能是我的小东西，但我就是看不到它。

  • 我可以更正这条线_bin<C>() | _bin<D,ES...>() << 1;吗？
  • 还是我必须转发所有内容并在之后将所有内容都转过来（不好）？
  • 还是我看不到的其他方式？

更新：我无法反过来折叠递归，但我发现sizeof.... 有效，但并不完美。还有其他方法吗？

template<char C, char D, char... ES>
int _bin() {
    return   _bin<C>() << (sizeof...(ES)+1) | _bin<D,ES...>() ;
}
4

3 回答 3

1

一种可能性是使用累加器：

template <char C>
int _binchar();
template<>
int _binchar<'0'>() { return 0; }
template<>
int _binchar<'1'>() { return 1; }

template<char C>
int _bin(int acc=0) {
   return (acc*2 + _binchar<C>());
}
template<char C, char D, char... ES>
int _bin(int acc=0) {
   return _bin<D, ES...>(acc*2 + _binchar<C>());
}
于 2011-09-08T08:23:03.677 回答
1

在递归的任何一步，您已经知道最左边数字的等级。

template<char C> int _bin();
template<>       int _bin<'1'>() { return 1; }
template<>       int _bin<'0'>() { return 0; }

template<char C, char D, char... ES>
int _bin() {
    return _bin<C>() << (1 + sizeof...(ES)) | _bin<D,ES...>();
}
于 2011-09-08T08:33:00.320 回答
1

参数包相对不灵活，通常不会直接在其中编写算法。可变参数函数模板非常适合转发，但我会tuple在尝试操作之前将其打包成更易于管理的模板。

使用一个简单的binary_string_value元函数，其中 1 的位置在前，以及一个通用的tuple_reverse元函数，模式将是

template< char ... digit_pack >
constexpr unsigned long long _bin() {
    typedef std::tuple< std::integral_constant< digit_pack - '0' > ... > digit_tuple;
    return binary_string_value< typename tuple_reverse< digit_tuple >::type >::value;
}
于 2011-09-08T08:36:12.690 回答