Swift 4.2 はどのような進化をしているのか/whats-new-swift42

Copyright (C) DeNA Co.,Ltd. All Rights Reserved.
Swift 4.2 ͸
ͲͷΑ͏ͳਐԽΛ͍ͯ͠Δ͔ʁ
1
iOSDC JAPAN 2018
2018/08/31 (Fri)
 
Yusuke Hosonuma - DeNA SWET

View Slide

About
2

View Slide

Favorite
Kubernetes
Rust
Yusuke Hosonuma
DeNA SWET - Software Engineer in Test -
3
@tobi462

View Slide

࠷ۙɺ࡞ͬͨαʔϏε
4
஥ؒͱҰॹʹ

View Slide

5
CfPΛշదʹݕࡧ
ؔ࿈Πϕϯτ΋ʂ

View Slide

Today
6

View Slide

Swift 4.2 ͷมߋ఺
7

View Slide

Swift 4.2 ͷมߋ఺
8
ͦΕ͚ͩ͡Ό෺଍Γͳ͍ʁ

View Slide

ൃද౰࣌ ͔ΒৼΓฦͬͯΈΔ
9

View Slide

͓͜ͱΘΓ
10

View Slide

͓͜ͱΘΓ
11
͘͘͞͞ൃද͍͖ͯ͠·͢
1SPQPTBMશ෦͸ಡΊͯ·ͤΜ
Twitter ʹεϥΠυషΓ·ͨ͠
ิ଍πΠʔτେ׻ܴʂ

View Slide

Agenda
12

View Slide

Agenda
13
History Swift 4.2
1
2
3
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
ൃද
·Ͱͷྺ࢙
18ݸ͕࣮૷

View Slide

Agenda
14
Swift 4.2
1
2
3
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
͞Βͬͱ
History
ൃද
·Ͱͷྺ࢙

View Slide

Swift History
15

View Slide

WWDC 2014
16

View Slide

17

View Slide

·͔͞ͷ৽ݴޠ͕ൃදʂ
18
୭΋༧૝ͯ͠ͳ͔ͬͨʂ

View Slide

Swift ൃද
19
ߴ଎
Ϟμϯ
҆શ
ΠϯλϥΫςΟϒ

View Slide

υΩϡϝϯτ
88%$ձ৔͸େ͖ͳഥख
Swift
20
Swift ൃද
࠷ॳ͔Β
iOS։ൃऀ΋େ஫໨

View Slide

4.1·ͰΛৼΓฦΔ
21
͞Βͬͱ

View Slide

22
Swift 1.0
Swift 1.1
Swift 1.2
Swift 2.0
Swift 3.0
Swift 4.0
Swift 4.1
2014 - 09
10
2015 - 04
09
2016 - 09
2017 - 09
2018 - 03

View Slide

Swift 1.0
23

View Slide

24
Swift 1.0 1st ϦϦʔεʂ
CFUB൛ͷόάमਖ਼ɾ࢓༷มߋ
ΞΫηεम০ࢠ
beta 4

View Slide

Swift 1.1
25

View Slide

'BJMBCMF*OJUJBMJ[FS
΍͸ΓϏϧυ͕࣌ؒ௕͍
26
Swift 1.1 ҆ఆੑͷ޲্
͓ۚͰղܾʁ

View Slide

Swift 1.2
27

View Slide

*GMFUͷෳ਺αϙʔτ
TUBUJDએݴɹɹBT ɹɹBT
Ϗϧυͷߴ଎Խ
28
Swift 1.2 େ෯ͳػೳ௥Ճ
ࠩ෼Ϗϧυʂ

View Slide

Swift 2.0
29

View Slide

HVBSEMFU
ྫ֎ϋϯυϦϯάʢUSZDBUDIʣ
1SPUPDPMFYUFOTJPOT
30
Swift 2.0 ΦʔϓϯιʔεԽΛ༧ࠂ
Protocol Oriented Programming

View Slide

Swift 3.0
31

View Slide

"1*ΨΠυϥΠϯ
$ݴޠελΠϧGPSจͷഇࢭ
4XJGU1BDLBHF.BOBHFS
32
Swift 3.0 ഁյతͳ࢓༷มߋʢͲͬ͞Γʣ
໋໊نଇͷશ໘ݟ௚͠

View Slide

Swift 4.0
33

View Slide

$PEBCMF
ώΞυΩϡϝϯτ
จࣈྻͷίϨΫγϣϯԽ͕෮׆
34
Swift 4.0 ศརͳػೳ͕ଓʑͱ
ษڧձͰେਓؾʂ

View Slide

Swift 4.1
35

View Slide

$POEJUJPOBMDPOGPSNBODFT
࠶ؼతͳϓϩτίϧ੍໿
&RVBUBCMF)BTIBCMFͷ҉໧࣮૷
36
Swift 4.1 ܕγεςϜͳͲͷਐԽ
଴๬ͷػೳ

View Slide

ৼΓฦͬͯΈΔͱ
37

View Slide

͋ΒͨΊͯࢥ͏
38

View Slide

Swift ͬͯ
39

View Slide

Swift …
ഁյతͳ࢓༷มߋͷ࿈ଓ
όʔδϣϯҧ͍ͷωοτهࣄ
Ԇظ͠ଓ͚Δ"#*҆ఆԽ
40
ͳΜ͔ͩπϥΠ…

View Slide

ண࣮ʹਐԽ͍ͯ͠Δʁ
41
Ͱ΋

View Slide

͢΂ͯ͸ཧ૝ͷ
ϓϩάϥϛϯάݴޠͷͨΊʁ
42
௧Έແ͠ͰਐԽͳͲग़དྷͳ͍ʂ

View Slide

What’s Swift 4.2 ?
43

View Slide

Agenda
44
Swift 4.2
ຊ୊
1
2
3
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
History
ൃද
·Ͱͷྺ࢙

View Slide

Swift 4.2 ͷ֓ཁ
45

View Slide

9DPEF
ഁյతͳ࢓༷มߋ͸Θ͔ͣ
ݴޠͱͯ͠ॱ౰ͳόʔδϣϯΞοϓ
46
Swift 4.2 ͷ֓ཁ
ࠓ͸ beta 6
ͱ͍͏ҹ৅

View Slide

1
47
Swift 4.2
API ͷ௥Ճ / มߋ

View Slide

48
SE-0197
SE-0199
SE-0202
SE-0204
SE-0205
SE-0207
SE-0210
Adding in-place removeAll(where:) to the Standard Library
Adding toggle to Bool
Random Unification
Add last(where:) and lastIndex(where:) Methods
withUnsafePointer(to:_:) and withUnsafeBytes(of:_:) for immutable values
Add an allSatisfy algorithm to Sequence
Add an offset(of:) method to MemoryLayout
API ͷ௥Ճ / มߋ
̓ͭ

View Slide

Random Unification
49
SE-0202

View Slide

50
4XJGUඪ४ͷϥϯμϜ஋ੜ੒"1*͕௥Ճ
-JOVY؀ڥͰ΋ར༻Ͱ͖ΔΑ͏ʹ
ൣғ͔Βੜ੒
഑ྻ͔ΒϥϯμϜͰऔΓग़͠
഑ྻΛγϟοϑϧ
֓ཁ
Random Unification SE-0202

View Slide

1. ൣғ͔Βੜ੒
51

View Slide

52
import Foundation
Int(arc4random_uniform(UInt32(10))) // 0 ʙ 9
arc4random_uniform(UInt32(2)) == 0 ? true : false // true | false
ൣғʢ3BOHFʣ͔Βੜ੒
Swift 4.1

View Slide

53
import Foundation
Swift 4.1
'PVOEBUJPO͕ඞཁ

View Slide

54
import Foundation
Swift 4.1
4XJGUZͰͳ͍"1*

View Slide

55
import Foundation
Int.random(in: 0..<10) // 0 ʙ 9
Bool.random() // true | false
Swift 4.1
Swift 4.2

View Slide

56
import Foundation
Int.random(in: 0..<10) // 0 ʙ 9
Bool.random() // true | false
Swift 4.1
'PVOEBUJPOͷJNQPSU΋ෆཁʹ
Swift 4.2

View Slide

഑ྻ͔ΒϥϯμϜʹऔಘ
57

View Slide

58
let xs = [1, 2, 3, 4, 5]
if let x = xs.randomElement() {
print(x)
} else {
print("Array is empty.")
}
഑ྻ͔ΒϥϯμϜʹཁૉΛऔಘ
Swift 4.2

View Slide

59
let xs = [1, 2, 3, 4, 5]
print(x)
} else {
}
ϥϯμϜͰཁૉΛऔಘ
Swift 4.2

View Slide

60
let xs = [1, 2, 3, 4, 5]
print(x)
} else {
}
഑ྻ͕ۭͷ৔߹͸OJM
Swift 4.2

View Slide

഑ྻΛγϟοϑϧ
61

View Slide

62
let xs = [1, 2, 3, 4, 5]
xs.shuffled() // [4, 5, 1, 2, 3]
var ys = xs
ys.shuffle()
print(ys) // [3, 5, 4, 2, 1]
഑ྻΛγϟοϑϧ
Swift 4.2

View Slide

63
let xs = [1, 2, 3, 4, 5]
xs.shuffled() // [4, 5, 1, 2, 3]
var ys = xs
ys.shuffle()
print(ys) // [3, 5, 4, 2, 1]
഑ྻΛγϟοϑϧ
৽͍͠഑ྻΛฦ͢TIV⒐FE
Swift 4.2

View Slide

64
let xs = [1, 2, 3, 4, 5]
xs.shuffled() // [4, 5, 1, 2, 3]
var ys = xs
ys.shuffle()
print(ys) // [3, 5, 4, 2, 1]
഑ྻΛγϟοϑϧ
มߋ͢ΔTIV⒐F
Swift 4.2

View Slide

65
Adding toggle to Bool
SE-0199

View Slide

66
֓ཁ
Adding toggle to Bool SE-0199
#PPM஋ͷ൓సϝιουͷ௥Ճ
#PPM
• UPHHMF

View Slide

67
view.isHidden = !view.isHidden
#PPM஋Λ൓స
Swift 4.1

View Slide

68
#PPM஋Λ൓స
Swift 4.1
൱ఆԋࢉࢠͰ൓సͯ͠୅ೖ

View Slide

69
view.isHidden.toggle()
#PPM஋Λ൓స
Swift 4.1
Swift 4.2

View Slide

70
view.isHidden.toggle()
#PPM஋Λ൓స
Swift 4.1
νΣʔϯͷ్தʹ0QUJPOBM͕͋Δ৔߹͸͞Βʹศར
Swift 4.2

View Slide

ͪͳΈʹ࣮૷͸ʁ
71

View Slide

72
extension Bool {
@inlinable
public mutating func toggle() {
self = !self
}
}
࣮૷͸ʁ

View Slide

73
extension Bool {
@inlinable
public mutating func toggle() {
self = !self
}
}
࣮૷͸ʁ
ΠϯϥΠϯԽ͞ΕΔͷͰύϑΥʔϚϯε௿Լ΋৺഑ͳ͍

View Slide

74
Add last(where:) and
lastIndex(where:) Methods
SE-0204

View Slide

75
຤ඌ͔ΒཁૉΛ୳͢ϝιου͕௥Ճ
4FRVFODF
• MBTU XIFSF

• MBTU*OEFY XIFSF

• JOEFY XIFSF
➔pSTU*OEFY XIFSF

֓ཁ
Add last(where:) and lastIndex(where:) Methods SE-0204
Ұ؏ੑΛ࣋ͨͤΔͨΊมߋ

View Slide

76
let xs = [1, 2, 3, 2, 4]
(xs.reversed().firstIndex(of: 2)?.base).map {
xs.index(before: $0)
} // Optional(3)
ྫɿ࠷ޙͷʮʯͷ*OEFYΛऔಘ
Swift 4.1

View Slide

77
let xs = [1, 2, 3, 2, 4]
} // Optional(3)
൓సͯ͠ʢSFWFSTFEʣ
࠷ॳͷ*OEFYͷCBTFΛऔಘͯ͠
JOEFY CFGPSF
Ͱຊདྷͷ*OEFYʹ
Swift 4.1
ͱʹ͔͘໘౗…

View Slide

78
let xs = [1, 2, 3, 2, 4]
} // Optional(3)
xs.lastIndex(of: 2) // Optional(3)
Swift 4.1
Swift 4.2

View Slide

79
let xs = [1, 2, 3, 2, 4]
} // Optional(3)
xs.lastIndex(of: 2) // Optional(3)
Swift 4.1
؆ܿɾ໌ྎʂ
Swift 4.2

View Slide

80
Add an allSatisfy algorithm to
Sequence
SE-0207

View Slide

81
͢΂ͯͷཁૉ͕৚݅Λຬ͔ͨ͢൑ఆ͢Δ"1*
4FRVFODF
• BMM4BUJTGZ QSFDPOEJUJPO
#PPM
֓ཁ
Add an allSatisfy algorithm to Sequence SE-0207

View Slide

82
let xs = [2, 4, 6, 8]
!xs.contains { $0 % 2 != 0 } // true
ྫɿ഑ྻ಺ͷ͢΂ͯͷཁૉ͕ۮ਺͔ʁ
Swift 4.1

View Slide

83
let xs = [2, 4, 6, 8]
!xs.contains { $0 % 2 != 0 } // true
Swift 4.1
ۮ਺Ͱͳ͍ཁૉ͕

View Slide

let xs = [2, 4, 6, 8]
!xs.contains { $0 % 2 != 0 } // true
84
Swift 4.1
ؚ·Ε͍ͯͳ͍͜ͱ

View Slide

85
let xs = [2, 4, 6, 8]
!xs.contains { $0 % 2 != 0 } // true
xs.allSatisfy { $0 % 2 == 0 } // true
Swift 4.1
Swift 4.2

View Slide

86
let xs = [2, 4, 6, 8]
!xs.contains { $0 % 2 != 0 } // true
xs.allSatisfy { $0 % 2 == 0 } // true
Swift 4.1
؆ܿɾ໌ྎʂ
Swift 4.2

View Slide

87
Adding in-place removeAll(where:)
to the Standard Library
SE-0197

View Slide

88
৚݅Λຬͨ͢ཁૉΛ͢΂ͯআڈ͢Δ"1*
3BOHF3FQMBDFBCMF$PMMFDUJPO
• SFNPWF"MM XIFSF

֓ཁ
Adding in-place removeAll(where:) to the Standard Library SE-0197
ύϑΥʔϚϯε΋ྑ͍ʢin-placeʣ

View Slide

89
var xs = [1, 2, 3, 4]
xs = xs.filter { $0 % 2 != 0 } // [1, 3]
ྫɿ഑ྻ͔Βۮ਺Λ͢΂ͯऔΓআ͘
Swift 4.1

View Slide

90
var xs = [1, 2, 3, 4]
xs = xs.filter { $0 % 2 != 0 } // [1, 3]
Swift 4.1
ۮ਺Ͱͳ͍ཁૉΛ

View Slide

91
var xs = [1, 2, 3, 4]
xs = xs.filter { $0 % 2 != 0 } // [1, 3]
Swift 4.1
औΓग़ͯ͠࠶୅ೖ

View Slide

92
xs.removeAll { $0 % 2 == 0 } // [1, 3]
var xs = [1, 2, 3, 4]
xs = xs.filter { $0 % 2 != 0 } // [1, 3]
Swift 4.1
Swift 4.2

View Slide

93
xs.removeAll { $0 % 2 == 0 } // [1, 3]
var xs = [1, 2, 3, 4]
xs = xs.filter { $0 % 2 != 0 } // [1, 3]
Swift 4.1
؆ܿɾ໌ྎʂ
Swift 4.2

View Slide

94
withUnsafePointer(to:_:) and
withUnsafeBytes(of:_:) for
immutable values
SE-0205

View Slide

95
MFUͳ஋ʹରͯ͠΋௚઀ݺͼग़ͤΔΑ͏ʹ
XJUI6OTBGF1PJOUFS [email protected]

XJUI6OTBGF#ZUFT [email protected]

֓ཁ
withUnsafePointer(to:_:) and withUnsafeBytes(of:_:) for immutable values SE-0205

View Slide

96
let x = 42
var copy = x
withUnsafePointer(to: &copy) { pointer in
print(pointer.pointee) // 42
}
XJUI6OTBGF1PJOUFS
Swift 4.1

View Slide

97
let x = 42
var copy = x
}
XJUI6OTBGF1PJOUFS
Swift 4.1
WBSʹ୅ೖ͠௚ͯ͠

View Slide

98
let x = 42
var copy = x
}
XJUI6OTBGF1PJOUFS
Swift 4.1
ࢀরΛ౉͢

View Slide

99
let x = 42
var copy = x
}
withUnsafePointer(to: x) { pointer in
}
XJUI6OTBGF1PJOUFS
Swift 4.1
Swift 4.2

View Slide

100
let x = 42
var copy = x
}
withUnsafePointer(to: x) { pointer in
}
XJUI6OTBGF1PJOUFS
Swift 4.1
௚઀YΛ౉ͤΔΑ͏ʹ
Swift 4.2

View Slide

101
Add an offset(of:) method to
MemoryLayout
SE-0210

View Slide

102
ࢦఆͨ͠ΩʔύεͷϝϞϦΦϑηοτΛऔಘ͢Δ"1*
.FNPSZ-BZPVU
• P⒎TFU PG

֓ཁ
Add an offset(of:) method to MemoryLayout SE-0210
OpenGL ͳͲͰศརʢΒ͍͠ʣ

View Slide

103
struct Point {
var x: Int
var y: Int
}
struct Circle {
var center: Point
var radius: Int
}
MemoryLayout.offset(of: \Circle.center.x) // 0
MemoryLayout.offset(of: \Circle.center.y) // 8
MemoryLayout.offset(of: \Circle.radius) // 16
ϝϞϦͷΦϑηοτΛऔಘ
Swift 4.2

View Slide

104
struct Point {
var x: Int
var y: Int
}
struct Circle {
var center: Point
var radius: Int
}
ߏ଄ମ
Swift 4.2

View Slide

105
struct Point {
var x: Int
var y: Int
}
struct Circle {
var center: Point
var radius: Int
}
,FZ1BUIͰϓϩύςΟΛࢦఆ
Swift 4.2

View Slide

106
struct Point {
var x: Int
var y: Int
}
struct Circle {
var center: Point
var radius: Int
}
Swift 4.2
.FNPSZ-BZPVUP⒎TFUʹ౉͢

View Slide

107
struct Point {
var x: Int
var y: Int
}
struct Circle {
var center: Point
var radius: Int
}
← 0 byte
Point x
y
radius
Int
Int
Int
Circle
← 8 byte
← 16 byte

View Slide

2
108
Swift 4.2
ݴޠ࢓༷

View Slide

109
SE-0054
SE-0143
SE-0193
SE-0194
SE-0195
SE-0196
SE-0206
SE-0212
Abolish ImplicitlyUnwrappedOptional type
Conditional conformances
Cross-module inlining and specialization
Derived Collection of Enum Cases
Introduce User-defined "Dynamic Member Lookup" Types
Compiler Diagnostic Directives
Hashable Enhancements
Compiler Version Directive
ݴޠ࢓༷
8ͭ

View Slide

110
SE-0206
Hashable Enhancements

View Slide

111
)BTIBCMFϓϩτίϧͷ࣮૷ํ๏͕มߋ
4XJGU
• IBTI7BMVF

4XJGU
• IBTI JOUPIBTIFSJOPVU)BTIFS

֓ཁ
Hashable Enhancements SE-0206

View Slide

112
)BTIBCMFϓϩτίϧͷ࣮૷ํ๏͕มߋ
4XJGU
• IBTI7BMVF

4XJGU
• IBTI JOUPIBTIFSJOPVU)BTIFS

֓ཁ

View Slide

113
class Person: Hashable {
let name: String
let age: Int
init(name: String, age: Int) {
self.name = name
self.age = age
}
static func == (lhs: Person, rhs: Person) -> Bool {
return lhs.name == rhs.name && lhs.age == rhs.age
}
}
ྫɿ1FSTPOΫϥεʹ)BTIBCMFΛద߹
Swift 4.2

View Slide

114
class Person: Hashable {
let name: String
let age: Int
init(name: String, age: Int) {
self.name = name
self.age = age
}
static func == (lhs: Person, rhs: Person) -> Bool {
return lhs.name == rhs.name && lhs.age == rhs.age
}
}
&RVBUBCMF΁ͷ४ڌ΋ඞཁ
Swift 4.2

View Slide

115
extension Person: Hashable {
var hashValue: Int {
return name.hashValue ^ age.hashValue &* 42
}
}
Swift 4.1

View Slide

}
}
116
Swift 4.1
ࣗલͰϋογϡ஋Λܭࢉ͢Δඞཁ͕͋ͬͨ

View Slide

}
}
117
func hash(into hasher: inout Hasher) {
hasher.combine(name)
hasher.combine(age)
}
}
Swift 4.1
Swift 4.2

View Slide

}
}
118
hasher.combine(age)
}
}
Swift 4.1
Swift 4.2
ϋογϡ஋Λܭࢉ͢ΔΦϒδΣΫτ

View Slide

}
}
119
hasher.combine(age)
}
}
Swift 4.1
DPNCJOFΛݺΜͰ͍͚͹0,
Swift 4.2

View Slide

120
Derived Collection of Enum Cases
SE-0194

View Slide

121
&OVNͷDBTF͕ྻڍͰ͖ΔΑ͏ʹ
$BTF*UFSBCMFϓϩτίϧΛ࣮૷
• ࣗ෼ͰΧελϚΠζ΋Մೳ
֓ཁ
Derived Collection of Enum Cases SE-0194

View Slide

Swift 4.1 ͷ৔߹
122

View Slide

123
enum Signal {
case blue
case yellow
case red
}
extension Signal {
static var all: [Signal] { return [.blue, .yellow, .red] }
static var count: Int { return all.count }
}
Signal.all // [.blue, .yellow, .red]
Signal.all.count // 3
FOVNͷྻڍʢ4XJGUʣ
Swift 4.1

View Slide

124
enum Signal {
case blue
case yellow
case red
}
extension Signal {
}
BMMͱDPVOUΛࣗ෼Ͱ࣮૷
Swift 4.1

View Slide

125
enum Signal {
case blue
case yellow
case red
}
extension Signal {
}
मਖ਼࿙Ε͕ൃੜ͢ΔՄೳੑʜ
Swift 4.1

View Slide

Swift 4.2 ͷ৔߹
126

View Slide

127
enum Signal: CaseIterable {
case blue
case yellow
case red
}
Signal.allCases // [.blue, .yellow, .red]
Signal.allCases.count // 3
Swift 4.2

View Slide

128
case blue
case yellow
case red
}
$BTF*UFSBCMFΛ࣮૷
Swift 4.2

View Slide

129
case blue
case yellow
case red
}
BMM$BTFTͰྻڍͰ͖Δʂ
Swift 4.2

View Slide

130
• FOVNʹBTTPDJBUFEWBMVFT͕͋Δ৔߹͸ 
BMM$BTFTΛࣗ෼Ͱ࣮૷͢Δඞཁ͋Γ
case blue
case yellow
case red
}
Swift 4.2

View Slide

allCases ͷΧελϚΠζ
131

View Slide

132
enum Week: String, CaseIterable {
case sunday, monday, tuesday, wednesday, thursday, friday, saturday
static var allCases: [Week] {
return [.sunday, .saturday]
}
}
Week.allCases.map { $0.rawValue } // [.sunday, .saturday]
BMM$BTFTͷΧελϚΠζ
Swift 4.2

View Slide

enum Week: String, CaseIterable {
case sunday, monday, tuesday, wednesday, thursday, friday, saturday
static var allCases: [Week] {
return [.sunday, .saturday]
}
}
Week.allCases.map { $0.rawValue } // [.sunday, .saturday]
133
BMM$BTFTͷΧελϚΠζ
BMM$BTFTΛ࣮૷ͯ͠഑ྻΛฦ͢
Swift 4.2

View Slide

134
Introduce User-defined
”Dynamic Member Lookup" Types
SE-0195

View Slide

135
ίϯύΠϧஈ֊Ͱ֬ఆͯ͠ͳ͍ϓϩύςΟʹ 
υοτه๏ͰΞΫηεͰ͖Δ࢓૊Έ
֓ཁ
Introduce User-defined "Dynamic Member Lookup" Types SE-0195
%ZOBNJD.FNCFS-PPLVQ
• $ISJT-BUUOFS͕ఏҊɾ࣮૷
• +40/΍֎෦ݴޠͷݺͼग़͠ʢ''*ʣͳͲʹ

View Slide

ྫɿplist ʹΞΫηε͢Δ
136

View Slide

137
@dynamicMemberLookup
struct Plist {
let plist = [ “version" : "1.0" ]
subscript(dynamicMember key: String) -> String {
return plist[key] ?? "-"
}
}
let plist = Plist()
plist.version // 1.0
plist.name // -
ྫɿQMJTUʹ҆શʹΞΫηε
Swift 4.2

View Slide

138
struct Plist {
}
}
let plist = Plist()
plist.name // -
ଐੑΛఆٛ Swift 4.2

View Slide

139
struct Plist {
}
}
let plist = Plist()
plist.name // -
EZOBNJD.FNCFS
Swift 4.2

View Slide

140
struct Plist {
}
}
let plist = Plist()
plist.name // -
ରԠ͢ΔΩʔ͕ແ͔ͬͨΒσϑΥϧτ஋
Swift 4.2

View Slide

141
struct Plist {
}
}
let plist = Plist()
plist.name // -
ϓϩύςΟͷΑ͏ʹΞΫηεͰ͖Δ
Swift 4.2

View Slide

ྫɿPython ࿈ܞ
142
Proposal ΑΓൈਮ

View Slide

Swift 4.1
143

View Slide

144
// import pickle
let pickle = Python.get(member: "import")("pickle")
// file = open(filename)
let file = Python.get(member: "open")(filename)
// blob = file.read()
let blob = file.get(member: "read")()
// result = pickle.loads(blob)
let result = pickle.get(member: "loads")(blob)
4XJGU

View Slide

145
// import pickle
let pickle = Python.get(member: "import")("pickle")
let file = Python.get(member: "open")(filename)
let blob = file.get(member: "read")()
let result = pickle.get(member: "loads")(blob)
4XJGU
ϝιουͳͲΛ͢΂ͯจࣈྻͰࢦఆ

View Slide

Swift 4.2
146

View Slide

147
// import pickle
let pickle = Python.import("pickle")
let file = Python.open(filename)
let blob = file.read()
let result = pickle.loads(blob)
4XJGU

View Slide

148
// import pickle
let pickle = Python.import("pickle")
let file = Python.open(filename)
let blob = file.read()
let result = pickle.loads(blob)
4XJGU
ݩͷ1ZUIPOίʔυͱ΄΅ಉ͡ʹ

View Slide

149
Abolish
ImplicitlyUnwrappedOptional type
SE-0054

View Slide

150
*60ܕɹ➔ɹ*60ଐੑ
*NQMJDJUMZ6OXSBQQFE0QUJPOBMܕ
• ҉໧తΞϯϥοϓܕʢFY4USJOHʣ
• 4XJGUY͔Β։࢝͞Εͨ
• 0QUJPOBMܕʹ౷Ұ
֓ཁ
Abolish ImplicitlyUnwrappedOptional type SE-0054
4.2 Ͱ׬શഇࢭʂ

View Slide

151
*60ܕɹ➔ɹ*60ଐੑ
ϝϦοτ
• ίϯύΠϥ࣮૷͕γϯϓϧʹͳΔ
• 4XJGUར༻ऀʹͱͬͯ͸΄΅Өڹ͕ͳ͍
֓ཁ
Β͍͠

View Slide

[Int!] ͷܕ͸Կ͔ʁ
152
Λௐ΂ͯΈΔ

View Slide

153
let xs: [Int!] = [1, 2, 3]
type(of: xs) // Array>.Type
<*OU>ͷܕ͸Կ͔ʁ
Swift 4.1

View Slide

154
let xs: [Int!] = [1, 2, 3]
<*OU>ͷܕ͸Կ͔ʁ
Swift 4.1
*NQMJDJUMZ6OXSBQQFE0QUJPOBM*OU

View Slide

155
let xs: [Int!] = [1, 2, 3]
<*OU>ͷܕ͸Կ͔ʁ
Swift 4.1
Swift 4.2

View Slide

156
let xs: [Int!] = [1, 2, 3]
<*OU>ͷܕ͸Կ͔ʁ
Swift 4.1
0QUJPOBM*OU
Swift 4.2

View Slide

157
let xs: [Int!] = [1, 2, 3]
<*OU>ͷܕ͸Կ͔ʁ
Swift 4.1
Swift 4.2
• ɹ*NQMJDJUMZ6OXSBQQFE0QUJPOBM*OU
• ɹ0QUJPOBM*OU

View Slide

IUO ଐੑͱ͸ʁ
158

View Slide

159
@implicitlyUnwrappedOptional
let xs: Int? = 42
*60ଐੑͱ͸ʁ
Swift 4.2

View Slide

160
let xs: Int? = 42
*60ଐੑͱ͸ʁ
͜͏͍͏ଐੑ͕෇༩͞Εͯ
Swift 4.2

View Slide

161
let xs: Int? = 42
*60ଐੑͱ͸ʁ
ܕ͸0QUJPOBM*OU
Swift 4.2

View Slide

162
let xs: Int? = 42
*60ଐੑͱ͸ʁ
ίϯύΠϥ಺෦ଐੑͳͷͰఆٛෆՄ
Swift 4.2

View Slide

163
Conditional conformances
SE-0143

View Slide

164
৚݅෇͖ͷϓϩτίϧద߹
4XJGUɹಋೖ
4XJGUɹվળ
• ࣮ߦ࣌ͷϓϩτίϧద߹൑ఆ
• ഑ྻ΍σΟΫγϣφϦ͕)BTIBCMFʹద߹
֓ཁ
Conditional conformances SE-0143

View Slide

165
$POEJUJPOBMDPOGPSNBODFTʁ

View Slide

166
extension Array: Equatable where Element: Equatable {
}
$POEJUJPOBM$POGPSNBODFT
Swift 4.2

View Slide

167
}
ཁૉͷܕ͕&RVBUBCMFͳ৔߹ʹ
Swift 4.2

View Slide

168
}
"SSBZΛ&RVBUBCMFʹ४ڌ
Swift 4.2

View Slide

169
}
4XJGU͔ΒͰ͖ΔΑ͏ʹͳͬͨ
Swift 4.2

View Slide

170
࣮ߦ࣌ͷϓϩτίϧద߹൑ఆ
4.2 Ͱͷվળ ᶃ

View Slide

171
protocol Drinkable {
func drink()
}
struct Curry: Drinkable {
func drink() {
print("ΧϨʔ͸ҿΈ෺ʂ")
}
}
extension Array: Drinkable where Element: Drinkable {
func drink() {
for x in self {
x.drink()
}
}
}
ྫɿཁૉ͕ʮҿΊΔʯͳΒ͹શମͱͯ͠΋ʮҿΊΔʯ
Swift 4.2

View Slide

172
func drink()
}
func drink() {
}
}
func drink() {
for x in self {
x.drink()
}
}
}
ʮҿΊΔʯΛදݱ͢Δϓϩτίϧ

View Slide

173
func drink()
}
func drink() {
}
}
func drink() {
for x in self {
x.drink()
}
}
}
ΧϨʔ͸΋ͪΖΜʮҿΈ෺ʯ

View Slide

174
func drink()
}
func drink() {
}
}
func drink() {
for x in self {
x.drink()
}
}
}
ΧϨʔࡼ͕ʮҿΈ෺ʯͰ͋Ε͹ɺԿࡼͰ΋ʮҿΈ෺ʯ

View Slide

175
let items: Any = [Curry(), Curry(), Curry()]
if let drinks = items as? Drinkable {
drinks.drink()
}
࣮ߦ࣌ʹ1SPUPDPM΁ͷ४ڌΛ൑ఆ
Swift 4.1

View Slide

176
drinks.drink()
}
Swift 4.1
<$VSSZ>Λ"OZͰએݴ

View Slide

177
drinks.drink()
}
Swift 4.1
%SJOLBCMFʹ४ڌ͍ͯ͠Δ͔ʁ

View Slide

178
drinks.drink()
}
Swift 4.1
warning:
Swift runtime does not yet support dynamically querying conditional
conformance
Ͱ͸ਖ਼͘͠൑ఆͰ͖ͳ͔ͬͨ

View Slide

drinks.drink()
}
// ΧϨʔ͸ҿΈ෺ʂ
179
Ͱ͸ҿΊΔΑ͏ʹʂ
Swift 4.2

View Slide

180
഑ྻͳͲ͕)BTIBCMFʹద߹
4.2 Ͱͷվળ ᶄ

View Slide

181
struct User: Hashable {
var name: String
var pets: [String]
}
ྫɿߏ଄ମ΁ͷ)BTIBCMFద߹
Swift 4.1

View Slide

182
var name: String
var pets: [String]
}
• <4USJOH>͕)BTIBCMFʹద߹͍ͯ͠ͳ͍
❌ͩͱίϯύΠϧΤϥʔ
Swift 4.1

View Slide

183
var name: String
var pets: [String]
}
• ཁૉ͕)BTIBCMFͰ͋Ε͹ɺ഑ྻ΋)BTIBCMFʹద߹
• 0QUJPOBMɺ%JDUJPOBSZɺ3BOHFͳͲʹ͍ͭͯ΋ಉ༷
⭕ͳΒ͜ͷ··Ͱ0,ʂ
Swift 4.2

View Slide

184
Compiler Diagnostic Directives
SE-0196

View Slide

185
ίϯύΠϧ࣌ʹܯࠂɾΤϥʔ͕ग़ͤΔσΟϨΫςΟϒ
XBSOJOH
FSSPS
֓ཁ
Compiler Diagnostic Directives SE-0196
Objective-C ʹ͸͋ͬͨ

View Slide

186
#warning("औಘͨ͠APIΩʔΛઃఆ͍ͯͩ͘͠͞ɻ")
let apiKey = ""
#error("ίʔϧόοΫURLΛઃఆ͢Δඞཁ͕͋Γ·͢ɻ")
let callbackURL = ""
ίϯύΠϥɾσΟϨΫςΟϒ
Swift 4.2

View Slide

187
let apiKey = ""
XBSOJOHͰܯࠂ
Swift 4.2

View Slide

188
let apiKey = ""
FSSPSͰίϯύΠϧΤϥʔ
Swift 4.2

View Slide

189
let apiKey = ""
ར༻ྫɿαϯϓϧίʔυʹهड़
Swift 4.2

View Slide

190
9DPEFͰͷදࣔ
௨ৗͷXBSOJOHFSSPSͱಉ༷

View Slide

191
Compiler Version Directive
SE-0212

View Slide

192
DPNQJMFSͷಋೖ
4XJGUίϯύΠϥͷόʔδϣϯͰ੾Γ෼͚
Compiler Version Directive SE-0212
֓ཁ
Swift όʔδϣϯ Ͱ͔͠ग़དྷͳ͔ͬͨ

View Slide

193
TXJGU
Ͱ SwiftίϯύΠϥ 4.1+ Λ൑ఆ

View Slide

194
#if swift(>=4.1) || (swift(>=3.3) && !swift(>=4.0))
// ίϯύΠϥ 4.1 Ҏ্Ͱ༗ޮͳίʔυ
#endif
4XJGUίϯύΠϥΛ൑ఆ
Swift --swift-version 3 --swift-version 4
4.0 3.2 4.0
4.1 3.3 4.1
4.2 3.4 4.1.5
Swift 4.2

View Slide

195
#if swift(>=4.1) || (swift(>=3.3) && !swift(>=4.0))
#endif
Swift --swift-version 3 --swift-version 4
4.0 3.2 4.0
4.1 3.3 4.1
4.2 3.4 4.1.5
ޓ׵Ϟʔυ΋ؚΊͨ4XJGUόʔδϣϯͰ൑ఆ
Swift 4.2

View Slide

196
DPNQJMFS

View Slide

197
#if compiler(>=4.2)
#endif
Swift 4.2

View Slide

198
#if compiler(>=4.2)
#endif
ίϯύΠϥͷόʔδϣϯͰ൑ఆͰ͖Δ
Swift 4.2

View Slide

199
Cross-module inlining and
specialization
SE-0193

View Slide

200
ϞδϡʔϧؒͷΠϯϥΠϯԽΛࢦఆͰ͖ΔΑ͏ʹ
ͭͷଐੑ͕௥Ճ
• !JOMJOBCMF
• !VTBCMF'SPN*OMJOF
Cross-module inlining and specialization SE-0193
֓ཁ
ࠓ·Ͱ͸Ϟδϡʔϧ಺ͷΈ

View Slide

201
ΠϯϥΠϯԽͱ͸ʁ

View Slide

202
func add(_ x: Int, _ y: Int) -> Int {
return x + y
}
add(1, 2)
ΠϯϥΠϯԽ
Swift 4.2

View Slide

return x + y
}
add(1, 2)
203
ΠϯϥΠϯԽ
ؔ਺ݺͼग़͠ͷΦʔόʔϔουֻ͕͔Δ
Swift 4.2

View Slide

return x + y
}
add(1, 2)
204
ΠϯϥΠϯԽ
1 + 2
Swift 4.2
Swift 4.2

View Slide

return x + y
}
add(1, 2)
205
ΠϯϥΠϯԽ
1 + 2
Swift 4.2
Swift 4.2
ؔ਺ͷຊମίʔυΛల։

View Slide

206
ϞδϡʔϧؒͷΠϯϥΠϯԽ

View Slide

207
public class Counter {
@usableFromInline var count: Int = 0
public init() {}
@inlinable public func add() -> Int {
count += 1
return count
}
}
!JOMJOBCMF
Swift 4.2

View Slide

208
public init() {}
count += 1
return count
}
}
!JOMJOBCMF
ؔ਺ͷΠϯϥΠϯԽΛએݴ
Swift 4.2

View Slide

209
public init() {}
count += 1
return count
}
}
!JOMJOBCMF
!JOMJOBCMFͳؔ਺͔Βར༻͞ΕΔ৔߹ʹඞཁ
Swift 4.2

View Slide

210
public init() {}
count += 1
return count
}
}
!JOMJOBCMF
• Ϟδϡʔϧ֎͔Βݺͼग़ͨ࣌͠ʹΠϯϥΠϯԽΛڐՄ
• ࣮ࡍʹΠϯϥΠϯԽ͞ΕΔ͔͸ίϯύΠϥґଘ
Swift 4.2

View Slide

3
211
Swift 4.2
Swift Package Manager

View Slide

212
Swift Package Manager
3ͭ
SE-0201
SE-0208
SE-0209
Package Manager Local Dependencies
Package Manager System Library Targets
Package Manager Swift Language Version API Update

View Slide

213
SE-0201
Package Manager Local
Dependencies

View Slide

214
-PDBMύε΋ґଘؔ܎ͰࢦఆͰ͖ΔΑ͏ʹ
QBDLBHF QBUI

֓ཁ
Package Manager Local Dependencies SE-0201
ࠓ·Ͱ͸ϦϞʔτ΁ͷUP͕ඞཁͩͬͨ

View Slide

215
import PackageDescription
let package = Package(
name: "Package",
dependencies: [
.package(path: "/path/to/MyPackage", from: "1.0.0"),
],
...
)
-PDBMύεʹ͋ΔґଘΛࢦఆ
Swift 4.2

View Slide

216
name: "Package",
dependencies: [
.package(path: "/path/to/MyPackage", from: "1.0.0"),
],
...
)
-PDBMύεʹ͋ΔґଘΛࢦఆ
-PDBMύεΛࢦఆՄೳʹ
Swift 4.2

View Slide

217
SE-0209
Package Manager Swift Language
Version API Update

View Slide

218
TXJGU-BOHVBHF7FSTJPOTͷࢦఆ͕&OVNʹ
4XJGU
• *OUͰࢦఆ
4XJGU
• 4XJGU7FSTJPOͰࢦఆ
֓ཁ
Package Manager Swift Language Version API Update SE-0209

View Slide

219
TXJGU-BOHVBHF7FSTJPOTͷࢦఆ͕&OVNʹ
4XJGU
• *OUͰࢦఆ
4XJGU
• 4XJGU7FSTJPOͰࢦఆ
֓ཁ
Enum

View Slide

220
...
swiftLanguageVersions: [4]
)
TXJGU-BOHVBHF7FSTJPOT
Swift 4.1

View Slide

221
...
)
Swift 4.1
*OUͷ഑ྻͰࢦఆ͍ͯͨ͠

View Slide

222
...
swiftLanguageVersions: [.v4_2, .version("5.0")]
)
...
)
Swift 4.1
Swift 4.2

View Slide

223
...
swiftLanguageVersions: [.v4_2, .version("5.0")]
)
...
)
Swift 4.1
FOVNͷ഑ྻͰࢦఆ͢ΔΑ͏ʹ
Swift 4.2

View Slide

224
SE-0208
Package Manager
System Library Targets

View Slide

225
γεςϜϥΠϒϥϦͷґଘࢦఆ͕มߋ
4XJGU
• 1BDLBHFͱͯ͠෼ׂ͕ඞཁ
4XJGU
• 5BSHFUͱͯ͠ࢦఆ
֓ཁ
Package Manager System Library Targets SE-0208

View Slide

226
γεςϜϥΠϒϥϦͷґଘࢦఆ͕มߋ
4XJGU
• 1BDLBHFͱͯ͠෼ׂ͕ඞཁ
4XJGU
• 5BSHFUͱͯ͠ࢦఆ
֓ཁ

View Slide

227
γεςϜϥΠϒϥϦͷࢦఆ
libxml2
Clibxml
Main
Swift 4.1

View Slide

228
libxml2
Clibxml
Main
Swift 4.1
ؒʹύοέʔδ͕ඞཁ

View Slide

229
libxml2
Clibxml
Main
libxml2
Main
Swift 4.1 Swift 4.2

View Slide

230
libxml2
Clibxml
Main
libxml2
Main
Swift 4.1 Swift 4.2
5BSHFUͰ௚઀ࢦఆ

View Slide

231
...
targets: [
.systemLibrary(
name: "CLibxml",
pkgConfig: "libxml2"
)
]
)
Swift 4.2

View Slide

232
...
targets: [
.systemLibrary(
name: "CLibxml",
pkgConfig: "libxml2"
)
]
)
5BSHFUͰ௚઀ࢦఆ
Swift 4.2

View Slide

Conclusion
233

View Slide

234
4XJGUͷൃදʙ·Ͱͷྺ࢙
4XJGUͷมߋ఺
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
ࠓ೔ɺ࿩ͨ͜͠ͱ
1
2
3

View Slide

235
4XJGUͷมߋ఺
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
18 proposals
1
2
3
ࠓ೔ɺ࿩ͨ͜͠ͱ

View Slide

236
4XJGUͷมߋ఺
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
1
2
3
ࠓ೔ɺ࿩ͨ͜͠ͱ

View Slide

237
4XJGUͷมߋ఺
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
1
2
3
ࠓ೔ɺ࿩ͨ͜͠ͱ

View Slide

238
4XJGUͷมߋ఺
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
1
2
3
ࠓ೔ɺ࿩ͨ͜͠ͱ

View Slide

239
4XJGUͷมߋ఺
"1*ͷ௥Ճมߋ
ݴޠ࢓༷
4XJGU1BDLBHF.BOBHFS
ਐԽͯͨ͠ʁ
1
2
3
ࠓ೔ɺ࿩ͨ͜͠ͱ

View Slide

Swift is evolving
240

View Slide

Swift 4.2 はどのような進化をしているのか/whats-new-swift42

Swift 4.2 はどのような進化をしているのか/whats-new-swift42

Yusuke Hosonuma

More Decks by Yusuke Hosonuma

Other Decks in Programming

Featured

Transcript