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.有点困扰于此，因为如果我从template参数中删除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;
};

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

1 个答案: