template <typename T, template <typename> typename Container>和 template <typename T, template <typename T1> typename Container>分析两个模版的不同,并举例
时间: 2024-10-10 18:16:55 浏览: 46
cpp代码-模板 泛型 template<typename> template<class>
这两个模板的区别在于模板参数的类型约束:
1. `template <typename T, template <typename> typename Container>` 这里,`Container` 是一个模板模板参数,它接受任意类型的模板参数。这意味着你可以传递任何模板作为 `Container`,例如 `std::vector`, `std::list`, 或者自定义模板等。例如:
```cpp
template<typename T>
struct MyClass {
template<typename U, template<typename> typename C>
void useContainer(C<U>& container) {
// 使用container保存T类型的元素...
}
};
MyClass<int>::useContainer<std::vector>(vec); // vec是一个std::vector<int>
```
2. `template <typename T, template <typename T1> typename Container>` 这里的 `Container` 是一个模板参数,但是它期望接收另一个特定类型的模板作为参数,比如 `T1`。这意味着当你实例化这个模板时,`Container` 只能使用与 `T` 相同类型的模板。例如:
```cpp
template<typename T>
struct MyClass {
template<typename U = T, template<typename> typename C>
void useContainer(C<U>& container) {
// 使用container保存T类型的元素...
}
};
MyClass<int>::useContainer<std::vector>; // 不合法,因为期望U是int,但这里传递的是std::vector本身
```
总结来说,第一个模板更通用,可以用于多种不同类型的容器;而第二个模板则限制了 `Container` 的类型必须依赖于 `T`。在实际应用中,通常会根据需要选择合适的形式。
阅读全文