What Will be changed in Swiftɹ v4.0.0.1 Daiki Matsudate / @d_date ୈ72ճ Cocoaษڧձؔ੢

No content

No content

No content

Qiitaʹهࣄ্͛·ͨ͠

Agenda • ͱͯ΋60πΠʔτͰ͸πΠʔτͰ͖ͳ͔ͬͨ • Swift 4ͷมߋ఺ʹ͍͓ͭͯ࿩͠·͢

Agenda • Ͳ͏΍ͬͯௐ΂ͨͷ͔ʁ • Swift TweetsͷൃදͰͷగਖ਼ • Swift TweetsޙʹAccept͞ΕͨProposal

Ͳ͏΍ͬͯௐࠪͨ͠ͷ͔

Ͳ͏΍ͬͯௐࠪͨ͠ͷ͔ • Swift-evolutionͷREADMEΛಡΉ • ManifestΛಡΉ • ֤ϓϩϙʔαϧͷεςʔλεΛ֬ೝ͢Δ • ϝʔϦεΛ೷͍ͯΈΔ

Mediumʹهࣄ্͛·ͨ͠ • ͱͯ΋60πΠʔτͰ͸πΠʔτͰ͖ͳ͔ͬͨ • Swift 4ͷมߋ఺ʹ͍͓ͭͯ࿩͠·͢

v4.0.0.1 Update

Bug Fixed#

Swift 3 / 4Ϟʔυʹ͍ͭͯ ͲΜͳʹࣗ෼ͷιʔείʔυΛSwift4ରԠͯ͠΋ɺϑ ϨʔϜϫʔΫ͕Swift4ͰϏϧυ͞Ε͍ͯͳ͚Ε͹ίϯύ Πϧ͕௨Γ·ͤΜɻOSS։ൃऀͷΈͳ͞·ɺ͝ରԠΑΖ ͓͘͠ئ͍͠·͢$

Swift 3 / 4Ϟʔυʹ͍ͭͯ ͲΜͳʹࣗ෼ͷιʔείʔυΛSwift4ରԠͯ͠΋ɺϑ ϨʔϜϫʔΫ͕Swift4ͰϏϧυ͞Ε͍ͯͳ͚Ε͹ίϯύ Πϧ͕௨Γ·ͤΜɻOSS։ൃऀͷΈͳ͞·ɺ͝ରԠΑΖ ͓͘͠ئ͍͠·͢$

ҟͳΔݴޠϞʔυʹΑΔίʔυͷࠞࡏ • Ϟδϡʔϧ୯ҐͰͷόʔδϣϯࢦఆ͕Մೳɹɹɹɹ ྫ) ΞϓϦ͸Swift4, ϑϨʔϜϫʔΫ͸Swift3

Additional Accepted Proposals (+7 %)

[SE-0155] Enum Caseͷਖ਼نԽ Accepted ●มߋલ enumͷAssociated Value͸λϓϧ ●มߋޙ enumͷAssociated Valueʹ͸ɺಠࣗͷୈҰڃߏจΛ దԠ͢Δɻ

●ϥϕϧ͸ίϯετϥΫλ໊ͷҰ෦ Expr.elet(locals: [], body: anExpr) // ⭕, Swift 3ͷํ๏ Expr.elet(locals: body:)([], anExpr) // ⭕, Swift 4͔ΒՄೳ // f(x: y:)(0, 0)ͱಉ͡ Expr.elet(locals: body:)(locals: 0, body: 0) // ❌ enum Expr { indirect case elet(locals: [(String, Expr)], body: Expr) }

●ϥϕϧ͸λϓϧͷҰ෦Ͱ͸ͳ͍ enum Expr { indirect case elet(locals: [(String, Expr)], body: Expr) } let f = Expr.elet //([(String,Expr)],Expr) -> Expr f([], anExpr) // ⭕ f(locals: [], body: anExpr) // ❌ ม਺ʹ֨ೲ͢Δͱɺϥϕϧͷ৘ใ͕ফ͑Δ

enum SyntaxTree { case type(variables: [TypeVariable]) case type(instantiated: [Type]) } case .type // ❌: ᐆດ case .type(variables: let variables) // ⭕:ϑϧωʔϜΛࢦఆ͢Δ ● ڞ௨ͷϕʔεωʔϜΛ࢖͑Δ

enum Animation { case fadeIn(duration: TimeInterval = 0.3) // ⭕ } let anim = Animation.fadeIn() // ⭕ ● Associated ValueʹσϑΥϧτ஋ΛઃఆͰ͖Δ

enum Tree { case leaf() // (()) -> Tree } enum Tree { case leaf(Void) } ●ۭͷλϓϧ͸௚઀ࢦఆͰ͖ͳ͘ͳͬͨ ● Swift 4͔Β❌ ● ্ͱಉ͜͡ͱΛ΍Δʹ͸ɺVoidΛॻ͘

case .variable(name: let x) // ⭕ case .variable(x: let x) // ❌: `x`ͱ͍͏ϥϕϧ͸ͳ͍ case .lambda(parameters: let params, body: let body) // ⭕ case .lambda(params: let params, body: let body) // ❌: ୈҰҾ਺ϥϕϧ͕ؒҧ͍ͬͯΔ ●ύλʔϯͷҰ؏ੑ indirect enum Expr { case variable(name: String) case lambda(parameters: [String], body: Expr) } ϥϕϧ໊͸౷Ұ͢Δඞཁ͕͋Δ

case .variable(let name) // ⭕: ม਺໊͕ϥϕϧ໊ͱಉ͡ case .lambda(let parameters, let body) // ⭕: ม਺໊͕ϥϕϧ໊ͱಉ͡ case .variable(let x) // ❌: ϥϕϧͷॻ͖ํ͸1௨Γʹ౷Ұ͢Δඞཁ͕͋Δɻ case .lambda(let params, let body) // ❌: ্هͱಉ༷ case .lambda(parameters: let params, let body) // ❌ ●ύλʔϯͷҰ؏ੑ indirect enum Expr { case variable(name: String) case lambda(parameters: [String], body: Expr) } ϥϕϧ໊ͱม਺໊͕ಉҰͷ࣌ʹݶΓɺϥϕϧΛ লུՄ

[SE-0161] Smart KeyPaths: Better Key-Value Coding for Swift Accepted ●มߋޙ \Λ͚ͭΔ͜ͱͰɺKeyPathͱͯ͠࢖͏͜ͱ͕Ͱ͖Δ

[SE-0161] Smart KeyPaths: Better Key-Value Coding for Swift Accepted class Person { var name: String var friends: [Person] = [] var bestFriend: Person? = nil init(name: String) { self.name = name } } var han = Person(name: "Han Solo") var luke = Person(name: "Luke Skywalker") luke.friends.append(han)

[SE-0161] Smart KeyPaths: Better Key-Value Coding for Swift Accepted // create a key path and use it let firstFriendsNameKeyPath = \Person.friends[0].name let firstFriend = luke[keyPath: firstFriendsNameKeyPath] // "Han Solo" // or equivalently, with type inferred from context luke[keyPath: \.friends[0].name] // "Han Solo" // rename Luke's first friend luke[keyPath: firstFriendsNameKeyPath] = "A Disreputable Smuggler" // optional properties work too let bestFriendsNameKeyPath = \Person.bestFriend?.name let bestFriendsName = luke[keyPath: bestFriendsNameKeyPath] // nil, if he is the last Jedi \Λ͚ͭΔ͜ͱͰɺKeyPathͱͯ͠࢖͏͜ͱ͕Ͱ͖Δ

[SE-0163] String Revision: Collection Conformance, C Interop, Transcoding • StringΛBidirectionalCollection, RangeReplaceableCollection΁ͷద߹ • String.SubSequenceΛSubstringܕͱ͢Δ • Unicodeϓϩτίϧͷಋೖ • C interop ϝιου΁ͷ౷߹ • Transcoding Infrastructure ͷվగ ●มߋޙ Accepted

[SE-0164] Protocol Extensionʹ͓͚Δfinalͷআڈ Accepted ●มߋલ ●มߋޙ protocol extensionͷϝιουʹfinal͕࢖͑Δ protocol extensionͷϝιουʹfinal͕࢖͑ͳ͘ͳΔ

[SE-0165] DictionaryͱSetͷڧԽ Accepted

[SE-0165] DictionaryͱSetͷڧԽ Accepted #

[SE-0168] Multi-Line String Literals Accepted “””τϦϓϧΫΥʔτ”””Λ࢖͏͜ͱͰɺෳ਺ߦͷString Λ࢖͏͜ͱ͕Ͱ͖ɺ”ͷΤεέʔϓ͕ඞཁͳ͘ͳΔ assert( xml == """ \(author) XML Developer's Guide Computer 44.95 2000-10-01 An in-depth look at creating applications with XML. """ )

[SE-0169] privateͱextensionͷ૬ޓ࡞༻ͷվળ Accepted ●privateଐੑͰ΋ɺextensionΛ·͍ͨͰͷΞΫηε͕Մೳ struct S { private var p: Int func f() { use(g()) // ⭕:extensionʹએݴ͞Ε͍ͯΔg()ʹΞΫηεՄೳ } } extension S { private func g() { use(p) // ⭕:SͷextensionͳͷͰɺpʹΞΫηεͰ͖Δ } } extension S { func h() { use(g()) // ⭕:h()͸g()ʹΞΫηεͰ͖Δɻ } }

// FileA.swift struct A { private var aMember : Int } // FileB.swift extension A { private func foo() { bar() // ⭕, foo()͸bar()΁ΞΫηεͰ͖Δ } } extension A { private func bar() { aMember = 42 // ❌, private͸ϑΝΠϧΛ·͍ͨͰͷΞΫηεෆՄ } } ●privateʹ͸ϑΝΠϧΛ·͍ͨͰͷΞΫηε͸Ͱ͖ͳ͍

·ͱΊ • swift4΁ͷ࠷ऴϦϒϥϯν͸6/1 • ΩϟονΞοϓ͸͜·Ίʹ͠·͠ΐ͏% (ݱࡏActive ReviewͷProposal͸5ͭ)

Thank you$