fork download

copy

template<class...> struct types{ using type = types; };
 
template<class Acc, class... Types>
struct reversed_ : Acc{};
 
template<class... RTypes, class Head, class... Tail>
struct reversed_<types<RTypes...>, Head, Tail...> : reversed_<types<Head, RTypes...>, Tail...>{};
 
template<class... Ts>
struct reversed : reversed_<types<>, Ts...>{};
 
int main()
{
    struct {} _ = reversed<char>::type();
    struct {} __ = reversed<char, int>::type();
}
 

prog.cpp: In function ‘int main()’:
prog.cpp:14:40: error: conversion from ‘types<char>::type {aka types<char>}’ to non-scalar type ‘main()::<anonymous struct>’ requested
     struct {} _ = reversed<char>::type();
                                        ^
prog.cpp:15:46: error: conversion from ‘types<int, char>::type {aka types<int, char>}’ to non-scalar type ‘main()::<anonymous struct>’ requested
     struct {} __ = reversed<char, int>::type();
                                              ^

Standard output is empty