如果enable_if确定T是容器，则启用结构？

Question

我正在尝试构建一个模板化的结构，只接受T的容器。我发现this post显示了如何确定传入的值是否是容器。所以我决定继续尝试将它用于我的程序，因为我不希望用户创建整数，浮点数或双精度的结构。

这是我写的代码：

template<typename T> 
struct is_container : std::integral_constant<bool, has_const_iterator<T>::value && has_begin_end<T>::beg_value && has_begin_end<T>::end_value> { };

template<typename T, typename Enable = void>
struct Cont;

template <typename T>
struct Cont<T, typename std::enable_if<is_container<T>::value>>
{
  Cont(const std::string &n) : name(n) {}
  std::string name;
};

但是，当我尝试写入main时：

int main()
{
  Cont<std::vector<int>> myContainer("Vector");
}

我得到一个编译器错误：Cont<std::vector<int> > myContainer has initializer but incomplete type.我有点坚持在这里去，因为如果我从模板参数中删除std::enable_if，它编译就好了。这让我相信我对std::enable_if做错了，或者我错过了一些相当简单的事情。

我想要实现的目标如下：

int main()
{
  Cont<std::vector<int>> myContainer("Vector"); //happily compiles
  Cont<int> badContainer("Bad"); // will not compile
}

我怎样才能做到这一点？

Answer 1

这让我相信我对std::enable_if做错了，或者我错过了一些相当简单的事情。

究竟。

你忘记了::type

template <typename T>  // add this ---------------------------vvvvvv
struct Cont<T, typename std::enable_if<is_container<T>::value>::type>
{
  Cont(const std::string &n) : name(n) {}
  std::string name;
};

从C ++ 14开始，你也可以使用std::enable_if_t（所以你可以删除::type和前面的typename）

template <typename T>
struct Cont<T, std::enable_if_t<is_container<T>::value>>
{
  Cont(const std::string &n) : name(n) {}
  std::string name;
};