依赖的非类型模板参数和可变参数模板

我正在尝试扩展提供的可能性std::integer_sequence http://en.cppreference.com/w/cpp/utility/integer_sequence一个名为的新类integer_range（显然，这在两个边界之间创建了一个整数序列）。我的实施是基于我的回答这个问题 https://codereview.stackexchange.com/q/45549/15094我试图适应std::integer_sequence:

namespace details
{
    template<typename Int, Int C, Int P, Int... N>
    struct increasing_integer_range:
        increasing_integer_range<Int, C-1, P+1, N..., P>
    {};

    template<typename Int, Int C, Int P, Int... N>
    struct decreasing_integer_range:
        decreasing_integer_range<Int, C+1, P-1, N..., P>
    {};

    template<typename Int, Int P, Int... N>
    struct increasing_integer_range<Int, 0, P, N...>:
        std::integer_sequence<Int, N...>
    {};

    template<typename Int, Int P, Int... N>
    struct decreasing_integer_range<Int, 0, P, N...>:
        std::integer_sequence<Int, N...>
    {};
}

template<typename Int, Int S, Int E,  bool Increasing=(S<E)>
struct integer_range;

template<typename Int, Int S, Int E>
struct integer_range<Int, S, E, true>:
    details::increasing_integer_range<Int, std::integral_constant<Int, E-S>, S>
{};

template<typename Int, Int S, Int E>
struct integer_range<Int, S, E, false>:
    details::decreasing_integer_range<Int, std::integral_constant<Int, E-S>, S>
{};

template<std::size_t S, std::size_t E>
using index_range = integer_range<std::size_t, S, E>;

我认为这个改变是微不足道的（添加一个typename模板参数），但这实际上在特化中引入了依赖非类型参数的问题0。这是编译器错误：

error: type `Int` of template argument `0` depends on a template parameter

基本问题已经有 https://stackoverflow.com/q/22486386/1364752一些解决方案。但是，由于我使用可变参数模板，因此修复变得更加困难：这个答案 https://stackoverflow.com/a/22487113/1364752无法工作，因为我不允许在可变参数模板之后有默认模板参数。因此，我尝试实施中提到的修复接受的答案 https://stackoverflow.com/a/22486607/1364752但正如评论中提到的，我的编译器（g++ 4.8.1）似乎无法消除歧义，并认为以下两个专业化都是同样专业化的：

• struct increasing_integer_range<Int, std::integral_constant<Int, C>, P, N...>: /* */
• struct increasing_integer_range<Int, std::integral_constant<Int, 0>, P, N...>: /* */

还有其他方法可以解决这个问题吗？我没主意了。

我会简单地减少你的integer_range单个非递归调用std::integer_sequence:

namespace details
{
    template<typename Int, typename, Int S>
    struct increasing_integer_range;

    template<typename Int, Int... N, Int S>
    struct increasing_integer_range<Int, std::integer_sequence<Int, N...>, S>
        : std::integer_sequence<Int, N+S...>
    {};

    template<typename Int, typename, Int S>
    struct decreasing_integer_range;

    template<typename Int, Int... N, Int S>
    struct decreasing_integer_range<Int, std::integer_sequence<Int, N...>, S>
        : std::integer_sequence<Int, S-N...>
    {};
}

template<typename Int, Int S, Int E,  bool Increasing=(S<E)>
struct integer_range;

template<typename Int, Int S, Int E>
struct integer_range<Int, S, E, true>:
    details::increasing_integer_range<Int, std::make_integer_sequence<Int, E-S>, S>
{};

template<typename Int, Int S, Int E>
struct integer_range<Int, S, E, false>:
    details::decreasing_integer_range<Int, std::make_integer_sequence<Int, S-E>, S>
{};

template<std::size_t S, std::size_t E>
using index_range = integer_range<std::size_t, S, E>;

我测试过：

template<std::size_t... N>
void dummy( const std::integer_sequence< std::size_t, N... >& );

int main()
{
    dummy( index_range< 2, 5 >() );
    dummy( index_range< 5, 2 >() );
}

得到预期的链接器错误：

main.cpp:(.text.startup+0xa): undefined reference to `void dummy<2ul, 3ul, 4ul>(detail::integer_sequence<unsigned long, 2ul, 3ul, 4ul> const&)'
main.cpp:(.text.startup+0x14): undefined reference to `void dummy<5ul, 4ul, 3ul>(detail::integer_sequence<unsigned long, 5ul, 4ul, 3ul> const&)'

实例 http://coliru.stacked-crooked.com/a/7cfe4c1931161d3d（通过自己的实现integer_sequence，跳过第一部分）