Question

使用算法查看STL字符串的STL容器（或其他字符串，使其成为通用字符串）

基本上它循环通过像std :: list这样的东西，并返回最长的开头的长度。它用于处理文件列表，如下所示：

C:\Windows\System32\Stuff.exe
C:\Windows\Things\InHere.txt
C:\Windows\Foo\Bar.txt

这应该返回11，因为“C:\Windows\”是共同的。

之前从未编写过模板化函数，我的编译器在抱怨。这是我的代码：
部首：

// longestBegin.h -- Longest beginning subsequence solver
template <typename SequenceSequenceT, typename SequenceT, typename T >
size_t longestBegin(InputIterator firstCandidates, InputIterator lastCandidates);

实现：

// longestBegin.cpp -- Longest beginning subsequence solver
#include <stdafx.h>

template <typename SequenceSequenceT, typename SequenceT, typename T >
size_t longestBegin(InputIterator firstCandidates, InputIterator lastCandidates)
{
    SequenceT firstString = *firstCandidates;
    size_t longestValue = firstString.length();
    firstCandidates++;
    for(size_t idx = 0; idx < longestValue; idx++)
    {
        T curChar = firstString[idx];
        for(InputIterator curCandidate = firstCandidates;curCandidate != lastCandidates; curCandidate++)
        {
            if ((*curCandidate)[idx] != curChar)
                return idx - 1;
        }
    }
    return longestValue;
}

我有一种有趣的感觉，我在这里缺少一些基本的东西......

编译器发生以下错误：

error C2998: 'size_t longestBegin' : cannot be a template definition

有什么想法吗？谢谢！

Billy3

Answer 1

template行中的参数名称需要包含任何类型的函数参数或返回类型。这意味着您需要在模板参数列表中提及InputIterator。尝试将函数声明更改为：


template <typename InputIterator>
size_t longestBegin(InputIterator firstCandidates, InputIterator lastCandidates)

您的下一个问题是：编译器如何知道SequenceT是什么？答案是，这是取消引用InputIterator的结果。非指针的迭代器有一个名为typedef的嵌套reference，这正是您需要的。将其添加到函数的开头，以便编译器知道SequenceT是什么：


template <typename InputIterator>
size_t longestBegin(InputIterator firstCandidates, InputIterator lastCandidates)
{
    typedef typename InputIterator::reference SequenceT;
[etc.]

你可以保留SequenceT作为模板参数，但是编译器无法猜测查看参数是什么，你必须通过输入例如来调用你的函数。 longestBegin<string>(arguments)，这里没有必要。

另外，如果InputIterator是一个指针，你会发现这不起作用 - 指针没有嵌套的typedef。因此，您可以使用std::iterator_traits标准标题中名为<iterator>的特殊结构，可以为您解决这些问题：


//(At the top of your file)
#include <iterator>

template <typename InputIterator>
size_t longestBegin(InputIterator firstCandidates, InputIterator lastCandidates)
{
    typedef typename std::iterator_traits<InputIterator>::reference SequenceT;
[etc.]

最后，除非第一个字符串总是最长，否则最终可能会在第二个for循环中访问其数组末尾之外的字符串。您可以在访问之前检查字符串的长度：


//(At the top of your file)
#include <iterator>

template <typename InputIterator>
size_t longestBegin(InputIterator firstCandidates, InputIterator lastCandidates)
{
    typedef typename std::iterator_traits<InputIterator>::reference SequenceT;
    SequenceT firstString = *firstCandidates;
    size_t longestValue = firstString.length();
    firstCandidates++;
    for(size_t idx = 0; idx < longestValue; idx++)
    {
        T curChar = firstString[idx];
        for(InputIterator curCandidate = firstCandidates;curCandidate != lastCandidates; curCandidate++)
        {
                if (curCandidate->size() >= idx || (*curCandidate)[idx] != curChar)
                        return idx - 1;
        }
    }
    return longestValue;
}

另请注意，如果没有公共前缀，函数将返回(size_t)(-1)。

Answer 2

我相信你不能转发声明模板。尝试将实现移动到头文件中。

Answer 3

看起来您首先需要将实现放入头文件，因为它是一个模板函数，并且只在编译时“实现”。

Answer 4

InputIterator不是我认为的类型。你能宣布

吗？

InputIterator x;

在您的代码中

或者您收到错误？

模板和语法

4 个答案: