c++ - SFINAE 在创建 "is_iterable"特征时出现问题 - 这是 gcc 错误吗？

Question

下面的代码尝试(不使用 c++11)创建一个特征来识别一个类型是否以 STL 方式可迭代:

#include <iostream>
#include <vector>

template<typename C>
struct IsIterable
{
    typedef char true_type; 
    typedef long false_type; 

    template<class T> static true_type  is_beg_iterable(
        typename T::const_iterator = C().begin()); 
    template<class T> static false_type is_beg_iterable(...); 

    enum { value = sizeof(is_beg_iterable<C>()) == sizeof(true_type) }; 
};

int main() {
    std::cout << IsIterable<std::vector<int>>::value << std::endl;
}

^{还有一个is_end_iterable方法，这里为了简洁省略}

代码 fails使用 gcc 4.9.2 *(以及旧版本)和 clang 并在 VS2012 中成功。我的断言是可变参数版本在重载决策中总是排在最后(因此应该没有歧义)，所以谁在这儿？

是否有跨平台的解决方法/替代方案？

^{我现在看到较新版本的 VS 也拒绝代码，所以最后一个问题变得更重要了}

Answer 1

自 C++17 起，一种定义 is_iterable 的惯用方式特征是:

#include <type_traits>
#include <iterator>

namespace is_iterable_impl
{
    using std::begin, std::end;

    template<class T>
    using check_specs = std::void_t<
        std::enable_if_t<std::is_same_v<
            decltype(begin(std::declval<T&>())), // has begin()
            decltype(end(std::declval<T&>()))    // has end()
        >>,                                      // ... begin() and end() are the same type ...
        decltype(*begin(std::declval<T&>()))     // ... which can be dereferenced
    >;

    template<class T, class = void>
    struct is_iterable
    : std::false_type
    {};

    template<class T>
    struct is_iterable<T, check_specs<T>>
    : std::true_type
    {};
}

template<class T>
using is_iterable = is_iterable_impl::is_iterable<T>;

template<class T>
constexpr bool is_iterable_v = is_iterable<T>::value;

Live demo .

---

我们是std::declval<T&>()所以我们的特征适用于数组。如您所见， std::begin 和 std::end有一个数组重载，它需要一个引用。