具有显式参数和大小的可变参数模板.Visual Studio 2013.
Variadic template with explicit arguments and sizeof... Visual Studio 2013
我试图枚举一个可变参数元组,以便我可以对其每个元素执行某些操作。
#include <iostream>
#include <tuple>
#include <utility>
template <size_t N, typename ...Args>
typename std::enable_if<N == sizeof...(Args), void>::type
print(std::tuple<Args...> const& tuples)
{ }
template <size_t N, typename ...Args>
typename std::enable_if<(N < sizeof...(Args)), void>::type
print(std::tuple<Args...> const& tuples)
{
std::cout << std::get<N>(tuples);
print<N + 1>(tuples);
}
template <typename ...Args>
void printTuples(std::tuple<Args...> const& tuples)
{
print<0>(tuples);
}
int main(int argc, char** argv)
{
printTuples(std::make_tuple(1, 2.,3.));
return 0;
}
在 Visual Studio 2013 中,这会导致以下错误:
1>main.cpp(15): error C2770: invalid explicit template argument(s) for 'std::enable_if<N<1,void>::type print(std::tuple<_Types1...> &)'
1>main.cpp(15): error C2893: Failed to specialize function template 'std::enable_if<N==1,void>::type print(std::tuple<_Types1...> &)'
这在VS2015中编译得很好。 谁能解释一下为什么大小...(Args) 被推导出为 1,即使传递了具有 3 个参数的元组? 另外,为什么这是VS2013中的错误,而不是VS2015中的错误?
注意:我通过向后枚举元组(从末尾开始)构建了一个解决方法(对于VS2013)
谁能解释一下为什么大小...(Args) 被推导出为 1,即使传递了具有 3 个参数的元组?
我不能。
也许是编译器错误?
还是 C++11 支持不足?
另外,为什么这是VS2013中的错误,而不是VS2015中的错误?
我不明白VS2015如何编译您的代码,因为存在错误:您的print()
和printTuple()
函数正在接收非常量的l值引用,但您在main()
中调用printTuple()
printTuples(std::make_tuple(1, 2.,3.));
具有 R 值(与非常量 L 值引用不兼容)。
建议:修改函数以接收常量l 值引用
template <std::size_t N, typename ...Args>
typename std::enable_if<N == sizeof...(Args)>::type
print (std::tuple<Args...> const & tuples)
{ } // ......................^^^^^
template <std::size_t N, typename ...Args>
typename std::enable_if<(N < sizeof...(Args))>::type
print (std::tuple<Args...> const & tuples)
{ // ........................^^^^^
std::cout << std::get<N>(tuples);
print<N + 1u>(tuples);
}
template <typename ...Args>
void printTuples (std::tuple<Args...> const & tuples)
{ print<0u>(tuples); } // ...........^^^^^
相关文章:
- 在不传递参数数量且只有3个点的情况下,如何使用变差函数
- 如何使用可变参数模板强制转换每个变体类型
- 关于如何在具有单个参数的变体构造中选择替代方案?
- 调用参数排列不变函数 f(i++, i++)
- 参数归纳与标准::变体
- 模板化回调参数的逆变,如 C# 中的逆变
- 如何在没有参数包的情况下编写变差函数
- 通过具有嵌套类的工厂类获取多个变异类模板参数包
- 获取模板参数的成员变量值列表
- 保留短 lambda 用作函数的中间参数,使用 clang 格式保持不变
- 如何定义变体<x,y,z>提取模板参数的子类型
- 正确对齐内存模板,参数顺序不变
- 递归中不同参数类型的变元模板函数
- 通过函数指针传递给变差函数的参数会更改其值
- 提升预定义为带有参数的全局 lambda 的变体访问者
- 使用可变参数模板参数提升变体访问者
- boost ::变体 - 为什么模板参数比const字符串参数具有更高的优先级
- 将变参数包中的值加载到临时数组中
- 使用额外参数提升变体访客
- 正在将动态数组元素解析为参数?(变音符)