使用 const 后缀自动解析成员函数

Question

在我的课堂上，我有 2 种算法应该应用，具体取决于容器是否支持 lower_bound。

template <class T>
class SmartContainerHandler{
....
template <class Q=T>
typename std::enable_if< std::is_member_function_pointer<decltype(&Q::lower_bound)>::value >::type
foo_impl(int k, double _ = 0)
{
    auto r = _t.lower_bound(k);
    std::cout << "has lower_bound" << (r == _t.end() ? -1 : *r) << std::endl;
}
template <class Q=T>
typename std::enable_if<! std::is_member_function_pointer<decltype(&Q::lower_bound)>::value >::type
foo_impl(int k)
{
    std::cout << << "no lower_bound, just a key:" << k <<  std:: endl;
}

例如，我想使用SmartContainerHandler<std::set<int> > 或SmartContainerHandler<std::vector<int> > 进行实例化

lower_bound 有 2 个签名我的问题

template< class K > iterator lower_bound(const K& x);
template< class K > const_iterator lower_bound(const K& x) const;

（尝试编译没有成功auto m = &std::set<int>::lower_bound）

在我的特殊情况下，我不关心 const 签名，但为了更通用的问题：如果提供了 2 个或更多签名，如何检查方法是否存在？

Answer 1

您可以在这里简单地依赖 表达式 SFINAE，例如：

template <class Q=T>
auto foo_impl(int k, double _ = 0)
    -> decltype(std::declval<Q&>().lower_bound(k), void())
{
    auto r = _t.lower_bound(k);
    std::cout << "has lower_bound" << (r == _t.end() ? -1 : *r) << std::endl;
}

void foo_impl(int k, ...)
{
    std::cout << << "no lower_bound, just a key:" << k <<  std:: endl;
}

如果std::declval<Q&>().lower_bound(k) 不是有效表达式，则将丢弃第一个foo_impl 重载。