SFINAE 应用于迭代器

Question

我正在编写一个模板函数，它应该只接受包含特定类型（由 template 定义）的任何容器的随机访问迭代器。 目前，我首先尝试使用 SFINAE 限制迭代器的类型，但代码无法编译。

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

template<typename It,
         std::enable_if<
             std::is_same<typename std::iterator_traits<It>::iterator_category,
                          std::random_access_iterator_tag>::value,
             typename std::iterator_traits<It>::difference_type>>
void func(const It& begin, const It& end)
{
    std::cout << begin[0] << std::endl;
}


int main()
{
    std::vector<int> a = {0,1,2,3,4,5};
    func(a.begin(), a.end());
    return 0;
}

错误是：

error: ‘struct std::enable_if<std::is_same<typename
std::iterator_traits<_Iter>::iterator_category,std::random_access_iterator_tag::value,
typename std::iterator_traits<_Iterator>::difference_type>’ is not a
valid type for a template non-type parameter template<typename It,
std::enable_if<std::is_same<typename std::iterator_traits

error: no matching function for call to
‘func(std::vector<int>::iterator, std::vector<int>::iterator)’
func(a.begin(), a.end());

Answer 1

我无法解析您的enable_if。 这行得通：

template<typename It, typename std::enable_if<std::is_same<typename std::iterator_traits<It>::iterator_category, std::random_access_iterator_tag>::value, int>::type = 0>
void func(const It& begin, const It& end)
{
    std::cout << begin[0] << std::endl;
}


int main()
{
    std::vector<int> a = {0,1,2,3,4,5};
    func(a.begin(), a.end());
    return 0;
}

但可能是我误解了你的意图。

Answer 2

您需要typename = 才能像这样为 SFINAE 使用匿名类型：

template<typename It,
         typename = std::enable_if<std::is_same<typename std::iterator_traits<It>::iterator_category,
                                                std::random_access_iterator_tag>::value,
                                   typename std::iterator_traits<It>::difference_type>>
void func(const It& begin, const It& end)
{
    std::cout << begin[0] << std::endl;
}

或者，您可以使用 std::enable_if<...>::type 作为函数的返回类型。

如果您正在使用 C++17 或更高版本，请考虑查看正在进入 C++20 的概念提案。