个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
25
4
我想从另一个元组的前 n 个元素创建一个元组。这是我使用的递归(这里不计算任何有用的东西)。
奇怪的是，它不能使用 g++ 4.6.1，尽管据我所知，front<0,…>比 front<n,…> 更专业它应该被选中。这是一个错误还是我对特化感到困惑？
#include <tuple>
template<std::size_t, typename>
struct front;
#if 0
// This works, but I only want one case.
template<typename Head, typename... Tail>
struct front<0, std::tuple<Head, Tail...>> {
typedef std::tuple<> type;
};
template<typename Head>
struct front<0, std::tuple<Head>> {
typedef std::tuple<> type;
};
template<>
struct front<0, std::tuple<>> {
typedef std::tuple<> type;
};
#elseif 0
// this doesn't work, but I don't understand why:
// ambiguous class template instantiation, candidates are:
// struct front<0u, std::tuple<_Elements ...> >
// struct front<n, std::tuple<_Head, _Tail ...> >
template<typename... Tail>
struct front<0, std::tuple<Tail...>> {
typedef std::tuple<> type;
};
#else
// neither does this:
// ambiguous class template instantiation, candidates are:
// struct front<0u, T>
// struct front<n, std::tuple<_Head, _Tail ...> >
template<typename T>
struct front<0, T> {
typedef std::tuple<> type;
};
#endif
// this makes no sense, but it's short.
template<std::size_t n, typename Head, typename... Tail>
struct front<n, std::tuple<Head, Tail...>> {
typedef typename front<n - 1, std::tuple<Tail...>>::type type;
};
// check all cases, error includes calculated type:
front<0, std::tuple<int, float, double, long>>::type x0 = 0;
front<2, std::tuple<int, float, double, long>>::type x2 = 0;
front<4, std::tuple<int, float, double, long>>::type x4 = 0;
最佳答案
模板参数不是从左到右选取的。是的，0比 n 更专业，但是 std::tuple<Head, Tail...>比 T 更专业.您可以添加一个额外的特化，这是对两个参数最特化的:
#include <tuple>
template<typename A, typename B>
struct front_helper;
template<typename... A, typename... B>
struct front_helper<std::tuple<A...>, std::tuple<B...>> {
typedef std::tuple<A..., B...> type;
};
template<std::size_t, typename>
struct front;
template<>
struct front<0, std::tuple<>> {
typedef std::tuple<> type;
};
template<typename Head, typename... Tail>
struct front<0, std::tuple<Head, Tail...>> {
typedef std::tuple<> type;
};
template<std::size_t n, typename Head, typename... Tail>
struct front<n, std::tuple<Head, Tail...>> {
typedef typename front_helper<std::tuple<Head>, typename front<n-1, std::tuple<Tail...>>::type>::type type;
};
void x0(front<0, std::tuple<int, float, double, long>>::type) { }
void x1(front<1, std::tuple<int, float, double, long>>::type) { }
void x2(front<2, std::tuple<int, float, double, long>>::type) { }
void x3(front<3, std::tuple<int, float, double, long>>::type) { }
void x4(front<4, std::tuple<int, float, double, long>>::type) { }
$ g++ test.cc -c -std=c++0x && nm -C test.o
00000000 b .bss
00000000 d .data
00000000 t .text
00000000 T x0(std::tuple<>)
00000005 T x1(std::tuple<int>)
0000000a T x2(std::tuple<int, float>)
0000000f T x3(std::tuple<int, float, double>)
00000014 T x4(std::tuple<int, float, double, long>)
00000000 b std::(anonymous namespace)::ignore
关于c++ - 为什么这个模板特化在 GCC 中不起作用？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9145622/
25
4
0
今天有小伙伴给我留言问到，try{...}catch(){...}是什么意思？它用来干什么？ 简单的说 他们是用来捕获异常的 下面我们通过一个例子来详细讲解下
我正在努力提高网站的可访问性，但我不知道如何在页脚中标记社交媒体链接列表。这些链接指向我在 facecook、twitter 等上的帐户。我不想用 role="navigation" 标记这些链接，因
说现在是 6 点，我有一个 Timer 并在 10 点安排了一个 TimerTask。之后，System DateTime 被其他服务(例如 ntp)调整为 9 点钟。我仍然希望我的 TimerTas
就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持，但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the
我就废话不多说了，大家还是直接看代码吧~ ? 1
Maven系列1 1.什么是Maven？ Maven是一个项目管理工具，它包含了一个对象模型。一组标准集合，一个依赖管理系统。和用来运行定义在生命周期阶段中插件目标和逻辑。 核心功能 Mav
我是一名优秀的程序员,十分优秀！