我需要检查容器删除函数是否返回迭代器。我通常会通过例如检查功能签名 boost 。但是在 boost 类(例如 flat_set)的情况下,删除是继承的,因此不会被检查发现。但我真的需要它。 SFINAE to check for inherited member functions只显示了一个我还不能使用的 C++11 解决方案。
我试过这样的:
template <typename T>
class has_member_func_erase_it_constit
{
typedef typename T::iterator iterator;
typedef typename T::const_iterator const_iterator;
typedef BOOST_TYPEOF_TPL(&T::erase) eraseType;
typedef typename boost::function_types::result_type<eraseType>::type result;
public:
static const bool value = boost::is_same<iterator, result>::value;
};
template<class T>
struct EraseReturnsIterator
{
static CONSTEXPR bool value = has_member_func_erase_it_constit<T>::value;
};
但它失败了,因为删除重载了。我可能需要 decltype 或类似的东西来检查编译时调用 erase 和 const_iterator 的返回类型,但我找不到。
这在 C++11 之前的版本中如何实现?
如果删除函数返回 void,这也不起作用:
template <typename T>
class has_member_func_erase_it
{
typedef typename T::iterator iterator;
typedef typename T::const_iterator const_iterator;
typedef char yes[1];
typedef char no [2];
static T makeT();
static iterator makeIt();
typedef BOOST_TYPEOF_TPL(makeT().erase(makeIt())) result;
public:
static const bool value = boost::is_same<iterator, result>::value;
};
最佳答案
以下作品:
/// "Stores a type"
template<typename T> struct Type2Type{
typedef T type;
};
/// Evil hackery to put an expression into a type
template<typename T>
Type2Type<T> operator,(T, Type2Type<void>);
template<typename T>
T declval();
template<class T>
struct EraseReturnsIterator
{
typedef typename T::iterator iterator;
typedef BOOST_TYPEOF_TPL((declval<T>().erase(declval<iterator>()), Type2Type<void>())) result;
static CONSTEXPR bool value = boost::is_same<iterator, typename result::type>::value;
};
基本上我们只是调用我们需要返回类型的函数。如果没有这种类型的函数返回 void,那么 BOOST_TYPEOF_TPL 就已经可以工作了。不幸的是,删除 CAN 返回 void 会破坏实现,因为它试图将“void&”传递到堆栈中的某处。
因此,为了避免 void(没有双关语意),我们将它放在一个类型中,该类型包含一个类型。为了能够对表达式执行此操作,我们重载了逗号运算符。这样结果等于我们可以轻松阅读的“Type2Type”。完成!
关于c++ - 还检查继承函数的函数签名,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31843393/