Я хочу спросить, действителен ли следующий код.
Интересно, что несколько раз расширять пакеты параметров в одном выражении.
#include <iostream>
#include <tuple>
class ExpandWithConstructor
{
public:
template <typename ... T>
ExpandWithConstructor( T... args) { }
};
template <typename T>
int PrintArgs( T arg )
{
std::cout << arg << ", ";
return 0;
}
template <typename Head, typename ... T>
class DebugPrinter: public DebugPrinter<T...>
{
public:
DebugPrinter() { }
template< typename ...Y>
DebugPrinter( Y ... rest )
{
std::cout << "Construction of: " << __PRETTY_FUNCTION__ << " Values: " ;
ExpandWithConstructor{PrintArgs( rest)...};
std::cout << std::endl;
}
};
template <typename Head>
class DebugPrinter< Head >
{
public:
};
template <typename ... T>
class TypeContainer: public std::tuple<T...>
{
public:
TypeContainer(T... args):std::tuple<T...>(args...){};
};
template <typename... T1> class CheckVariadic;
template <typename... T1, typename ...T2>
class CheckVariadic< TypeContainer<T1...>, TypeContainer<T2...>> :
public DebugPrinter< T1, T2, T1...>...
{
public:
CheckVariadic( T1... args1, T2... args2, T1... args3): DebugPrinter< T1, T2, T1...>(args1, args2..., args1)... {}
};
int main()
{
CheckVariadic< TypeContainer<int,float>, TypeContainer<char, void*>> checkVariadic1{ 1,2.2,'c',(void*)0xddddd,5,6.6,};
}
Как вы можете видеть, код использует: DebugPrinter < T1, T2, T1... > ...
если T1 задано с "int, float", а T2 "char, void *" которая расширяется до
DebugPrinter< T1, T2, int, float>...
который расширяется до
DebugPrinter< int, char, int, float>
DebugPrinter< float, void*, int, float>
То же расширение распространяется на:
DebugPrinter< T1, T2, T1...>(args1, args2..., args1)...
Код компилируется с clang3.3, но НЕ с gcc4.8.1, поэтому я хочу спросить, действительно ли код или нет.
Обновление: gcc 7.2 все еще не скомпилировал код.