Question

此示例代码：

#include <string>
#include <iostream>

template <int i>
struct Wrapper
{
    static const std::string _str;
    typedef const Wrapper<i+1> NextType_t; // template recursion
    static NextType_t _nxt;
    typedef const Wrapper<i-1> PrevType_t; // template recursion
    static PrevType_t _prev;
};

template<int i>
const std::string Wrapper<i>::_str = std::to_string(i);

template<int i>
typename Wrapper<i>::NextType_t Wrapper<i>::_nxt;

template<int i>
typename Wrapper<i>::PrevType_t Wrapper<i>::_prev;


// recursion termination - lower bound
template <>
struct Wrapper<-1>
{
        static const std::string _str;
        typedef const Wrapper<0> NextType_t;
        static NextType_t _nxt; 
        typedef const Wrapper<-1> PrevType_t;
        static PrevType_t _prev;
};

const std::string Wrapper<-1>::_str = std::to_string(-1);

typename Wrapper<-1>::NextType_t Wrapper<-1>::_nxt;
typename Wrapper<-1>::PrevType_t Wrapper<-1>::_prev;

// recursion termination - upper bound 
template <>
struct Wrapper<UPPER_LIMIT>
{
    static const std::string _str;
    typedef const Wrapper<-1> NextType_t;
    static NextType_t _nxt;
    typedef const Wrapper<UPPER_LIMIT-1> PrevType_t;
    static PrevType_t _prev;
};

const std::string Wrapper<UPPER_LIMIT>::_str = std::to_string(UPPER_LIMIT);

typename Wrapper<UPPER_LIMIT>::NextType_t Wrapper<UPPER_LIMIT>::_nxt;
typename Wrapper<UPPER_LIMIT>::PrevType_t Wrapper<UPPER_LIMIT>::_prev;


int
main(
    int argc,
    char **)
{
    Wrapper<0> wrapperFirst;
    Wrapper<UPPER_LIMIT> wrapperLast;

    // here's the list
    std::cout << wrapperFirst._str << std::endl;
    std::cout << wrapperFirst._nxt._str << std::endl;
    std::cout << wrapperFirst._nxt._nxt._str << std::endl;
    // [...]

    // and the final element
    std::cout << wrapperLast._str << std::endl;
    std::cout << wrapperLast._prev._str << std::endl;
    std::cout << wrapperLast._prev._prev._str << std::endl;
    // [...]

    // and the tailing NIL 
    std::cout << Wrapper<UPPER_LIMIT>::NextType_t::_str << std::endl;

    return 0;
}

gcc失败了：

> g++ -std=c++11 -DUPPER_LIMIT=100 -ftemplate-depth=500 -o test main.cpp
main.cpp: In instantiation of ‘struct Wrapper<499>’:
main.cpp:24:33:   recursively required from ‘struct Wrapper<1>’
main.cpp:24:33:   required from ‘struct Wrapper<0>’
main.cpp:43:47:   required from here
main.cpp:24:33: fatal error: template instantiation depth exceeds maximum of 500 (use -ftemplate-depth= to increase the maximum)
 typename Wrapper<i>::NextType_t Wrapper<i>::_nxt;
                             ^~~~~~~~~~
compilation terminated.

但是成功了：

> clang++ -std=c++11 -DUPPER_LIMIT=100 -ftemplate-depth=500 -o test main.cpp
> ./test
0
1
2
100
99
98
-1

代码中有什么问题吗？我想知道gcc想要超越UPPER_LIMIT，因为有一个终止专业化。

Answer 1

Wrapper<-1>在此行实例化

typename Wrapper<-1>::NextType_t Wrapper<-1>::_nxt;

这会导致Wrapper<0>被实例化，这会导致Wrapper<1>被实例化，等等。在代码中的那一点，Wrapper<UPPER_LIMIT>的特化尚未定义，因此这会导致无限递归。

将Wrapper<UPPER_LIMIT>专精的定义移到Wrapper<-1>::_nxt定义之上可以解决问题。

显然Clang推迟实例化，因此不会出现这个问题。

c ++模板递归双链表错误gcc（但是clang ++接受）

1 个答案: