3

本质上，我很好奇您是否可以使用 C++11 模板来制作它，以便模板化函数可以检测迭代器的间接级别并根据此不同地编译函数。例如，下面是一些无法编译的代码：

#include <vector>
#include <list>
#include <type_traits>
#include <iostream>

struct MyStruct
{
  int value;
  MyStruct(int value = 42) : value(value) { }
  const int& getInt() const { return value; }
};

typedef std::list<MyStruct> StructList;
typedef std::vector<const MyStruct*> StructPtrVector;

template <typename ITER_TYPE>
const int& getIteratorInt(ITER_TYPE iter)
{
  if (std::is_pointer<decltype(*iter)>::value)
    return (*iter)->getInt(); // Won't compile -> MyStruct has no operator-> defined
  return iter->getInt(); // Won't compile -> MyStruct* has the wrong level of indirection
}

template <typename LIST_TYPE>
void PrintInts(const LIST_TYPE& intList)
{
  for (auto iter = intList.begin(); iter != intList.end(); ++iter)
    std::cout << getIteratorInt(iter) << std::endl;
}

int main(void)
{
  StructList structList;
  StructPtrVector structPtrs;
  int values[5] = { 1, 4, 6, 4, 1 };
  for (unsigned i = 0; i < 5; ++i)
  {
    structList.push_back(values[i]);
    structPtrs.push_back(&structList.back());
  }
  PrintInts(structList);
  PrintInts(structPtrs);

  return 0;
}

最明显的情况是当你有一个对象列表，然后是一个不同类型的对象指针列表。而且，您想要对两个列表做同样的事情，将它们都视为对象列表。

上面的代码不会编译，因为它正在做一个应该在编译时完成的逻辑检查。我不知道是否有办法用预处理器宏来做到这一点。我尝试了一个简单的#if std::is_pointer<decltype(*iter)>::value == true，但编译器似乎总是认为它是错误的。（我以前从未尝试过很多预处理器宏，但这显然不是正确的方法。）

知道它是否可能吗？

4

1 回答 1

7

当您想根据元函数（例如is_pointer, use ）在两种实现之间进行选择时std::enable_if，它根据 SFINAE 的原理工作。

template <typename ITER_TYPE>
auto getIteratorInt(ITER_TYPE iter) ->
typename std::enable_if< std::is_pointer< 
        typename std::iterator_traits< ITER_TYPE >::value_type >::value,
    const int& >::type
{
  return (*iter)->getInt();
}

template <typename ITER_TYPE>
auto getIteratorInt(ITER_TYPE iter) ->
typename std::enable_if< ! std::is_pointer< 
        typename std::iterator_traits< ITER_TYPE >::value_type >::value,
    const int& >::type
{
  return iter->getInt();
}

这样，模板实例化只能看到对给定模板参数有效的代码行。

我刚刚机械地将此修复应用于您的代码......我不提倡使用多重间接或建议固定实现是健壮的。

于 2012-04-10T07:56:36.727 回答