deduce.cxx

#include<iostream>
#include<utility>

template<typename... Ts>
structtuple {
 Ts ...m;
};

template<typename T1>
voidf1(T1&& x) {
 std::cout<< " f1: "<< T1.string<< "\n";
} 

template<typename T2, typename... Args>
voidf2(T2&& y : tuple<Args...>) {
 std::cout<< " f2: "<< T2.string<<" | Args: ";
 std::cout<< Args.string<< ""...;
 std::cout<< "\n";
}

structderived_t : tuple<int, char, void*> { };

intmain() {
derived_t d1;
constderived_t d2;

 std::cout<< "lvalue:\n";
f1(d1);
f2(d1);

 std::cout<< "const lvalue:\n";
f1(d2);
f2(d2);

 std::cout<< "xvalue:\n";
f1(std::move(d1));
f2(std::move(d1));

 std::cout<< "const xvalue:\n";
f1(std::move(d2));
f2(std::move(d2));
}