模板类型的约束

Constraints on template types

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

假设，我想在C++中实现一个通用的高阶Map函数。 Map应该采用一个容器和一个转换函数，并返回一个相同类型的容器，但可能具有不同类型的项。

让我们以vector为例：

template <typename InT, typename OutT, typename Tr>
vector<OutT> Map(vector<InT> cont, Tr tr)
{
    OutCont out(cont.size());
    auto oit = out.begin();
    for (auto it = cont.cbegin(); it != cont.cend(); ++it, ++ot)
    {
        *oit = tr(*it);
    }
}

我想像这样使用：

vector<int> v(10);
std::iota(v.begin(), v.end(), 0);
auto x = Map(v, [](int x) -> int {return x * 2;});

这在VC++ 2012中失败，给我以下错误：

error C2783: 'std::vector<OutT> Map(std::vector<_Ty>,Tr)' : could not deduce template argument for 'OutT'

在我看来，编译器拥有所有必要的信息，因为我在 lambda 中显式定义了返回类型。有没有办法解决这个问题？

上面的示例使用 vector 。有没有办法使用泛型类型，以便输入和输出类型相同？例如，如果我有一个定义为 vector<string> 的输入容器和转换函数tr(string a) -> int，那么我的目标是让编译器找出要vector<int>的输出类型。这是我想要实现的伪代码：

template <typename Cont<InT>, typename Cont<OutT>, typename Tr<InT, OutT>>
Cont<OutT> Map(Cont<InT> cont, Tr<InT, OutT> tr)
{
    // Implementation
}
你可以

写这样的东西：

template <typename InT, typename Tr>
auto Map(std::vector<InT> cont, Tr tr) -> std::vector<decltype(tr(cont[0]))>
{
    std::vector<decltype(tr(cont[0]))> out(cont.size());
    auto oit = out.begin();
    for (auto it = cont.cbegin(); it != cont.cend(); ++it, ++oit)
    {
        *oit = tr(*it);
    }
    return out;
}

推断出类型。

[编辑]对于具有更多容器的更通用函数：

template <template<typename, typename...> class Container, typename InT, typename Tr, typename... Args>
auto Map(const Container<InT, Args...>& cont, Tr tr) -> Container<decltype(tr(cont[0])), Args...>
{
    Container<decltype(tr(cont[0])), Args...> out(cont.size());
    auto oit = out.begin();
    for (auto it = cont.cbegin(); it != cont.cend(); ++it, ++oit)
    {
        *oit = tr(*it);
    }
    return out;
}

请注意所需的typename...，因为std::vector也可以采用分配器

相关文章：