テンプレートクラス内で宣言された内部クラスを特殊化することは可能ですか?多かれ少なかれ次の例のように(これは機能しません):
template<unsigned N>
class Outer {
struct Inner {
typedef int Value;
};
typedef typename Inner::Value Value;
};
template<>
struct Outer<0>::Inner {
typedef float Value;
};