نماذج القيم والمجموعات والأخطاء

enum SeatError: Error { case invalidCount, insufficientCapacity }
struct Workshop {
    let id: String
    private(set) var seats: Int
    init(id: String, seats: Int) throws {
        guard !id.isEmpty, seats >= 0 else { throw SeatError.invalidCount }
        self.id = id; self.seats = seats
    }
    mutating func reserve(_ count: Int) throws {
        guard count > 0 else { throw SeatError.invalidCount }
        guard count <= seats else { throw SeatError.insufficientCapacity }
        seats -= count
    }
}

Accepted models have nonempty identity and nonnegative seats; invalid reservations throw before mutation.

تسمح private(set) بالقراءة وتقيد الكتابة المباشرة. المثال نموذج محلي وليس خدمة حجز حقيقية.

do {
    let original = try Workshop(id: "w-7", seats: 5)
    var draft = original
    try draft.reserve(2)
    print(original.seats)
    print(draft.seats)
} catch {
    print("Reservation rejected")
}

5
3

يعتمد المقتطف على Workshop في المثال الأول. لا تتغير سعة بعيدة أو معاملة حقيقية.