Здравствуйте, gka, Вы писали:

gka>А как, объявить тип, который переопределен через typedef?

Дело в том, что typedef — это не определение (definition), как может показаться из названия, а объявление (declaration) (см. 6.1/1 и 10.1.3). Таким образом, "объявить объявление", пардон за тавтологию, можно, только продублировав его. Утешительным призом может служить тот факт, что объявление может описывать неполный тип.