Ответ 1
Если
SomeClass.Type.Typeне объект, что это такое и почему мы можем его объявить?
Я попытаюсь проанализировать то, что вы просите.
SomeClass.Type.Type является метатипом метатипа. Метатипы существуют в Swift, потому что у Swift есть типы, которые не являются классами. Это наиболее похоже на концепцию Metaclass в Objective-C.
Lexicon.rst в Swift Open Source Repo имеет довольно хорошее объяснение:
метатип
Тип значения, представляющего тип. У Грега Паркера есть хорошая объяснение Objective-C "метаклассы" , поскольку у Swift есть типы которые не являются классами, используется более общий термин.
Мы также иногда ссылаемся на значение, представляющее тип как "метатип объект" или просто "метатип", обычно в контекстах низкого уровня, таких как IRGen и LLDB. Это технически некорректно (это просто "объект типа" ), но малапропизм произошел в начале проекта и застрял.
Почему мы можем объявить тип типа типа... и так далее? Потому что это особенность языка, называемого метаданными типа:
Метаданные типаПредставление времени выполнения типа и все, что вы можете с ним сделать. Как a
Classв Objective-C, но для любого типа.
Обратите внимание, что вы не можете сделать что-то вроде NSObject().class в Swift, потому что Class является зарезервированным ключевым словом для создания класса. Так вы получите тип (или класс в этом случае) NSObject в Swift:
let nsObj = NSObject()
nsObj.classForCoder // NSObject.Type
nsObj.classForKeyedArchiver // NSObject.Type
nsObj.dynamicType // NSObject.Type
Обратите внимание, что nsObj и nsObj.self идентичны и представляют собой экземпляр этого NSObject.
Я не вижу, где в модуле Swift или с открытым исходным кодом, где типы допускают .Type, но я все еще ищу. Это может иметь отношение к наследованию от SwiftObject, объекта Objective-C, который все классы Swift наследуют (по крайней мере, на Mac).