带容器类型扣除的模板函数

Question

我编写了一个函数来迭代list、vector 或字符串上带有iterator 的任何内容，并且该函数在字符串上返回一对相同类型的容器......

我写了以下，但我没有编译，我尝试将容器类型捕获为 C，并将分配器捕获为 A。

重要的是，我只使用 C++98。

template<template<std::string, A> class C, class A>
static std::pair<T<std::string, A>, T<std::string, A> > Check(const T<std::string, A>::iterator &beg, const T<std::string, A>::iterator &end)
{
    //.... 
}

调用我使用的代码：

vector<string> toCheck; toCheck += "test1", "test2";
pair<vector<string>, vector<string> > found = Check(toCheck.begin(), check.end());

您知道如何编写该函数吗？

Answer 1

模板模板参数只能涉及​​模板参数，不能涉及模板参数。这应该有效：

template<template<class, class> class C, class A>
static std::pair<C<std::string, A>, C<std::string, A> > Check(const typename C<std::string, A>::iterator &beg, const typename C<std::string, A>::iterator &end)
{
    //.... 
}

正如@Jarod42 在 cmets 中指出的那样，上述签名不允许C 和A 的类型推断。无论如何它都不符合您的用例；为此，使用它，这将推导出C 和A 就好了：

template<template<class, class> class C, class A>
static std::pair<C<std::string, A>, C<std::string, A> > Check(const C<std::string, A> &container)
{
    //.... 
}