Question

考虑模板功能：

template <typename OutputContainerType, typename ContainerType>
static OutputContainerType processContainer(ContainerType c)
{
    OutputContainerType result;
    ...
    return result;
}

我可以称之为没问题：

std::vector<MyClass> v;
const auto result = processContainer<std::set<MyClass>>(v);

但是，我知道该函数将接受并生成不同的容器，但总是使用相同的元素类型。因此，必须指定std::set<MyClass>>是多余的;我想键入processContainer<std::set>(v)并让函数将项类型推断为decltype(v)::value_type。我怎样才能做到这一点？我尝试了不同的东西，比如

template <template<> class OutputContainerType, class ContainerType>
static OutputContainerType<typename ContainerType::value_type> processContainer(ContainerType c) {}

但无论如何都无法编译（我对C ++模板语法和技巧的理解不是很深，正如你所看到的那样）。

Answer 1

如果你不关心分配器，你可以省略它：

template <template<typename...> class OutputContainerType, template<typename...> class ContainerType, typename ValueType>
static OutputContainerType<ValueType> processContainer(ContainerType<ValueType> c)
{
    OutputContainerType<ValueType> result;
    //  ...
    return result;
}

int main() {
    std::set<int> s {1, 2, 3};
    auto v = processContainer<std::vector, std::set, int>(s);
}

DEMO

Answer 2

您可以使用

template<template<typename...> class OutputContainerType,
         typename InputContainerType>
static OutputContainerType<typename InputContainerType::value_type>
processContainer(InputContainerType c)
{
    using ValueType = typename InputContainerType::value_type;
    OutputContainerType<ValueType> result;
    //  ...
    return result;
}

您也可以考虑使用const InputContainerType& c作为参数，以避免复制输入容器。

如何指定模板参数是一个类模板，并从另一个模板参数推断其模板类型？

2 个答案: