Как проверить, является ли объект экземпляром определенного типа в Swift?

Использование операторов is и as для проверки и приведения типов

В Swift для проверки типа объекта и безопасного приведения к определенному классу используются два ключевых оператора: is (type check operator) и as?/as! (type cast operators). Вот как правильно решить вашу задачу:

for vehicle in vehicles {
    if vehicle is Car {
        // Проверка типа прошла успешно, но vehicle всё ещё типа Vehicle
        // Чтобы получить доступ к свойствам Car, нужно привести тип
        if let car = vehicle as? Car {
            print("\(car.name) — это машина с \(car.doors) дверьми")
        }
    } else if vehicle is Bicycle {
        if let bike = vehicle as? Bicycle {
            print("\(bike.name) — это велосипед с \(bike.gears) передачами")
        }
    }
}

Объяснение работы операторов

• is — возвращает true, если объект является экземпляром указанного класса (или его подкласса). Не изменяет тип объекта.
• as? — опциональное приведение. Возвращает Optional целевого типа. Если приведение невозможно, возвращает nil. Это безопасный способ.
• as! — принудительное приведение. Если приведение невозможно, вызывает краш приложения. Используйте только когда абсолютно уверены в типе.

Более элегантный подход с switch

Для множественных проверок лучше использовать switch с паттернами приведения типов:

for vehicle in vehicles {
    switch vehicle {
    case let car as Car:
        print("\(car.name) — машина с \(car.doors) дверьми")
    case let bike as Bicycle:
        print("\(bike.name) — велосипед с \(bike.gears) передачами")
    default:
        print("Неизвестное транспортное средство")
    }
}

Работа с протоколами и структурами

Если вы используете протоколы или структуры (value types), принцип тот же:

protocol Drivable {
    var speed: Int { get }
}

struct ElectricCar: Drivable {
    var speed: Int
    var batteryLevel: Double
}

let objects: [Any] = [ElectricCar(speed: 120, batteryLevel: 0.8), "Hello", 42]

for obj in objects {
    if let car = obj as? ElectricCar {
        print("Электромобиль едет со скоростью \(car.speed) км/ч, заряд \(car.batteryLevel * 100)%")
    } else if let text = obj as? String {
        print("Строка: \(text)")
    }
}

Важные замечания

• Для классов is и as? работают с наследованием. Если класс B наследует класс A, то объект класса B пройдет проверку is A.
• Для структур и протоколов проверка типа работает иначе — структуры не поддерживают наследование, поэтому проверка идет строго по типу.
• Избегайте частого использования приведения типов — это может быть признаком плохого дизайна. Рассмотрите полиморфизм или протоколы как альтернативу.

В вашем случае, если вы часто проверяете тип, возможно, стоит добавить вычисляемое свойство или метод в базовый класс Vehicle и переопределять его в подклассах — это будет более "свифтовым" решением.

protocol Describable {
    var description: String { get }
}

class Vehicle: Describable {
    var name: String
    var description: String { return "Транспортное средство: \(name)" }
    
    init(name: String) { self.name = name }
}

class Car: Vehicle {
    var doors: Int
    override var description: String { return "Машина \(name) с \(doors) дверьми" }
    
    init(name: String, doors: Int) {
        self.doors = doors
        super.init(name: name)
    }
}

class Bicycle: Vehicle {
    var gears: Int
    override var description: String { return "Велосипед \(name) с \(gears) передачами" }
    
    init(name: String, gears: Int) {
        self.gears = gears
        super.init(name: name)
    }
}

// Теперь не нужно проверять типы:
let vehicles: [Vehicle] = [Car(name: "Sedan", doors: 4), Bicycle(name: "Mountain Bike", gears: 21)]
for vehicle in vehicles {
    print(vehicle.description) // Каждый объект сам знает, что выводить
}