为何无法从模板类型中访问嵌套类型别名？

为什么你的函数模板编译失败？ #

你写的class PARENT_TYPE::ChildType是语法错误——ChildType已经是PARENT_TYPE内部定义的类型别名，完全不需要加class关键字修饰。这个错误和模板参数有没有ChildType没关系，纯粹是写法不符合C++语法规则。

修正后的代码 #

把多余的class删掉，函数模板就能正常编译运行：

#include <iostream>

template<class CHILD_TYPE>
struct ParentType {
    using ChildType = CHILD_TYPE;
};

template<class PARENT_TYPE>
void func() {
    PARENT_TYPE::ChildType var{};
    std::cout << var << std::endl;
}

int main() {
    func<ParentType<int>>();       // 输出 0
    func<ParentType<std::string>>(); // 输出空字符串
    return 0;
}

从通用类型中提取模板参数的其他方案 #

如果你的需求是不依赖嵌套别名，直接从模板类型里提取它的原始模板参数，可以试试下面两种方法：

1. 用模板特化提取参数 #

这种方法不需要原模板提前定义嵌套别名，直接从类型本身拆解：

// 基础模板（匹配非模板类型）
template<typename T>
struct ExtractTemplateParam {};

// 针对单参数模板的特化版本
template<template<typename> class Template, typename Param>
struct ExtractTemplateParam<Template<Param>> {
    using Type = Param;
};

// 用法示例
template<class CHILD_TYPE>
struct ParentType {}; // 这里不需要定义ChildType别名

int main() {
    // 直接提取ParentType<int>的模板参数int
    using ExtractedType = ExtractTemplateParam<ParentType<int>>::Type;
    ExtractedType num = 10;
    std::cout << num << std::endl; // 输出10
    return 0;
}

2. C++20用Concepts做类型约束（可选） #

如果想确保传入func的类型一定有ChildType嵌套别名，可以用C++20的Concepts做编译期检查，提前拦截非法输入：

#include <iostream>
#include <concepts>

// 定义约束：类型必须包含ChildType嵌套类型
template<typename T>
concept HasChildType = requires {
    typename T::ChildType;
};

template<class CHILD_TYPE>
struct ParentType {
    using ChildType = CHILD_TYPE;
};

// 只接受符合约束的类型
template<HasChildType PARENT_TYPE>
void func() {
    PARENT_TYPE::ChildType var{};
    std::cout << var << std::endl;
}

// 测试：传入无ChildType的类型会直接编译报错
// struct BadType {};
// func<BadType>(); // 编译错误：不符合HasChildType约束

int main() {
    func<ParentType<int>>();
    return 0;
}

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