То, почему делает время выполнения, показывает универсальные типы как “GenericType'n”?

С переменной, введенной id, можно отправить его, любое известное сообщение и компилятор не будут жаловаться. С переменной, введенной NSObject *, можно только отправить, она обменивается сообщениями объявленный NSObject (не методы любого подкласса), или иначе она генерирует предупреждение. В целом, id то, что Вы хотите.

Дальнейшее объяснение: Все объекты имеют по существу тип id. Точка объявления статического типа должна сказать компилятор, "Предположите, что этот объект является членом этого класса". Таким образом, если Вы отправляете ему сообщение, что класс не объявляет, компилятор может сказать Вам, "Ожидайте, что объект, как предполагается, не получает то сообщение!" Кроме того, если два класса имеют методы с тем же именем, но различные подписи (то есть, аргумент или типы возврата), оно может предположить, какой метод Вы подразумеваете под классом, который Вы объявили для переменной. Если это будет объявлено как id, компилятор просто подбросит свои руки и скажет Вам, "хорошо, у меня нет достаточной информации здесь. Я выбираю сигнатуру метода наугад". (Этому обычно не будут помогать путем объявления NSObject*, все же. Обычно конфликт между двумя более определенными классами.)