如何基于条件限制CMyClass的自定义模板类型VarTypes？

给你整理几种常用的C++模板参数限制方案，按需选择即可：

1. 静态断言（static_assert） #

直接在类内部用static_assert配合标准库的类型特性，强制检查模板参数是否符合条件，不符合就触发编译报错，信息直观。

示例代码：

#include <type_traits>

template<typename VarTypes>
class CMyClass
{
    // 限制VarTypes必须是整数类型，不符合就输出指定错误信息
    static_assert(std::is_integral_v<VarTypes>, "VarTypes必须是整数类型");
    // 类的其他逻辑
};

除了std::is_integral_v，还能用std::is_floating_point_v（浮点类型）、std::is_class_v（类类型）等标准特性，也可以自己写自定义类型判断逻辑来实现复杂约束。

2. SFINAE（替换失败不是错误） #

利用C++的SFINAE规则，通过std::enable_if来控制模板的可用性，适合需要灵活适配不同类型或者仅开放部分功能给特定类型的场景。

示例代码：

#include <type_traits>

// 方式一：在模板参数列表中直接限制
template<typename VarTypes, typename = std::enable_if_t<std::is_integral_v<VarTypes>>>
class CMyClass
{
    // 类的其他逻辑
};

// 方式二：针对特定成员函数做限制
template<typename VarTypes>
class CMyClass
{
public:
    // 仅当VarTypes是整数类型时，这个函数才会被实例化
    template<typename T = VarTypes>
    std::enable_if_t<std::is_integral_v<T>, void> do_something()
    {
        // 函数逻辑
    }
};

3. C++20 概念（Concepts） #

C++20新增的概念是最直观的限制方式，直接在模板参数前声明约束，代码可读性拉满，也是目前推荐的现代化写法。

示例代码：

#include <concepts>

// 用内置概念限制为整数类型
template<std::integral VarTypes>
class CMyClass
{
    // 类的其他逻辑
};

// 自定义复杂约束
template<typename T>
concept MyValidType = std::is_integral_v<T> && sizeof(T) >= 4;

// 使用自定义概念限制
template<MyValidType VarTypes>
class CMyClass
{
    // 类的其他逻辑
};

4. 特化与标签分发 #

通过模板特化，给符合条件和不符合条件的参数分别提供实现，不符合的可以直接触发断言报错，适合需要对不同类型做差异化逻辑的场景。

示例代码：

#include <type_traits>

// 先声明基础模板
template<typename VarTypes, bool = std::is_integral_v<VarTypes>>
class CMyClassImpl;

// 符合条件的特化版本（整数类型）
template<typename VarTypes>
class CMyClassImpl<VarTypes, true>
{
    // 类的正常逻辑
};

// 不符合条件的特化版本
template<typename VarTypes>
class CMyClassImpl<VarTypes, false>
{
    // 直接触发编译错误
    static_assert(false, "VarTypes不符合约束条件");
};

// 对外暴露的别名，简化使用
template<typename VarTypes>
using CMyClass = CMyClassImpl<VarTypes>;

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