如何将int类型n对应的Foo<n>定义为Foo<X<n>>？

需求：针对int类型的n，将Foo<n>定义为Foo<X<n>>，且不修改main函数中的代码。尝试过using声明、类型特性条件判断、默认模板参数及重命名Foo的方式，已知通过给Foo添加默认参数结合条件using语句（如Foo<void,int>）可解决，但希望找到无需修改main的方案。

原尝试代码（存在语法错误）：

template<int n> struct X{};
template<typename T> struct Foo{};

template<int n>
using Foo<n> = Foo<X<n>>; // 语法错误，无法直接重载类模板

int main(){
    Foo<3> a;   // 期望等价于 Foo<X<3>>
    Foo<X<3>> b;    
}

解决方案1：模板别名重载（推荐，C++11+） #

核心思路是将原类模板转为内部实现，再通过两个同名模板别名分别处理类型参数和int非类型参数的场景，确保Foo<3>和Foo<X<3>>最终映射为同一个类型：

template<int n> struct X{};
// 将原Foo改为内部实现类
template<typename T> struct FooImpl{};

// 处理类型参数的Foo：直接映射到FooImpl<T>
template<typename T>
using Foo = FooImpl<T>;

// 处理int参数的Foo：映射到FooImpl<X<n>>
template<int n>
using Foo = FooImpl<X<n>>;

int main(){
    Foo<3> a;   // 等价于 FooImpl<X<3>>，符合需求
    Foo<X<3>> b; // 等价于 FooImpl<X<3>>，与原代码行为完全一致
}

原理说明 #

C++允许参数列表不同的模板别名同名重载：一个接受类型参数，一个接受int非类型参数，编译器会根据调用时的参数类型自动匹配对应的别名定义，最终Foo<3>和Foo<X<3>>会指向同一个类型FooImpl<X<3>>，完全满足需求且无需修改main函数。

解决方案2：类模板重载（C++98+） #

如果不需要Foo<3>和Foo<X<3>>是完全相同的类型，仅需行为一致，也可以直接定义两个同名类模板，让int参数版本继承自目标类型：

template<int n> struct X{};

// 原类型参数版本的Foo
template<typename T> struct Foo{};

// 针对int参数的Foo，继承自Foo<X<n>>
template<int n> struct Foo : Foo<X<n>> {};

int main(){
    Foo<3> a;   // 作为Foo<X<3>>的子类，可继承父类的所有成员
    Foo<X<3>> b;    
}

注意：这种方案中Foo<3>和Foo<X<3>>是不同的类型（子类与父类），若代码中有严格的类型匹配需求（如std::is_same_v<decltype(a), decltype(b)>），则模板别名方案更合适。

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