迭代器的C ++模板构造函数

Question

我想创建不同类型的容器，并想用我的SortedContainer类对它们进行排序。 （我现在不想使用类似std :: sort（）的函数）。

std::deque<int> d; d.push_back(2); d.push_back(1);
SortedContainer<int> sc1(d.begin(), d.end());

在SortedContainer类中，我想创建一个复制构造函数，该构造函数处理容器的迭代器（d.begin（）和d.end（））。

但是，如果我创建另一种STL容器，我也想这样做。

std::vector<int> v; v.push_back(2); d.push_back(1);
SortedContainer<int> sc2(v.begin(), v.end());

在这种情况下，我使用的是std :: vector而不是std :: deque。 因此，基本上，它将是模板构造函数。

template <class T>
class SortedContainer
{
   //...
public:
 SortedContainer(template_iterator begin, template_iterator end)
 {
   //...
 }
};

我知道如果我将class template_iterator添加为模板参数，它将很好地工作。

SortedContainer<int, std::deque::const_iterator> sc1(d.begin(), d.end());

但是我不想在实例化SortedContainer类时告诉容器的类型。 我想在将container.begin（）和container.end（）传递给其构造函数时发现它。

我已经尝试过使用std :: function和其他方法，但是它们都不起作用。

Answer 1

可以将函数设为模板，而不是将模板添加到类中。

template <class T, class template_iterator>
class SortedContainer
{
   //...
public:
    SortedContainer(template_iterator begin, template_iterator end)
    {
        //...
    }
};

变

template <class T>
class SortedContainer
{
   //...
public:
    template <typename Iterator>
    SortedContainer(Iterator begin, Iterator end)
    {
        //...
    }
};

因此，现在该函数将排除任何类型，但您使用名称Iterator来自我证明该类型应为迭代器。 请注意，由于这是一个构造好的SOP，因此应将其与SFINAE一起使用，因此它不会过于宽泛。

Answer 2

您可以创建一个make_sorted_container函数来为您做推论：

template <typename TContainer>
auto make_sorted_container(TContainer&& c)
{
    using element_type = std::decay_t<decltype(*std::begin(c))>;
    using iterator_type = decltype(std::begin(c));

    return SortedContainer<element_type, iterator_type>(std::begin(c), std::end(c));
}

可以如下使用：

std::vector<int> v;
auto sv = make_sorted_container(v);

static_assert(std::is_same<
    decltype(sv), 
    SortedContainer<int, typename std::vector<int>::iterator>
>{});

魔盒示例

---

在C ++ 17中， 类模板推导将允许构造函数推导模板参数。 在这种情况下，您需要一个演绎指南 ：

template <class T, class TItr>
class SortedContainer
{
   //...
public:
    SortedContainer(TItr b, TItr e)            
    {
        //...
    }
};

// Deduction guide:
template <class TItr>
SortedContainer(TItr b, TItr e)
    -> SortedContainer<std::decay_t<decltype(*b)>, TItr>;

可以这样使用：

std::vector<int> v;
SortedContainer sv(v.begin(), v.end());

魔盒示例

Answer 3

我将假设已排序容器的内部已排序表示形式不取决于用于初始化它的容器的类型。 然后，您需要做的只是模板构造器：

template <typename Iter>
SortedContainer(Iter first, Iter last)
{
  //...
}