具有原始类型的模板向量类型

Question

我想用原始类型（int、float、double）和向量类型（vector<int>、vector<float>、vector<double>）模板化一个函数。下面是我的代码。我想知道在构建不同的向量案例时是否有一种方法可以以更少的代码重复来模板parseKeyValue()。谢谢！

#include <iostream>
#include <typeinfo>
#include <vector>
#include <string>
#include <sstream>
#include <iterator>


using namespace std;


template<class T> T parseKeyValue(stringstream& ss){
    T value;
    while(ss >> value){};
    return value;
}

template<> vector<string> parseKeyValue(stringstream& ss){
    vector<string> value;
    string item;
    while(ss >> item) value.push_back(item);
    return value;
}

template<> vector<int> parseKeyValue(stringstream& ss){
    vector<int> value;
    int item;
    while(ss >> item) value.push_back(item);
    return value;
}


template<typename T>
ostream& operator<<(ostream& os, const vector<T>& v){
    std::copy(v.begin(), v.end(), std::ostream_iterator<T>(os, " "));
    return os;
}


int main(){

    stringstream ss("1-2-3 7-8-9");
    vector<string> t = parseKeyValue< vector<string> >(ss);
    cout << t << endl;

    stringstream ss2("123 789");
    vector<int> t2 = parseKeyValue< vector<int> >(ss2);
    cout << t2 << endl;

    stringstream ss3("123 789");
    int t3 = parseKeyValue< int >(ss3);
    cout << t3 << endl;

    return 0;
}

Answer 1

你可以将它包装在一个类模板中，它可以是部分特化的。

template<class T> 
struct Wrapper {
    static T parseKeyValue(stringstream& ss){
        T value;
        while(ss >> value){};
        return value;
    }
};

template<class T> 
struct Wrapper<std::vector<T>> {
    static vector<T> parseKeyValue(stringstream& ss){
        vector<T> value;
        T item;
        while(ss >> item) value.push_back(item);
        return value;
    }
};

template<class T> T parseKeyValue(stringstream& ss){
    return Wrapper<T>::parseKeyValue(ss);
}

LIVE

或者通过模板重载应用SFINAE。

template <typename T>
struct is_vector : std::false_type {};
template <typename T>
struct is_vector<std::vector<T>> : std::true_type {};

template<class T> 
std::enable_if_t<!is_vector<T>::value, T>
parseKeyValue(stringstream& ss) {
    T value;
    while(ss >> value){};
    return value;
}

template<class T> 
std::enable_if_t<is_vector<T>::value, T>
parseKeyValue(stringstream& ss) {
    T value;
    typename T::value_type item;
    while(ss >> item) value.push_back(item);
    return value;
}

LIVE

Answer 2

您定义函数的方式需要对函数进行部分特化——这在 C++ 中是不合法的。即使它是合法的，你也没有用于推断模板类型的参数，所以你总是必须明确指定模板参数：

std::vector<int> v = parseKeyValue<std::vector<int>>(...);
//                                ^        ^       ^

因为不可能从赋值中扣除变量。

如果将函数签名更改为填充函数参数，则可以使用重载进行操作：

template <typename T>
void parseKeyValue(T& t, std::istream& s);

template <typename T>
void parseKeyValue(std::vector<T>&, std::istream& s);

你甚至可以有一个通用容器的变体：

template <typename T, template <typename> class Container >
void parseKeyValue(Container<T>, std::istream& s);

请注意，我将参数从 std::stringstream 更改为 std::istream，这样限制较少，因此您可以将函数与 e 一起使用。 G。 std::cin也是。

这样，您不依赖于部分特化，还可以从模板参数推导中获益：

int n;
parseKeyValue(n, std::cin); // selects non-container overload
std::vector<int> v;
parseKeyValue(v, std::cin); // selects vector overload, as more specialised
std::list<int> l;
parseKeyValue(l, std::cin); // selects generic container overload

旁注：

while(ss >> value){};

在您的原始非矢量版本中，将读取任何可用值并丢弃所有值，但最后。这是故意的吗？