The function of printing an expression's type

I very often meet debates in forums on what type this or that expression will have. So I decided to make a little note in the blog to refer to this.

An example of code printing the type of an expression and information about it:

#include <iostream>
using namespace std;
template <typename T>
void PrintTypeInfo(char const* description, T)
{
  const type_info &info = typeid(T);
  cerr << "\"" << description << "\":"
       << " type = " << info.name()
       << "; sizeof = " << sizeof (T)
       << "; alignof = " << __alignof (T)
       << endl;
}
int _tmain(int, _TCHAR *[])
{
  char c1 = 0, c2 = 0;
  PrintTypeInfo("char + char", c1 + c2);
}

The result:

"char + char": type = int; sizeof = 4; alignof = 4