创建“is_iterable”特征时的 SFINAE 问题 - 这是 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方法，为简洁起见在此省略}

该代码因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;

现场演示。

我们是std::declval<T&>()这样，我们的 trait 可以与数组一起使用。正如你所看到的，std::begin并且std::end有一个数组的重载，它需要一个引用。