麻烦将模板函数作为参数传递给C ++中的另一个函数

Question

问题的根源 - 加速C ++，问题8-5

我写了一个小程序来检查字符串输入的行，并计算一个单词出现在给定行上的次数。 以下代码完成此操作：

#include <map>
#include <iostream>
#include <string>
#include <vector>
#include <list>
#include <cctype>
#include <iterator>

using std::vector;         using std::string;
using std::cin;            using std::cout;
using std::endl;           using std::getline;
using std::istream;        using std::string;
using std::list;           using std::map;
using std::isspace;        using std::ostream_iterator;
using std::allocator;

inline void keep_window_open()
{
    cin.clear();
    cout << "Please enter EOF to exit\n";
    char ch;
    cin >> ch;
    return;
}

template <class Out>
void split(const string& s, Out os)
{
    vector<string> ret;
    typedef string::size_type string_size;
    string_size i = 0;

    // invariant: we have processed characters `['original value of `i', `i)'
    while (i != s.size()) {
        // ignore leading blanks
        // invariant: characters in range `['original `i', current `i)' are all spaces
        while (i != s.size() && isspace(s[i]))
            ++i;

        // find end of next word
        string_size j = i;
        // invariant: none of the characters in range `['original `j', current `j)' is a space
        while (j != s.size() && !isspace(s[j]))
            ++j;

        // if we found some nonwhitespace characters
        if (i != j) {
            // copy from `s' starting at `i' and taking `j' `\-' `i' chars
            *os++ = (s.substr(i, j - i));
            i = j;
        }
    }
}


// find all the lines that refer to each word in the input
map<string, vector<int> > xref(istream& in)     // works
// now try to pass the template function as an argument to function - what do i put for templated type?
//map<string, vector<int> > xref(istream& in, void find_words(vector<string, typedef Out) = split)      #LINE 1#
{
    string line;
    int line_number = 0;
    map<string, vector<int> > ret;

    // read the next line
    while (getline(in, line)) {
        ++line_number;

        // break the input line into words
        vector<string> words;   // works            // #LINE 2#
        split(line, back_inserter(words));          // #LINE 3#
        //find_words(line, back_inserter(words));   // #LINE 4# attempting to use find_words as an argument to function

        // remember that each word occurs on the current line
        for (vector<string>::const_iterator it = words.begin();
             it != words.end(); ++it)
            ret[*it].push_back(line_number);
    }
    return ret;
}

int main()
{
    cout << endl << "Enter lines of text, followed by EOF (^Z):" << endl;

    // call `xref' using `split' by default
    map<string, vector<int> > ret = xref(cin);

    // write the results
    for (map<string, vector<int> >::const_iterator it = ret.begin();
         it != ret.end(); ++it) {
        // write the word
        cout << it->first << " occurs on line(s): ";

        // followed by one or more line numbers
        vector<int>::const_iterator line_it = it->second.begin();
        cout << *line_it;   // write the first line number

        ++line_it;
        // write the rest of the line numbers, if any
        while (line_it != it->second.end()) {
            cout << ", " << *line_it;
            ++line_it;
        }
        // write a new line to separate each word from the next
        cout << endl;
    }
    keep_window_open();
    return 0;
}

如您所见， split函数是一个模板函数，可根据需要处理各种类型的输出迭代器。

当我尝试通过将模板化的split函数作为参数传递来推广xref函数时，我的问题出现了。 我似乎无法得到正确的类型。

所以我的问题是，您是否可以将模板函数作为参数传递给另一个函数，如果是这样，您是否必须在传递之前声明所有类型？ 或者编译器可以从模板化函数在体内使用的方式推断出类型？

为了演示我得到的错误，请注释掉现有的外部参照函数标题，并取消注释我正在尝试使用的备用标题（正好在下面的通信行下面。）同时注释标记为LINE 2和LINE 3的行并取消注释LINE 4 ，它试图使用参数find_words （默认为拆分 。）

感谢您的任何反馈！

Answer 1

这个问题的答案是：不。

您需要将'typedef Out'更改为back_inserter返回的类型，并且您需要将相同的类型提供给“= split <type_here>”。

back_inserter返回的类型由标准指定，因此您应该能够在C ++库引用中找到它。

您也可以尝试将外部参照功能转换为一个模板，该模板将函数模板作为参数（及其类型）。 我从来没有尝试过类似的东西，但不管功能如何，所以我不知道会带来多少成功。 它可能是你想要的，也可能不是。

如果您使用的是c ++ 0x，那么您可以选择更多可能更符合您需求的选项。

Answer 2

以下是一种解决方法。 您可以使用具有静态函数的类

struct split
{
  template <class Out>
  static apply(const string& s, Out os) { 
    // include the body of your split function or call to an existing function
  }

};

现在，使xref成为通用的

template <typename FIND_WORDS>
map<string, vector<int> > xref(istream& in, FIND_WORDS find_words = split()) 
{

  // replace #2 and #3 by
  find_words.apply(line, back_inserter(words));

};