0

我想operator>>()为任何“基本”类型和任何容器类型提供重载。这是我到目前为止所拥有的：

typedef uintmax_t my_t;
template <typename T>
std::istringstream &operator>>(std::istringstream &iss, T &v)
{
    static my_t um = 6009;
    v = um++;
    return iss;
}

template <template <class> class C, typename T>
std::istringstream &operator>>(std::istringstream &iss, C<T> &c)
{
    for (typename C<T>::iterator it = c.begin(); it != c.end(); ++it)
        iss >> *it;
    return iss;
}

int main()
{
    std::vector<uint32_t> vi(3);
    std::istringstream iss;
    iss >> vi;
    for (std::vector<uint32_t>::iterator it = vi.begin(); it != vi.end(); ++it)
        std::cout << *it << std::endl;
}

这可以按预期使用 GCC 编译和运行，但甚至无法在 VS2015 上编译。后者>>将语句中的运算符iss >> vi;与第一个基类型重载相匹配，这会触发其他编译错误。如何operator>>()为非容器类型编写模板和容器类型模板（无需专门针对每种容器类型），用 GCC 和 VS2015 编译？

4

1 回答 1

5

operator>>您编写的重载是针对C具有单个模板参数 ( ) 的模板模板类 ( T)。但是，std::vector声明为：

template<
    class T,
    class Allocator = std::allocator<T>
> class vector;

第二个模板参数可能是默认的，但它仍然存在。因此，std::vector<uint32_t>无法匹配C<T>- 所以唯一可行的重载是您编写的通用函数模板，它不会编译，因为您不能将 a 分配std::uintmax_t给 a vector。

为了让您的函数接受vector，您需要匹配模板模板声明 - 这意味着，采用第二个类型参数：

template <template <class, class> class C, typename T1, typename T2>
std::istringstream &operator>>(std::istringstream &iss, C<T1,T2> &c)
{
    for (typename C<T1,T2>::iterator it = c.begin(); it != c.end(); ++it)
        iss >> *it;
    return iss;
}

这是一个非常不令人满意的解决方案。真的，我们想匹配任何容器，我们可以使用 SFINAE 来做到这一点。由于这是 C++03，最简单的方法是编写一个类型特征来判断某个类型是否具有名为 的 typedef iterator：

template <typename T>
struct is_container {
    typedef char yes;

    struct no {
        char _[2];
    };

    template <typename U>
    static yes test( typename U::iterator* );

    template <typename U>
    static no test(...);

    static const bool value = (sizeof(test<T>(0)) == sizeof(yes));
};

并添加我们的方便enable_if：

template <bool, typename >
struct enable_if { };

template <typename T>
struct enable_if<true, T> { 
    typedef T type;
};

并将其粘贴在返回类型上：

template <typename C>
typename enable_if<
    is_container<C>::value,
    std::istringstream&
>::type
operator>>(std::istringstream &iss, C& c)
{
    for (typename C::iterator it = c.begin(); it != c.end(); ++it)
        iss >> *it;
    return iss;
}

您必须对!is_container<T>::value另一个重载执行相反的 ( ) 以使它们不模棱两可。

于 2015-06-21T02:30:10.570 回答