AnyObject vs Any vs NSObject vs id — разница

Middle PRO

Четыре уровня «что угодно»

• Any — любой тип Swift: struct, enum, class, функция, Optional, tuple. Экзистенциальный контейнер; чтобы что-то сделать, нужен as?.
• AnyObject — любой class-экземпляр (reference-тип). Протокол с class-ограничением; используется для weak-ссылок на «что-то», для идентичности ===, в generic-ограничениях T: AnyObject. На Apple-платформах AnyObject умеет @objc-вызовы через optional-синтаксис: obj.perform(...), (obj as AnyObject).description.
• AnyClass — AnyObject.Type, «любой класс как значение» (метатип): let cls: AnyClass = UIView.self, NSClassFromString.
• NSObject — конкретный корневой класс Foundation. Даёт isa, KVC/KVO, isEqual/hash, description, NSCoding, #selector, совместимость с Cocoa-API. Не путать с протоколом NSObjectProtocol (NSObject в Obj-C), который описывает тот же контракт для NSProxy и AnyObject-экзистенциалов.
• id (Obj-C) — указатель на любой Obj-C-объект. При импорте в Swift — Any, не AnyObject (SE-0116, Swift 3): в id можно положить String, Int, массив — Swift бриджит их в NSString, NSNumber, NSArray автоматически, поэтому единственный честный тип — Any.

import Foundation

final class Box: NSObject {
    @objc dynamic var value = 1
}

let anything: [Any] = [1, "two", Box(), { (x: Int) in x }]
let objects: [AnyObject] = [Box(), NSString(string: "s")]
let cls: AnyClass = Box.self
let legacy: Any = NSNumber(value: 3)   // так приходит id из Obj-C

func describe(_ v: Any) -> String {
    switch v {
    case let n as Int: return "Int \(n)"
    case let s as String: return "String \(s)"
    case let o as NSObject: return "NSObject \(o)"
    default: return "other"
    }
}
print(describe(legacy))   // Int 3 — NSNumber бриджится в Int
_ = (anything, objects, cls)