无法将模板实参TInt替换为模板模板参数的解决方法

错误原因 #

原代码中的is_specialization_of模板使用了template<class...> class Primary作为模板模板参数，它只能匹配接受类型参数的模板（比如template<typename T> struct Foo）。但你的TInt是接受非类型int参数的模板（template<int Min, int Max> struct TInt），两者的模板参数类型不兼容，因此编译器无法将TInt代入Primary，导致报错。

解决方案 #

由于你只需要适配两个int非类型参数的场景，有两种简洁的实现方式：

方式一：专门针对TInt的特化检查 #

直接为TInt写专属的类型检查模板，逻辑简单直接：

#include <type_traits>

// 你的TInt模板保持不变
template<int Min, int Max>
struct TInt
{
    int Get() const { return StoredVal; }
    TInt& operator=(int Val) { StoredVal = FMath::Clamp(Val, Min, Max); return *this; }
    bool WithinRange(int Val) const { return Min <= Val && Val <= Max; }

private:
    int StoredVal = Min;
};

// 基础模板：默认不是TInt的特化
template<typename T>
struct is_TInt_specialization : std::false_type {};

// 特化：匹配所有TInt<Min, Max>实例
template<int Min, int Max>
struct is_TInt_specialization<TInt<Min, Max>> : std::true_type {};

// 变量模板，简化使用
template<typename T>
inline constexpr bool is_TInt_specialization_v = is_TInt_specialization<T>::value;

// 你的IsValidType可以改成这样
template<typename T>
struct IsValidType { static constexpr bool Value = is_TInt_specialization_v<T>; };

方式二：通用的双int非类型参数模板检查器 #

如果需要复用类似逻辑（比如以后有其他双int参数的模板），可以写一个通用版本：

#include <type_traits>

template<int Min, int Max>
struct TInt { /* 保持不变 */ };

// 基础模板：默认不匹配
template<typename T, template<int, int> class Primary>
struct is_specialization_of_two_int : std::false_type {};

// 特化：匹配所有Primary<Min, Max>实例
template<template<int, int> class Primary, int Min, int Max>
struct is_specialization_of_two_int<Primary<Min, Max>, Primary> : std::true_type {};

// 变量模板
template<typename T, template<int, int> class Primary>
inline constexpr bool is_specialization_of_two_int_v = is_specialization_of_two_int<T, Primary>::value;

// 使用方式
template<typename T>
struct IsValidType { static constexpr bool Value = is_specialization_of_two_int_v<T, TInt>; };

测试验证 #

添加静态断言验证正确性：

// 验证TInt特化
static_assert(IsValidType<TInt<0, 100>>::Value == true);
// 验证非TInt类型
static_assert(IsValidType<int>::Value == false);
static_assert(IsValidType<double>::Value == false);

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