请考虑第一段代码,其中使用基本SFINAE触发器来区分类型是否是随机访问迭代器:
template <typename T, typename = void>
struct is_random_access_iterator : public std::false_type {};
template <typename T>
struct is_random_access_iterator<T,
std::enable_if_t<
std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>
>>
: public std::true_type {};
template <typename T>
constexpr bool is_random_access_iterator_v = is_random_access_iterator<T>::value;
此代码编译并按预期工作 . 现在,考虑第二个片段,我将模板变量替换为 enable_if
条件,而根本不更改其定义:
template <typename T>
constexpr bool has_random_access_iterator_tag =
std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>;
template <typename T, typename = void>
struct is_random_access_iterator : public std::false_type {};
template <typename T>
struct is_random_access_iterator<T,
std::enable_if_t<
//std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>
has_random_access_iterator_tag<T>
>>
: public std::true_type {};
template <typename T>
constexpr bool is_random_access_iterator_v = is_random_access_iterator<T>::value;
SFINAE不再起作用了,编译器(用gcc 8和clang 7测试)抱怨 std::iterator_traits
不存在,只要我提供一个不专门的类型 .
这是一个有效的例子:
#include <iostream>
#include <vector>
#include <iterator>
#include <type_traits>
template <typename T>
constexpr bool has_random_access_iterator_tag =
std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>;
template <typename T, typename = void>
struct is_random_access_iterator : public std::false_type {};
template <typename T>
struct is_random_access_iterator<T,
std::enable_if_t<
//std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>
has_random_access_iterator_tag<T>
>>
: public std::true_type {};
template <typename T>
constexpr bool is_random_access_iterator_v = is_random_access_iterator<T>::value;
int main() {
std::cout << std::boolalpha << "Is random access iterator:\n"
<< "- int: " << is_random_access_iterator_v<int> << '\n'
<< "- int*: " << is_random_access_iterator_v<int*> << '\n'
<< "- v::it: " << is_random_access_iterator_v<std::vector<int>::iterator> << '\n';
}
并输出:
prog.cc:8:54:错误:'std :: __ 1 :: iterator_traits'std :: is_same_v :: iterator_category,std :: random_access_iterator_tag>中没有名为'iterator_category'的类型; ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~~~~ ~prog.cc:17:9:注意:在变量模板特化的实例化'has_random_access_iterator_tag'这里请求has_random_access_iterator_tag ^ prog.cc:22:46:注意:在模板参数推断期间,类模板部分特化'is_random_access_iterator>>'[与T = int] constexpr bool is_random_access_iterator_v = is_random_access_iterator :: value; ^ prog.cc:22:46:注意:在实例化模板类'is_random_access_iterator'这里请求prog.cc:26:35:注意:在变量模板特化的实例化中'is_random_access_iterator_v'在这里请求<<“ - int:”< <is_random_access_iterator_v <<'\ n'^ 1生成错误 .
谁能解释我为什么?我对此感到沮丧,因为使用模板常量使模板编程更加紧凑和可读性感觉非常自然 .
1 回答
这里的问题是
移动
超出SFINAE上下文并将其放入已编译的代码中 . 当替换推导类型的模板参数时,SFINAE会在重载决策失败时启动 . 以来
只有
T
作为模板参数,当您尝试实例化has_random_access_iterator_tag<T>
时没有失败 . 既然没有失败那么进行编译,如果
T
对该表达式无效,则会出现错误 .如果将表达式移回模板参数,那么当编译器推导出
T
时,它将使用它来推导如果失败那么它就不会出错,因为它在模板参数的推导下发生了 . 所以,如果我们有
然后,如果
std::iterator_traits<T>::iterator_category
无效,则整个模板被视为无效并被忽略 .