iv CONTENTS
18.1 Type Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
18.2 Abstract Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
18.3 Primitive Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
18.4 Composite Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
18.5 Mutable Composite Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
18.6 Declared Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
18.7 Type Unions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
18.8 Parametric Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Parametric Composite Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Parametric Abstract Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Tuple Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Vararg Tuple Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Named Tuple Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
Singleton Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
Parametric Primitive Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
18.9 UnionAll Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
18.10Type Aliases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
18.11Operations on Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
18.12Custom pretty-printing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
18.13"Value types" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
19 Methods 149
19.1 Dening Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
19.2 Method Ambiguities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
19.3 Parametric Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
19.4 Redening Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
19.5 Design Patterns with Parametric Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
Extracting the type parameter from a super-type . . . . . . . . . . . . . . . . . . . . . . . . . 157
Building a similar type with a dierent type parameter . . . . . . . . . . . . . . . . . . . . . . 158
Iterated dispatch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
Trait-based dispatch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
Output-type computation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
Separate convert and kernel logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
19.6 Parametrically-constrained Varargs methods . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
19.7 Note on Optional and keyword Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
19.8 Function-like objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
19.9 Empty generic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
19.10Method design and the avoidance of ambiguities . . . . . . . . . . . . . . . . . . . . . . . . . 163
Tuple and NTuple arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
Orthogonalize your design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
Dispatch on one argument at a time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
Abstract containers and element types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Complex method "cascades" with default arguments . . . . . . . . . . . . . . . . . . . . . . . 165
20 Constructors 167
20.1 Outer Constructor Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
20.2 Inner Constructor Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
20.3 Incomplete Initialization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
20.4 Parametric Constructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
20.5 Case Study: Rational . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
20.6 Outer-only constructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
评论0