#include #include template union ty { int k, TYPE type }; int main() { ty t; t.k=15; if(typeid(t)==typeid(double)) { std::cout<<"int"<