提示コードは期待通りに動くと思うのだが・・・コンパイラは何？

typeid は「実行時」の動的評価を行うためのものである、のに対して
template は「コンパイル時」の静的評価を行うものなのである。
（提示コードは typeid の実行時型評価を使っていないわけで）
提示コードを書いたプログラマの意図がコンパイル時静的評価なのであれば、
牛刀割鶏、大げさすぎだと思われる・・・
こういうときは template の多重定義で十分だろう。
// 多重定義で同じ型を指定したときのみ呼ばれる
template<typename T> bool issame(T*, T*) { return true; }
// 上にヒットしない、すなわち T と U が異なるときに呼ばれる
template<typename T, typename U> bool issame(T*, U*) { return false; }

実行時評価が必要ならまた話は別だ。
その場合は提示コードに一工夫加える必要がある。

あと const/volatile をどう扱いたいのかでも話は違う。

MSさんのVisual Studioシリーズだと、

#include <typeinfo.h>

が必要になりますけと、そのあたりは大丈夫ですか。
class type_infoがないと、比較演算子が未定義になります。

あとは、コンパイルオプションで、「ランタイム型情報を有効にする」が、
「はい」になっている必要もあります( /GR)。

> #include <typeinfo.h>
流石に現在は<typeinfo>ですね。
また，<typeinfo>のインクルードする前にtypeid使うこと自体がill-formedなので，
# ISO/IEC 14882:1998/2003/2011 5.2.8 Type identification ¶6
<typeinfo>のインクルードが必要なのはVC++に限った話ではないです。

orz. そうでね。
Bad_cast　とかつうわけね～し(vv;)。

orz. そうですね。(恥の上塗り)

たくさんのご返答、ありがとうございます。
開発環境にはVisualStudioExpress2012を使用しております。
仲澤＠失業者さんのご指摘通り、

#include <typeinfo.h>

を冒頭においたら、無事ビルドが通りました。

簡単なことでお騒がせしてしまい、申し訳ございませんでした。

いやだから <typeinfo> だって。

提示コードは template の良さも typeinfo の良さも、両方台無しにしているので
俺の提示コードを再考してほしい。