Как определить тип объекта в Swift? (type(of:) и is/as)

Основные способы работы с типами в Swift

В Swift есть несколько инструментов для определения и проверки типов. Разберём каждый из них на практике.

1. Проверка типа с помощью оператора is

Оператор is возвращает true, если объект принадлежит указанному типу (или его подклассу). Это аналог isinstnaceof в Java или is в C#.

class Animal { }
class Dog: Animal { func bark() { print("Woof!") } }
class Cat: Animal { func meow() { print("Meow!") } }

let animals: [Animal] = [Dog(), Cat(), Dog()]

for animal in animals {
    if animal is Dog {
        print("Это собака")
    } else if animal is Cat {
        print("Это кошка")
    }
}
// Вывод:
// Это собака
// Это кошка
// Это собака

2. Приведение типа с помощью as? и as!

Просто проверить тип часто недостаточно — нужно вызвать метод конкретного подкласса. Для этого используется приведение (type casting).

• as? — безопасное приведение. Возвращает Optional (nil, если приведение не удалось).
• as! — принудительное приведение. Вызовет ошибку, если тип не совпадает. Используйте только если уверены на 100%.

for animal in animals {
    if let dog = animal as? Dog {
        dog.bark()  // Вызов метода Dog
    } else if let cat = animal as? Cat {
        cat.meow()  // Вызов метода Cat
    }
}
// Вывод:
// Woof!
// Meow!
// Woof!

3. Получение типа объекта через type(of:)

Функция type(of:) возвращает метатип объекта. Это полезно для логирования или динамической диспетчеризации.

let aDog = Dog()
print(type(of: aDog))              // Dog
print(type(of: aDog) == Dog.self)  // true

// Для протоколов и наследования:
let animal: Animal = Dog()
print(type(of: animal))            // Dog (а не Animal!)

4. Проверка на соответствие протоколу

Оператор is и as? работают и с протоколами.

protocol Swimmable {
    func swim()
}
extension Dog: Swimmable {
    func swim() { print("Dog is swimming") }
}

let pet: Animal = Dog()
if let swimmablePet = pet as? Swimmable {
    swimmablePet.swim()  // Dog is swimming
}

5. Сравнение типов с .self и ==

Вы можете сравнивать типы напрямую, используя .self:

let typeOfAnimal = type(of: Dog())
if typeOfAnimal == Dog.self {
    print("Точно Dog!")
}

// Для массивов типов:
let allowedTypes: [Any.Type] = [Dog.self, Cat.self]
print(allowedTypes.contains(where: { $0 == type(of: Dog()) }))  // true

Важные нюансы

• type(of:) всегда возвращает динамический тип (реальный тип объекта во время выполнения), а не статический (тип переменной).
• Для value-типов (struct, enum) type(of:) тоже работает.
• Избегайте as! без крайней необходимости — лучше используйте if let ... as?.
• Проверка типов через is — это не то же самое, что проверка через type(of:) == SomeClass.self. Первый учитывает наследование, второй — нет. Например, Dog() is Animal — true, а type(of: Dog()) == Animal.self — false.

Надеюсь, теперь стало понятнее. Главное правило: если нужно просто проверить — используйте is. Если нужно ещё и вызвать методы — as?. Если нужно имя типа для логирования — type(of:).

enum Pet {
    case dog(name: String)
    case cat(name: String, isIndoor: Bool)
    
    var sound: String {
        switch self {
        case .dog: return "Woof!"
        case .cat: return "Meow!"
        }
    }
}

let pets: [Pet] = [
    .dog(name: "Rex"),
    .cat(name: "Whiskers", isIndoor: true),
    .dog(name: "Buddy")
]

for pet in pets {
    switch pet {
    case .dog(let name):
        print("\(name) says \(pet.sound)")
    case .cat(let name, let isIndoor):
        print("\(name) says \(pet.sound). Indoor: \(isIndoor)")
    }
}
// Вывод:
// Rex says Woof!
// Whiskers says Meow!. Indoor: true
// Buddy says Woof!