Question

在C ++标准库中allocators可以反弹。

std::allocator<int>::rebind<double>::other提供std::allocator<double>。

使用容器有一种简单的方法吗？

原因是我有一个函数将容器元素乘以标量。

template<class Container, typename S>
auto elementwise_multiply_by_scalar(Container const& c, S s){
    Container ret(c.size());
    for(auto& e : ret) e *= s;
    return ret;
}

但如果e * s与e的类型不同，我想这样做：

template<class Container, typename S>
auto elementwise_multiply_by_scalar(Container const& c, S s){
    Container::rebind<decltype(Container::value_type{}*s)> ret(c.size());
    auto it2 = ret.begin();
    for(auto it1 = c.begin(); it1 != c.end(); ++it1, ++it2) *it2 = s * *it1;
    return ret;
}

（我想我不清楚为什么我希望输出与输入的容器类相同，但我猜这是预期的结果。）

我可以使用模板模板参数（如template<template<typename> class V>中所述）但它似乎也存在问题。

我们需要某种container_traits<V>::rebind吗？（例如container_traits<std::vector<double, myallocator<double> >>::rebind<int>::other - ＆gt; std::vector<int, myallocator<double>::rebind<int>::other>）

Answer 1

这样的事可能有用：

struct A
{
};

struct B
{
};

struct C
{
};

C operator *(const A&, const B&)
{
    return C();
}

template <typename Container, typename ValueType>
struct ContainerConverter
{
};

template <typename SourceValueType, typename ValueType>
struct ContainerConverter<std::vector<SourceValueType>, ValueType>
{
    typedef typename std::vector<ValueType> result_type;
};

template <typename Container, typename S>
auto mult(const Container& c, const S& s)
{
    typedef typename Container::value_type source_element;
    typedef decltype(c.front()*s) result_element;
    typename ContainerConverter<Container, result_element>::result_type result;
    std::transform(c.begin(), c.end(), std::back_inserter(result), [&](const source_element& e){ return e * s; } );
    return result;
}

int main()
{
    std::vector<A> a;
    std::vector<C> c = mult(a, B());
}

您需要为要支持的每种容器类型专门化ContainerConverter。

如果您的容器并非全部支持std::back_inserter，请参阅std::transform to arbitrary container。

容器有重新绑定吗？

1 个答案: