我试图编写一段代码(使用mingw32 gcc4.8.1,截至2014年1月),涉及两个参数包
最简单的代码如下:(源自http://en.cppreference.com/w/cpp/language/parameter_pack)
Args1...
和Args2...
。我在这里学到(http://en.cppreference.com/w/cpp/language/parameter_pack),我需要一个嵌套类来实现这样的操作。Args1...
和Args2...
长度相同(最终我希望从Args1...
推导出Args2...
)。有时它们甚至可以是相同的类型。因此,我想先为这种微不足道的情况编写一个简写的using
语句:template <typename R, typename ...Args>
using zip_t = zip<R, Args...>::with<Args...>;
然而,当编译这个语句时,gcc会生成一个段错误。请问是否有人能解释一下我做错了什么或者这是gcc的一个bug?
g++ -std=c++11 -I.. testUsing.cpp
testUsing.cpp: In substitution of 'template<class R, class ... Args> using zip_t = zip<R, Args1 ...>::with<Args ...> [with R = A; Args = {}]':
testUsing.cpp:19:15: required from here
testUsing.cpp:16:45: internal compiler error: Segmentation fault
using zip_t = zip<R, Args...>::with<Args...>;
^
最简单的代码如下:(源自http://en.cppreference.com/w/cpp/language/parameter_pack)
template<typename...> struct Tuple {};
template<typename T1, typename T2> struct Pair {};
template<class R,class ...Args1> struct zip {
template<class ...Args2> struct with {
R flag;
typedef Tuple<Pair<Args1, Args2>...> type;
//Pair<Args1, Args2>... is the pack expansion, Pair<Args1, Args2> is the pattern
};
};
typedef zip<bool,short, int>::with<unsigned short, unsigned>::type T1;
T1 make_zip1(bool) {return T1();}
template <typename R, typename ...Args>
using zip_t = zip<R, Args...>::with<Args...>;
template<typename A>
static zip_t<A>::type make_zip(A) {
return zip_t<A>::type{};
}
//test code
int main() { return 0; }