在模板方法中确定STL容器中项目的数据类型

Question

我正在尝试编写一个模板方法来处理STL容器中的项目。获取容器的详细信息很容易（我使用std :: enable_if子句允许该模板方法仅在容器迭代时才能调用（检测一个begin（）方法。））我需要进一步了解数据容器持有的类型。这是有效的方法：

template <typename CONTAINER>
std::string doStuff(const CONTAINER & container) {
   using CONTAINER_TYPE = typename CONTAINER::value_type;
}

如果在此方法中constexpr ，我可以使用来执行某些事情，如果我还可以确定容器中持有的内容的类型。这里的代码无法正常工作，但就像我要尝试的那样：

template <typename CONTAINER, typename ITEM>
std::string doStuff(const CONTAINER<ITEM> & container) {
   using CONTAINER_TYPE = typename CONTAINER::value_type;
   using ITEM_TYPE = typename ITEM::value_type;
}

完全有道理，为什么我不能以这种方式调用该方法，但是我该怎么办（在调用该方法或在方法中使用元编程）确定容器中项目的类型。我想这样做，以使其在编译时已知。

（我已经尝试了几个DECTTYPE和INDOKE_RESULT和大量搜索的排列，但尚无目的。

using ITEM_TYPE = std::invoke_result<&CONTAINER::begin>::type;

）似乎在这里正常工作。

Answer 1

您可以使用模板模板参数：

template <template <class, class...> class CONTAINER, class ITEM, class... REST>
std::string doStuff(const CONTAINER<ITEM, REST...>& container) {
   using CONTAINER_TYPE = ITEM; // or `typename CONTAINER<ITEM, REST...>::value_type`
   // This requires SFINAE to not match `ITEM`s without `value_type`:
   using ITEM_TYPE = typename ITEM::value_type;

   //...
}

Answer 2

您可以使用一些Sfinae添加额外的typename

template <typename CONTAINER>
std::string doStuff(const CONTAINER& container){
   using CONTAINER_TYPE = typename CONTAINER::value_type;
   using ITEM_TYPE = typename CONTAINER_TYPE::value_type;
}

（我将使用C ++ 20方法）

template <typename CONTAINER>
std::string doStuff(const CONTAINER& container)
requires(
    requires {
        typename CONTAINER::value_type::value_type;
    })
{
   using CONTAINER_TYPE = typename CONTAINER::value_type;
   using ITEM_TYPE = typename CONTAINER_TYPE::value_type;
}