正在从类模板中排除类型

Excluding type from class template

本文关键字：排除 类型      更新时间：2023-10-16

我目前遇到了stack扰乱我的一个模板类的问题
问题是像pusk_back、begin或end这样的方法不能用于该类型
所以我的目标是防止contain被stack<T>实例化，或者添加一个条件来阻止stack实例访问代码的这些部分
以下是class的外观：

template<typename T, template <typename...> typename U>
class contain {
public:
contain() : _container()
{
}
~contain()
{
}
void push(T const&data)
{
this->_container.push_back(data);
}
void aff()
{
std::for_each(_container.begin(), _container.end(),
[](T &var) {::aff(var);});
}
void add()
{
std::for_each(_container.begin(), _container.end(),
[](T &var) {::add(var);});
}
private:
U<T> _container;
};

我试图专门化模板，但找不到语法，也无法在运行时检查变量的类型。

我必须承认，template对我来说仍然有点像黑魔法。我已经成功地在各种情况下使用了模板专业化(如果我没有更好的想法的话)，但从未使用过模板参数。所以，我试着。。。

当我尝试使用coliru(编译器g++ (GCC) 8.1.0)时，我从-std=c++11开始，很快就出现了一些可怕的错误。幸运的是，还有一个切换到-std=c++17的提示。我做到了，事情立刻变得好多了。我大致记得模板-模板参数在C++11中没有得到很好的支持。看了cppreference一眼就证明我是对的：

模板模板参数

模板<参数列表>类型名称(C++17)|类名(可选)(1)
template<参数列表>类型名称(C++17)|类名(可选)=默认值(2)
template<参数列表>类型名称(C++17)|类。。。名称(可选)(3)(从C++11开始)

1) 具有可选名称的模板模板参数
2)具有可选名称和默认名称的模板模板参数
3)具有可选名称的模板模板参数包

澄清了这一点后，我使用了部分OP样本代码，并为template添加了部分专用化，其中I

  • 留下了第一个参数
  • 用CCD_ 14专门化第二个参数

实际上，这与具有类型或值参数的模板的专业化方式没有太大区别。

cppreference有一篇关于部分模板专业化的文章，但使用该术语作为搜索关键字应该会有很多书籍和教程。(我记得我曾经从中学习C++模板的那本书，当然也提到了这一点。)

所以，这里是我的小样本来证明这一点：

#include <iostream>
#include <stack>
#include <vector>
template<typename T, template <typename...> typename U>
class ContainerT {
private:
U<T> _container;
public:
ContainerT(): _container() { }
~ContainerT() = default;
ContainerT(const ContainerT&) = default;
ContainerT& operator=(const ContainerT&) = default;
bool empty() const { return _container.empty(); }
void push(const T &data) { _container.push_back(data); }
T pop()
{
const T data = _container.back();
_container.pop_back();
return data;
}
};
template<typename T>
class ContainerT<T, std::stack> {
private:
std::stack<T> _container;
public:
ContainerT(): _container() { }
~ContainerT() = default;
ContainerT(const ContainerT&) = default;
ContainerT& operator=(const ContainerT&) = default;
bool empty() const { return _container.empty(); }
void push(const T &data) { _container.push(data); }
T pop()
{
const T data = _container.top();
_container.pop();
return data;
}
};
#define DEBUG(...) std::cout << #__VA_ARGS__ << ";n"; __VA_ARGS__ 
int main()
{
// for std::vector
DEBUG(ContainerT<int, std::vector> vec);
DEBUG(vec.push(1); vec.push(2); vec.push(3));
DEBUG(while (!vec.empty()) std::cout << vec.pop() << 'n');
// for std::stack
DEBUG(ContainerT<int, std::stack> stk);
DEBUG(stk.push(1); stk.push(2); stk.push(3));
DEBUG(while (!stk.empty()) std::cout << stk.pop() << 'n');
// done
return 0;
}

很明显，ContainerT是为ContainerT<int, std::vector>实例化的。否则，push()方法无法编译。

对于ContainerT<int, std::stack>，将使用专门化。(同样，否则，push()方法无法编译。)

输出：

ContainerT<int, std::vector> vec;
vec.push(1); vec.push(2); vec.push(3);
while (!vec.empty()) std::cout << vec.pop() << 'n';
3
2
1
ContainerT<int, std::stack> stk;
stk.push(1); stk.push(2); stk.push(3);
while (!stk.empty()) std::cout << stk.pop() << 'n';
3
2
1

coliru上的实时演示

相关文章：