File: moveonly_consuming_switch.swift

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (55 lines) | stat: -rw-r--r-- 1,304 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
 
// RUN: %target-swift-frontend -emit-sil -verify %s -disable-availability-checking

struct Box<Wrapped: ~Copyable>: ~Copyable {
    private let _pointer: UnsafeMutablePointer<Wrapped>
    
    init(_ element: consuming Wrapped) {
        _pointer = .allocate(capacity: 1)
        print("allocating",_pointer)
        _pointer.initialize(to: element)
    }
        
    deinit {
        print("deallocating",_pointer)
        _pointer.deinitialize(count: 1)
        _pointer.deallocate()
    }
    
    consuming func move() -> Wrapped {
        let wrapped = _pointer.move()
        print("deallocating", _pointer)
        _pointer.deallocate()
        discard self
        return wrapped
    }
}

enum List<Element: ~Copyable>: ~Copyable {
    case empty
    case node(Element, Box<List>)
}

extension List {
    init() { self = .empty }
    
    mutating func push(_ element: consuming Element) {
        self = .node(element, Box(self))
    }
        
    mutating func pop() -> Element {
        switch consume self {
        case .node(let element, let box):
            self = box.move()
            return element
        case .empty:
            fatalError()
        }
    }
    
    var isEmpty: Bool {
        switch self {
        case .empty: true
        case .node: false
        }
    }
}