- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
请考虑第一段代码,其中使用基本的 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: error: no type named 'iterator_category' in 'std::__1::iterator_traits' std::is_same_v::iterator_category, std::random_access_iterator_tag>; ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
prog.cc:17:9: note: in instantiation of variable template specialization 'has_random_access_iterator_tag' requested here has_random_access_iterator_tag ^
prog.cc:22:46: note: during template argument deduction for class template partial specialization 'is_random_access_iterator > >' [with T = int] constexpr bool is_random_access_iterator_v = is_random_access_iterator::value; ^
prog.cc:22:46: note: in instantiation of template class 'is_random_access_iterator' requested here prog.cc:26:35: note: in instantiation of variable template specialization 'is_random_access_iterator_v' requested here << "- int: " << is_random_access_iterator_v << '\n' ^ 1 error generated.
谁能解释一下为什么?我对此感到沮丧,因为使用模板常量使模板编程更紧凑和可读性感觉非常自然。
最佳答案
这里的问题是
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>;
移动
std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>
脱离 SFINAE 上下文并将其放入刚刚编译的代码中。当在重载解析期间用推导类型替换模板参数失败时,SFINAE 将启动。由于
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>;
只有T
作为模板参数,当您尝试实例化 has_random_access_iterator_tag<T>
时不会失败.既然没有失败那么
std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>;
被编译并且如果T
对该表达式无效,然后你会得到一个错误。
如果您将表达式移回模板参数,那么当编译器推断出 T
时它会用它来推断
std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>;
如果失败,那么它不会是一个错误,因为它发生在模板参数的推导过程中。所以如果我们有
template <typename T, bool Val = std::is_same_v<typename std::iterator_traits<T>::iterator_category, std::random_access_iterator_tag>>
constexpr bool has_random_access_iterator_tag = Val;
那么如果std::iterator_traits<T>::iterator_category
无效整个模板被认为无效并被忽略。
关于c++ - sfinae 上下文中的模板变量,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49858074/
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: How to nest OR statements in JavaScript? 有没有办法做到这一点:
在 JavaScript 中有没有办法让一个变量总是等于一个变量?喜欢var1 = var2但是当var2更新,也是var1 . 例子 var var1 = document.getElementBy
我正在努力理解这代表什么 var1 = var2 == var3 我的猜测是这等同于: if (var2 == var3): var1 = var2 最佳答案 赋值 var1 = var2
这个问题已经有答案了: What does the PHP error message "Notice: Use of undefined constant" mean? (2 个回答) 已关闭 8
我在临时表中有几条记录,我想从每条记录中获取一个值并将其添加到一个变量中,例如 color | caption -------------------------------- re
如何将字符串转为变量(字符串变量--> $variable)? 或者用逗号分隔的变量列表然后转换为实际变量。 我有 2 个文件: 列名文件 行文件 我需要根据字符串匹配行文件中的整行,并根据列名文件命
我有一个我无法解决的基本 php 问题,我也想了解为什么! $upperValueCB = 10; $passNodeMatrixSource = 'CB'; $topValue= '$uppe
这可能吗? php $variable = $variable1 || $variable2? 如果 $variable1 为空则使用 $variable2 是否存在类似的东西? 最佳答案 PHP 5
在 Perl 5.20 中,for 循环似乎能够修改模块作用域的变量,但不能修改父作用域中的词法变量。 #!/usr/bin/env perl use strict; use warnings; ou
为什么这不起作用: var variable; variable = variable.concat(variable2); $('#lunk').append(variable) 我无法弄清楚这一点
根据我的理解,在32位机器上,指针的sizeof是32位(4字节),而在64位机器上,它是8字节。无论它们指向什么数据类型,它们都有固定的大小。我的计算机在 64 位上运行,但是当我打印包含 * 的大
例如: int a = 10; a += 1.5; 这运行得很完美,但是 a = a+1.5; 此作业表示类型不匹配:无法从 double 转换为 int。所以我的问题是:+= 运算符 和= 运算符
您好,我写了这个 MySQL 存储过程,但我一直收到这个语法错误 #1064 - You have an error in your SQL syntax; check the manual that
我试图在我的场景中显示特定的奖牌,这取决于你的高分是基于关卡的目标。 // Get Medal Colour if levelHighscore goalScore { sc
我必须维护相当古老的 Visual C++ 源代码的大型代码库。我发现代码如下: bIsOk = !!m_ptr->isOpen(some Parameters) bIsOk的数据类型是bool,is
我有一个从 MySQL 数据库中提取的动态产品列表。在 list 上有一个立即联系 按钮,我正在使用一个 jquery Modal 脚本,它会弹出一个表单。 我的问题是尝试将产品信息变量传递给该弹出窗
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: What is the difference between (type)value and type(va
jQuery Core Style Guidelines建议两种不同的方法来检查变量是否已定义。 全局变量:typeof variable === "undefined" 局部变量:variable
这个问题已经有答案了: 已关闭11 年前。 Possible Duplicate: “Variable” Variables in Javascript? 我想肯定有一种方法可以在 JavaScrip
在语句中使用多重赋值有什么优点或缺点吗?在简单的例子中 var1 = var2 = true; 赋值是从右到左的(我相信 C# 中的所有赋值都是如此,而且可能是 Java,尽管我没有检查后者)。但是,
我是一名优秀的程序员,十分优秀!