File: moveonly_consuming_switch.swift

package info (click to toggle)
swiftlang 6.1.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,791,532 kB
  • sloc: cpp: 9,901,743; ansic: 2,201,431; asm: 1,091,827; python: 308,252; objc: 82,166; f90: 80,126; lisp: 38,358; pascal: 25,559; sh: 20,429; ml: 5,058; perl: 4,745; makefile: 4,484; awk: 3,535; javascript: 3,018; xml: 918; fortran: 664; cs: 573; ruby: 396
file content (55 lines) | stat: -rw-r--r-- 1,304 bytes parent folder | download | duplicates (2) 
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
        }
    }
}