如何在C++中防止模板类型扩展？

在C++中，可以使用模板特化和模板限定来防止模板类型的扩展。

模板特化是指为特定的类型提供自定义的模板实现。通过为特定类型提供特化版本的模板，可以限制模板的适用范围，从而防止类型的扩展。例如，假设有一个模板类MyTemplate，可以通过以下方式特化该模板来限制类型的扩展：

template<typename T>
class MyTemplate {
    // 通用实现
};

template<>
class MyTemplate<int> {
    // int类型的特化实现
};

template<>
class MyTemplate<double> {
    // double类型的特化实现
};

在上述示例中，MyTemplate被特化为int和double类型的版本，其他类型将使用通用实现。通过这种方式，可以限制模板类型的扩展。

另一种方法是使用模板限定（SFINAE，Substitution Failure Is Not An Error）。模板限定利用模板参数推断的规则，通过在函数模板的参数列表中添加额外的模板参数，使得在某些条件下，该函数模板无法匹配，从而防止模板类型的扩展。例如：

template<typename T, typename = std::enable_if_t<std::is_same_v<T, int>>>
void foo(T t) {
    // int类型的实现
}

template<typename T, typename = std::enable_if_t<!std::is_same_v<T, int>>>
void foo(T t) {
    // 非int类型的实现
}

在上述示例中，foo函数模板通过添加额外的模板参数，并利用std::enable_if和std::is_same来限制模板类型的扩展。当传入的类型为int时，将调用第一个模板参数匹配的函数实现，否则将调用第二个模板参数匹配的函数实现。

总结起来，在C++中防止模板类型扩展的方法包括模板特化和模板限定。通过特化模板或使用模板限定，可以限制模板的适用范围，从而防止类型的扩展。