6

我有以下问题：

template<class T>
void set(std::string path, const T data)
{
   stringstream ss;
   ss << data << std::endl;
   write(path, ss.str();
}

template<class T>
void set(std::string path, const T data)
{
    std::stringstream ss;
    for(typename T::const_iterator it = data.begin(); it < data.end(); ++it)
    {
       ss << *it;
       if(it < data.end() -1 )
          ss << ", ";
    }
    ss << std::endl;
    write(path, ss.str());
}

我收到以下错误：

error: ‘template<class T> void myclass::set(std::string, T)’ cannot be overloaded
error: with ‘template<class T> void myclass::set(std::string, T)’

有没有办法区分容器类型和模板中的其他类型？

4

4 回答 4

8

使用一个特征：

#include <type_traits>

template <typename T>
typename std::enable_if<is_container<T>::value>::type
set (std::string const & path, T const & container)
{
    // for (auto const & x : container) // ...
}


template <typename T>
typename std::enable_if<!is_container<T>::value>::type
set (std::string const & path, T const & data)
{
    std::ostringstream oss;
    oss << data;
    write(path, oss.str());
}

您可以在漂亮的打印机代码中找到合适的特征。

于 2012-07-19T09:42:57.787 回答
6

在 C++03 中，您可以使用一点 SFINAE 来为不同类型选择性地启用不同版本的函数：

#include <boost/type_traits.hpp>
#include <sstream>
#include <iostream>
#include <vector>

using namespace std;

template<class T>
void set(typename boost::enable_if<boost::is_pod<T>, std::string>::type path, const T data)
{
   std::cout << "POD" << std::endl;
   stringstream ss;
   ss << data << std::endl;
}

template<class T>
void set(typename boost::disable_if<boost::is_pod<T>, std::string>::type path, const T data)
{
    std::cout << "Non-POD" << std::endl;
    std::stringstream ss;
    for(typename T::const_iterator it = data.begin(); it < data.end(); ++it)
    {
       ss << *it;
       if(it < data.end() -1 )
          ss << ", ";
    }
    ss << std::endl;
}

int main() {
  int i;
  float f;
  std::vector<int> v;
  set("", v);
  set("", i);
  set("", f);
}

为了方便起见，我在这里使用了 boost，但如果不能选择 boost 或使用 C++11，你可以自己动手。

is_pod并不是你真正想要的，你可能想要一个is_container特征，但这并不是那么微不足道，你需要制作自己的特征，并对is_pod如何使用特征选择性地启用功能作为简单答案做出很好的近似。

于 2012-07-19T09:41:02.337 回答
1

您可以在此处尝试替换失败不是错误 (SFINAE) 技术。

首先，您需要一个函数来确定一个类型是否具有迭代器成员......

template <typename T>
struct Has_Iterator
{
    template <typename>
    static char test(...);

    template <typename U>
    static int test(typename U::const_iterator*);

    static const bool result = sizeof test<T>(0) != sizeof(char);
};

在上面的代码中，C++ 标准需要test(typename U::const_iterator*)优先使用模糊的“...”参数匹配，只要U 它实际上是一个具有const_iterator成员类型的结构/类。否则，您将遇到“替换失败” - 这不是停止编译的致命错误（因此是 SFINAE），并且找到匹配函数的尝试满足test(...). 由于两个函数的返回类型不同，sizeof操作员可以测试哪个已匹配，result适当地设置布尔值。

然后，您可以将打印内容的请求转发到支持它们的模板专业化......

template <typename T>
void print(const T& data)
{
    printer<Has_Iterator<T>::result, T>()(data);
}

// general case handles types having iterators...
template <bool Has_It, typename T>
struct printer
{
    void operator()(const T& data)
    {
        for (typename T::const_iterator i = data.begin(); i != data.end(); ++i)
            std::cout << *i << ' ';
        std::cout << '\n';
    }
};

// specialisation for types lacking iterators...
template <typename T>
struct printer<false, T>
{
    void operator()(const T& data)
    {
        std::cout << data << '\n';
    }
};
于 2012-07-19T10:27:10.263 回答
0

正如我的前辈所写，您必须使用某种特征。您可能应该为此使用 Boost，但如果您不想这样做，您可以使用类似这样的东西（http://ideone.com/7mAiB）：

template <typename T>
struct has_const_iterator {
    typedef char yes[1];
    typedef char no[2];

    template <typename C> static yes& test(typename C::const_iterator*);
    template <typename> static no& test(...);

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

template <bool> class bool2class {};

template <class T>
void set_inner(const std::string &path, T & var, bool2class<false> *) {
        // T is probably not STL container
}

template <class T>
void set_inner(const std::string &path, T & var, bool2class<true> *) {
        // T is STL container
}

template <class T>
void set(const std::string &path, T &var) {
        set_inner(path, var, (bool2class<has_const_iterator<T>::value>*)0);
}

区分容器和简单数组并不是一件容易的事，所以我在这里使用了检查类型是否有const_iterator。可能您还应该检查它是否具有begin()，end()以及您将在以后的代码中使用的其他内容。

于 2012-07-19T10:07:09.970 回答