C++元编程中能否沿类typedef链路递归获取末端叶子类型？

该需求可通过SFINAE（替换失败不是错误）特性实现，无需依赖std::compare这类不相关的标准库组件，可直接解决两类核心编译问题。

前置类型定义 #

示例中的基础结构定义如下：

template<class D>
class HasDef {
public:
     typedef D Def;
};

class A : public HasDef<class B> {};
class B : public HasDef<class C> {};
class C {};

核心实现代码 #

实现分为两部分：类型存在性检测的兼容适配、Leaf模板的终止条件+递归逻辑特化。
如果使用C17及以上标准，可直接使用标准库自带的std::void_t；C11/14环境手动实现该工具即可：

// C++11/C++14 兼容：定义void_t工具
template<class...>
using void_t = void;

// Leaf主模板前置声明
template<class T, class = void>
struct Leaf;

// 终止特化：匹配不存在内嵌Def类型的节点（链路末端），直接返回节点自身
template<class T>
struct Leaf<T, void> {
    using type = T;
};

// 递归特化：匹配存在内嵌Def类型的节点，跳转到Def指向的类型继续追溯
template<class T>
struct Leaf<T, void_t<typename T::Def>> {
    using type = typename Leaf<typename T::Def>::type;
};

效果验证 #

实现完成后即可达到预期使用效果，可通过静态断言确认结果正确性：

#include <type_traits>

void f() {
     Leaf<A>::type v; // 变量v的类型为C
     // 静态断言验证追溯结果
     static_assert(std::is_same<Leaf<A>::type, C>::value, "A的叶子节点应为C");
     static_assert(std::is_same<Leaf<B>::type, C>::value, "B的叶子节点应为C");
     static_assert(std::is_same<Leaf<C>::type, C>::value, "C的叶子节点应为自身");
}

问题解决原理 #

• 针对链路末端无Def成员的编译错误：SFINAE机制会在检测到当前类型不存在typename T::Def时，直接丢弃递归特化版本，匹配返回自身的终止特化，不会触发访问不存在类型成员的硬错误。
• 针对递归时不完整类型引用错误：递归特化中引用的Leaf<typename T::Def>是和当前实例化目标不同的独立模板实例，编译器会先完成该依赖实例的实例化再获取其type成员，不会出现当前实例未定义完成就访问内部成员的问题。

该实现完全适配层次状态机场景：后续新增状态节点时，只要给存在默认子状态的节点继承HasDef<子状态类型>，Leaf模板即可自动追溯到最底层的默认状态，无需修改追溯逻辑代码。

内容的提问来源于stack exchange，提问作者The_Sympathizer