c++ - 递归定义的嵌套类型(就不完整类型而言)

Question

cycle 定义中的递归在哪里中断？

#include <iostream>
using namespace std;

template<typename T>
struct Recursive
{
    using cycle = struct X : Recursive<X> {}; // would work for Recursive<T> as well
};

int main() 
{
    Recursive<int> x;
    return 0;
}

令我惊讶的是，上面的代码 compiles - 它是一段有效的代码吗？如果是，cycle 类型的含义(简要说明)是什么？

Answer 1

struct X : Recursive<X>是 Curiously Recurring Template Pattern 的一个示例，但是除非您访问嵌套的 cycle，否则不会发生无限递归类型。例如。 decltype(x)::cycle与 decltype(x)::cycle::cycle 的类型不同.

#include <iostream>
#include <type_traits>
#include <typeinfo>
#include <cxxabi.h>

using namespace std;

template<typename T>
struct Recursive
{
    using cycle = struct X : Recursive<X> {};
};


int main() 
{
    int status;
    Recursive<int> x;
    std::cout << abi::__cxa_demangle(typeid(x).name(), 0, 0, &status) << '\n';
    std::cout << abi::__cxa_demangle(typeid(decltype(x)::cycle).name(), 0, 0, &status) << '\n';
    std::cout << abi::__cxa_demangle(typeid(decltype(x)::cycle::cycle).name(), 0, 0, &status) << '\n';
    return 0;
}

这打印

Recursive<int>

Recursive<int>::X

Recursive<Recursive<int>::X>::X

因此回避将永远持续下去，但前提是您明确访问进一步嵌套的 cycle类型。