>>76
>>本来は、typedefは型を再定義することだから、読みやすいとか言うのとは、焦点がずれてる。
>>要求すべきは別名化 aliasとかじゃないかな？

C/C++のtypedefは、型に別名(alias)をつけるだけ。たとえば
typedef std::basic_string<char> stringA;
typedef std::basic_string<char> stringB;
で、コンパイラはstringA型とstringB型は同じ型として扱う。
だから焦点がずれていない。まさに要求どおりじゃないの。