模板签名问题

Question

我是使用模板的新手，需要使用模板来做某事，但不知道如何调用模板化函数。这可能很简单，但我看不到。

template<class It, class T>


// iterator and value_type of *It
void Calc(It begin, It end, std::pair<int, int> &out)
{
        std::vector<It>::iterator iter;
    std::map<int, int> StartMap;
    std::map<int, int>::reverse_iterator rit;

    int sum, start, stop, count;
    start = stop = 1;
    count = sum = 0;

    for(iter = begin; iter != end; iter++ )
    {
        sum += iter;
        count++;
        stop++;
        if(sum <= 0)
        {
            // store original start
            StartMap.insert(start, count);
            // set new start position
            start = stop;
        }   
    }

    // set iterator to highest value
    rit = StartMap.rbegin();

    start = rit->first;
    stop = start + rit->second;

    out.insert(start, stop);
}

但不知道如何用 2 个 std::vector 迭代器调用它。 我试过这个

void doSomething(std::vector<int>& stopsVec)
{
    std::pair<int, int> out;
    Calc<std::vector<int>::iterator, std::pair<int, int>>(stopsVec.begin(), stopsVec.end(), &out);
}

Answer 1

void doSomething(std::vector<int>& stopsVec)
{
    std::pair<int, int> out;
    Calc<std::vector<int>::iterator, std::pair<int, int> >
        (stopsVec.begin(), stopsVec.end(), out);   // not &out
}

Calc 获取对 std::pair 的引用，因此您只需将其out 给出即可。传递 &out 尝试将指针传递给一对 - 这是行不通的。

编辑

假设签名实际上是：

template<class It>
void Calc(It begin, It end, std::pair<int, int> &out)

您可以使用以下方式调用它：

Calc(stopsVec.begin(), stopsVec.end(), out);

编译器可以从参数中推导出正确的模板类型，而不需要您在 <> 之间指定它们

编辑

基思在下面提出了一个很好的观点。这是您在这里会遇到的另一个编译错误。还要注意的是：

sum += iter;

没有做你想做的事。你可能的意思是：

sum += *iter;

但是由于 sum 是一个 int，而 iter 是一个模板类型，所以这并不是真正的通用模板方法。它实际上只适用于数字类型的迭代器。

而且，还有一个问题：

Calc<std::vector<int>::iterator, std::pair<int, int> >  // use a space
    (stopsVec.begin(), stopsVec.end(), out);

您需要在

Calc<std::vector<int>::iterator, std::pair<int, int>>  // ">>" is shift operator
    (stopsVec.begin(), stopsVec.end(), out);

结束 > 符号之间留一个空格才能使用模板语法。否则，您正在执行位移（或流提取），编译器会感到困惑，因为从那时起一切都没有意义。

Answer 2

注意：

template<class It, class T>
void Calc(It begin, It end, std::pair<int, int> &out)
{
    std::vector<It>::iterator iter;
    for(iter = begin; iter != end; iter++ )

是错误的。它可能应该是：

template<class It, class T>
    void Calc(It begin, It end, std::pair<int, int> &out)
    {
        It iter;
        // etc.
        for(iter = begin; iter != end; iter++ )

但还要注意，在 C++ 中，通常首选遵循“声明即初始化”方法，因此这变为：

  template<class It, class T>
        void Calc(It begin, It end, std::pair<int, int> &out)
        {
             // etc.
            for(It iter = begin; iter != end; iter++ )

Answer 3

您不需要将正在迭代的类型作为模板参数显式传递。 STL 设计者非常明智，他们意识到这种情况经常出现，并且有一种（不是很漂亮但完全正确）方法来内省迭代器的类型以获得其底层类型，如下所示：

typedef typename std::iterator_traits<It>::value_type value_type;

一旦完成此操作，您就可以可以使用名称 value_type 来引用正在迭代的类型。这使您可以将模板函数重写为

template <typename It>
void Calc(It begin, It end, std::pair<int, int>& out) {
     typedef typename std::iterator_traits<It>::value_type value_type;
     /* ... Rest of the code, now using this type ... */
}

并完成交易，既然不需要任何辅助类型，您可以直接调用该函数 希望

std::vector<int> v = /* ... */
std::pair<int, int> result;
Calc(v.begin(), v.end(), result);

这更容易阅读和编写！