Возможно ли в переменную записать что угодно?

int b;
cout << "b = ";
cin >> b;

string a,b;
cin>>a>>b;
swap(a,b);

#include <iostream>
#include <string>
using namespace std;
 
struct Foo{};
 
//////////////////////////////////////////////////////////////////////////
 
struct DeductionFakeType{};
 
union  SwapTypes
{
   int                                       _intType;
   double                                    _doubleType;
   Foo                                       _fooType;
};
 
enum                                         {INT, DOUBLE, FOO, OTHER};
 
template<typename T>
void                                         mySwap( T& one, T& two );
template<>
void                                         mySwap( int& one, int& two );
template<>
void                                         mySwap( double& one, double& two );
template<>
void                                         mySwap( Foo& one, Foo& two );
 
void                                         deductionType( std::string str );
 
//////////////////////////////////////////////////////////////////////////
 
template<typename T>
void mySwap( T& one, T& two )
{
    cout << "not possible to swao with types" << endl;
}
 
template<>
void mySwap( int& one, int& two )
{
   cout << "int" << endl;
}
template<>
void mySwap( double& one, double& two )
{
   cout << "double" << endl;
}
template<>
void mySwap( Foo& one, Foo& two )
{
   cout << "Foo" << endl;
}
 
void deductionType(std::string str)
{  
   int result = OTHER;
   std::pair<SwapTypes, SwapTypes> variables;
 
   // deduction type and call swap with type-dependence arguments
   result = INT;
   variables.first._intType = 1;
   variables.second._intType = 2;
   
   switch(result)
   {
      case DOUBLE:   mySwap( variables.first._doubleType, variables.second._doubleType );      break;
      case INT:      mySwap( variables.first._intType, variables.second._intType );            break;
      case FOO:      mySwap( variables.first._fooType, variables.second._fooType );            break;
 
      default:       mySwap( DeductionFakeType(), DeductionFakeType() );                       break;
   }
}
 
//////////////////////////////////////////////////////////////////////////
 
int main()
{
   std::string str;
   //std::getline( std::cin, str );
   deductionType( str );
}

default:
{
    DeductionFakeType f1, f2;
    mySwap(f1,f2);  // <--- для того, что бы этот код работал
        // достаточно что бы передаваемые объекты 
      //просто не были временными
}