Swift Concurrency 年表クイズ

PNPDIJNFUBSV!,BOBHBXBTXJGU 4XJGU$PODVSSFODZ ೥දΫΠζ

೥දΫΠζ w ݴޠػೳͷಋೖ͞ΕͨόʔδϣϯΛ౰͍ͯͯͩ͘͞ɻ w ܻ໨ͷϚΠφʔόʔδϣϯ·Ͱɻ ྫ w ୭΋ͦΜͳࣄ͸҉هͯ͠ͳ͍ͷͰେৎ෉Ͱ͢ɻਪཧ͍ͯͩ͘͠͞ɻ w
࿩͠߹ͬͯཉ͍͠ͷͰɺνʔϜର߅ઓͰ͢ɻ

4XJGUόʔδϣϯૣݟද όʔδϣϯ ਪ͠ػೳ DPODVSSFODZҎ֎ 9DPEF EBUF J04 "EE3FTVMUUPUIF4UBOEBSE-JCSBSZ
1SPQFSUZ8SBQQFST ,FZ1BUI&YQSFTTJPOTBT'VODUJPOT .VMUJQMF5SBJMJOH$MPTVSFT 3FTVMU#VJMEFST &YUFOEJOH4UBUJD.FNCFS-PPLVQJO(FOFSJD$POUFYUT *OUSPEVDFFYJTUFOUJBMABOZA *NQMJDJUMZ0QFOFE&YJTUFOUJBMT 🤔 7BMVFBOE5ZQF1BSBNFUFS1BDLT 🤔 5ZQFEUISPXT "MMPXUSBJMJOHDPNNBJODPNNBTFQBSBUFEMJTUT 🤔

"TZODBXBJU ABTZODA ABXBJUAΛಋೖ let newURL = await server.redirectURL(for: url) let
(data, response) = try await session.dataTask(with: newURL)

*ODSFNFOUBMNJHSBUJPOUPDPODVSSFODZDIFDLJOH TUSJDUDPODVSSFODZϞʔυΛಋೖ w ίϯύΠϥʹAXBSODPODVSSFODZAΦϓγϣϯ͕ಋೖ͞Εͨɻ w A!QSFDPODVSSFODZA͕ಋೖ͞Εͨɻ w ฒߦੑʹؔ͢ΔকདྷͷݕࠪΛ༗ޮʹͯ͠ܯࠂΛग़ྗ͢Δɻ

1JFDFNFBMBEPQUJPOPGVQDPNJOHMBOHVBHFJNQSPWFNFOUT લํޓ׵ੑͷن֨Λඪ४Խ w ίϯύΠϥʹAFOBCMFVQDPNJOHGFBUVSFAΦϓγϣϯ͕௥Ճ͞Εͨɻ w 4XJGU1.ʹAFOBCMF6QDPNJOH'FBUVSFA͕௥Ճ͞Εͨɻ w A4USJDU$PODVSSFODZAGFBUVSF͕ఆٛ͞Εͨɻ

໰୊ "TZODBXBJU *ODSFNFOUBMNJHSBUJPOUPDPODVSSFODZDIFDLJOH 1JFDFNFBMBEPQUJPOPGVQDPNJOHMBOHVBHFJNQSPWFNFOUT

A!.BJO"DUPSA

(MPCBMBDUPST A!.BJO"DUPSA A!HMPCBM"DUPSAͳͲΛಋೖ w 4XJGUͰABTZODA ABXBJUAͱҰॹʹಋೖɻ

3FNPWF"DUPS*TPMBUJPO*OGFSFODFDBVTFECZ1SPQFSUZ8SBQQFST ϓϩύςΟ͔Βͷ.BJO"DUPSԽΛഇࢭ %JTBCMF0VUXBSE"DUPS*OGFSFODF w Ҏલ͸ɺ$PVOUFS7JFX͕҉໧ʹA!.BJO"DUPSAʹͳΔՄೳੑ͕͋ͬͨɻ struct CounterView { @UIUpdating var
intValue: Int = 0 }

4USJDUDPODVSSFODZGPSHMPCBMWBSJBCMFT άϩʔόϧม਺ͷฒߦ҆શੑΛอূ (MPCBM$PODVSSFODZ final class NonSendable { var age: Int
= 0 static let shared = NonSendable() // Error: Static property 'shared' is not concurrency- safe because non-'Sendable' type 'NonSendable' may have shared mutable state } let global = NonSendable() // Error: Let 'global' is not concurrency-safe because non-'Sendable' type 'NonSendable' may have shared mutable state

@MainActor final class NonSendable { var age: Int = 0
static let shared = NonSendable() } let global = NonSendable() w A!.BJO"DUPSA࠷ߴ

%ZOBNJDBDUPSJTPMBUJPOFOGPSDFNFOUGSPNOPOTUSJDUDPODVSSFODZ DPOUFYUT ࣮ߦ࣌ʹJTPMBUJPOΛ֬ೝ͢Δ %ZOBNJD"DUPS*TPMBUJPO protocol ViewDelegateProtocol { // MainActor ࢦఆ͕ͳ͍ʂ
func respondToUIEvent() } @MainActor class MyViewController: @preconcurrency ViewDelegateProtocol // @preconcurrency Λ෇͚Δͱແཧ΍Γ४ڌͰ͖Δɻ { func respondToUIEvent() { // ࣮ߦ࣌ʹ MainActor ͔Βདྷ͔ͨͲ͏͔ࣗಈͰνΣοΫ͢Δ } }

w ؒҧ͍ͬͯͨΒΫϥογϡ͠·͢ɻ w ϥΠϒϥϦͷόάͳͷͰ௚ͦ͏ɻ w "QQMF੡ͷ৔߹͸ɾɾɾʁ w !.BJO"DUPSͭΒ͍ νΣοΫͨ݁͠Ռɿ

6TBCJMJUZPGHMPCBMBDUPSJTPMBUFEUZQFT (MPCBMBDUPSؔ࿈Ͱ࢖͍΍͕͢͞Ξοϓ (MPCBM"DUPS*TPMBUFE5ZQFT6TBCJMJUZ w 4UPSFEQSPQFSUJFTPG4FOEBCMFUZQFJOBHMPCBMBDUPSJTPMBUFEWBMVFUZQFDBOCF EFDMBSFEBTOPOJTPMBUFEXJUIPVUVTJOH VOTBGF w 4UPSFEQSPQFSUJFTPG4FOEBCMFUZQFJOBHMPCBMBDUPSJTPMBUFEWBMVFUZQFBSFUSFBUFE
BTOPOJTPMBUFEXIFOVTFEXJUIJOUIFNPEVMFUIBUEF fi OFTUIFQSPQFSUZ w !4FOEBCMFJTJOGFSSFEGPSHMPCBMBDUPSJTPMBUFEGVODUJPOTBOEDMPTVSFT w (MPCBMBDUPSJTPMBUFEDMPTVSFTBSFBMMPXFEUPDBQUVSFOPO4FOEBCMFWBMVFTEFTQJUF CFJOH!4FOEBCMF w "HMPCBMBDUPSJTPMBUFETVCDMBTTPGBOPOJTPMBUFE OPO4FOEBCMFDMBTTJTBMMPXFE CVUJUNVTUCFOPO4FOEBCMF

ͦΕ·Ͱ func fire(process: @escaping @MainActor @Sendable () -> Void) {
Task { await process() } } άϩʔόϧΞΫλʔͳؔ਺͕ࣗಈͰ4FOEBCMFʹͳͬͨ ͦΕ͔Β func fire(process: @escaping @MainActor () -> Void) { Task { await process() } }

$POUSPMEFGBVMUBDUPSJTPMBUJPOJOGFSFODF σϑΥϧτΛ!.BJO"DUPSʹͰ͖Δ 4XJGU w A!.BJO"DUPSA࠷ߴ // @MainActor final class NonSendable
{ var age: Int = 0 static let shared = NonSendable() } let global = NonSendable()

(MPCBMBDUPSJTPMBUFEDPOGPSNBODFT (MPCBM"DUPSݶఆͰDPOGPSNͰ͖Δ 4XJGU @MainActor class MyModelType: @MainActor Equatable { var
name: String init(name: String) { self.name = name } static func ==(lhs: MyModelType, rhs: MyModelType) -> Bool { lhs.name == rhs.name } } w ͜ΕϚδͰ೉͍͠ͱࢥ͍·͢ɻ

%FGBVMUBDUPSJTPMBUJPOQFS fi MF ϑΝΠϧ୯ҐͰ!.BJO"DUPSʹͰ͖Δ %SBGU using @MainActor final class NonSendable
{ var age: Int = 0 static let shared = NonSendable() } let global = NonSendable() w A!.BJO"DUPSA࠷ߴ

໰୊ 4USJDUDPODVSSFODZGPSHMPCBMWBSJBCMFT %ZOBNJDBDUPSJTPMBUJPOFOGPSDFNFOUGSPNOPOTUSJDUDPODVSSFODZ DPOUFYUT 6TBCJMJUZPGHMPCBMBDUPSJTPMBUFEUZQFT

*TPMBUJPO

*TPMBUJPO ͦͷؔ਺͸Ͳ͜Ͱ࣮ߦ͞ΕΔ͔ͦͷ஋͸Ͳ͜ʹډΔ͔ w 4XJGU͔Β͋Δ֓೦ w ؔ਺ͷछྨOPOJTPMBUFE HMPCBMBDUPSJTPMBUFE !.BJO"DUPS BDUPS JTPMBUFE
w ஋ͷछྨEJTDPOOFDUFE UBTLJTPMBUFE HMPCBMBDUPSJTPMBUFE BDUPS JTPMBUFE

OPOJTPMBUFEGVODͷJTPMBUJPO @MainActor func main() async { await action() } nonisolated
func action() async { // ͜͜͸ main executor Ͱ͢ } w ݪॳ͸Ҿ͖ܧ͍Ͱ͍ͨ

$MBSJGZUIF&YFDVUJPOPG/PO"DUPS*TPMBUFE"TZOD'VODUJPOT OPOJTPMBUFE͸HMPCBMFYFDVUPSͰ૸Δ @MainActor func main() async { await action() }
nonisolated func action() async { // ͜͜͸ main executor Ͱ͸͋Γ·ͤΜ } w BDUPSͷෛՙΛಀͨ͢Ί

4FOEBCMFͷνΣοΫ͕ਐΜͩ OPOTQFDJ fi DQSPQPTBM final class Foo { func run()
async {} } actor MyActor { func main() async { let foo = Foo() await foo.run() // Error: passing argument of non-sendable type 'Foo' outside of actor-isolated context may introduce data races } } w ͳΜͱίϨ͕μϝ w AGPPA͕ӽڥ͍ͯ͠ΔͨΊ

3FHJPO#BTFE*TPMBUJPO EJTDPOOFDUFEͳΒӽڥͰ͖Δ final class Foo { func run() async {}
} actor MyActor { func main() async { let foo = Foo() await foo.run() } } w AGPPA͕EJTDPOOFDUFE

ͦ͏؁͘΋ͳ͍ final class Foo { func run() async {} }
actor MyActor { let foo = Foo() func main() async { await foo.run() // sending 'self.foo' risks causing data races } } w AGPPA͕BDUPSJTPMBUFE

*OIFSJUBODFPGBDUPSJTPMBUJPO "DUPSΛҾ͖ܧ͙ࢦఆ͕Ͱ͖Δ final class Foo { func run(isolation: isolated (any
Actor)? = #isolation) async {} } actor MyActor { let foo = Foo() func main() async { await foo.run() } }

isolation: isolated (any Actor)? = #isolation ढจ͗͢Δ w AJTPMBUJPO.BJO"DUPSTIBSFEAͱ͔΋Ͱ͖ͪΌ͏ w
શ෦ͷϝιουʹ͚ͭΔͷ͸ແཧ

3VOOPOJTPMBUFEBTZODGVODUJPOTPOUIFDBMMFSTBDUPSCZEFGBVMU ཉ͔ͬͨ͠΍ͭ 4XJGU final class Foo { nonisolated(nonsending) func run()
async {} } actor MyActor { let foo = Foo() func main() async { await foo.run() } } w AOPOJTPMBUFE OPOTFOEJOH AΛ͚ͭΕ͹ʮҾ͖ܧ͙ʯ

/POJTPMBUFE/POTFOEJOH#Z%FGBVMU final class Foo { func run() async {} }
actor MyActor { let foo = Foo() func main() async { await foo.run() } } w GFBUVSF fl BHͰࢦఆ΋লུɻ

໰୊ $MBSJGZUIF&YFDVUJPOPG/PO"DUPS*TPMBUFE"TZOD'VODUJPOT 4FOEBCMFͷνΣοΫ͕ਐΜͩ OPOTQFDJ fi DQSPQPTBM
3FHJPO#BTFE*TPMBUJPO

Swift Concurrency 年表クイズ

Swift Concurrency 年表クイズ

omochimetaru

Transcript

PNPDIJNFUBSV!,BOBHBXBTXJGU 4XJGU$PODVSSFODZ ೥දΫΠζ

೥දΫΠζ w ݴޠػೳͷಋೖ͞ΕͨόʔδϣϯΛ౰͍ͯͯͩ͘͞ɻ w ܻ໨ͷϚΠφʔόʔδϣϯ·Ͱɻ ྫ w ୭΋ͦΜͳࣄ͸҉هͯ͠ͳ͍ͷͰେৎ෉Ͱ͢ɻਪཧ͍ͯͩ͘͠͞ɻ w

4XJGUόʔδϣϯૣݟද όʔδϣϯ ਪ͠ػೳ DPODVSSFODZҎ֎ 9DPEF EBUF J04 "EE3FTVMUUPUIF4UBOEBSE-JCSBSZ

"TZODBXBJU ABTZODA ABXBJUAΛಋೖ let newURL = await server.redirectURL(for: url) let

*ODSFNFOUBMNJHSBUJPOUPDPODVSSFODZDIFDLJOH TUSJDUDPODVSSFODZϞʔυΛಋೖ w ίϯύΠϥʹAXBSODPODVSSFODZAΦϓγϣϯ͕ಋೖ͞Εͨɻ w A!QSFDPODVSSFODZA͕ಋೖ͞Εͨɻ w ฒߦੑʹؔ͢ΔকདྷͷݕࠪΛ༗ޮʹͯ͠ܯࠂΛग़ྗ͢Δɻ

1JFDFNFBMBEPQUJPOPGVQDPNJOHMBOHVBHFJNQSPWFNFOUT લํޓ׵ੑͷن֨Λඪ४Խ w ίϯύΠϥʹAFOBCMFVQDPNJOHGFBUVSFAΦϓγϣϯ͕௥Ճ͞Εͨɻ w 4XJGU1.ʹAFOBCMF6QDPNJOH'FBUVSFA͕௥Ճ͞Εͨɻ w A4USJDU$PODVSSFODZAGFBUVSF͕ఆٛ͞Εͨɻ

໰୊ "TZODBXBJU *ODSFNFOUBMNJHSBUJPOUPDPODVSSFODZDIFDLJOH 1JFDFNFBMBEPQUJPOPGVQDPNJOHMBOHVBHFJNQSPWFNFOUT

A!.BJO"DUPSA

(MPCBMBDUPST A!.BJO"DUPSA A!HMPCBM"DUPSAͳͲΛಋೖ w 4XJGUͰABTZODA ABXBJUAͱҰॹʹಋೖɻ

3FNPWF"DUPSTPMBUJPOOGFSFODFDBVTFECZ1SPQFSUZ8SBQQFST ϓϩύςΟ͔Βͷ.BJO"DUPSԽΛഇࢭ %JTBCMF0VUXBSE"DUPS*OGFSFODF w Ҏલ͸ɺ$PVOUFS7JFX͕҉໧ʹA!.BJO"DUPSAʹͳΔՄೳੑ͕͋ͬͨɻ struct CounterView { @UIUpdating var

4USJDUDPODVSSFODZGPSHMPCBMWBSJBCMFT άϩʔόϧม਺ͷฒߦ҆શੑΛอূ (MPCBM$PODVSSFODZ final class NonSendable { var age: Int

@MainActor final class NonSendable { var age: Int = 0

%ZOBNJDBDUPSJTPMBUJPOFOGPSDFNFOUGSPNOPOTUSJDUDPODVSSFODZ DPOUFYUT ࣮ߦ࣌ʹJTPMBUJPOΛ֬ೝ͢Δ %ZOBNJD"DUPS*TPMBUJPO protocol ViewDelegateProtocol { // MainActor ࢦఆ͕ͳ͍ʂ

w ؒҧ͍ͬͯͨΒΫϥογϡ͠·͢ɻ w ϥΠϒϥϦͷόάͳͷͰ௚ͦ͏ɻ w "QQMF੡ͷ৔߹͸ɾɾɾʁ w !.BJO"DUPSͭΒ͍ νΣοΫͨ݁͠Ռɿ

6TBCJMJUZPGHMPCBMBDUPSJTPMBUFEUZQFT (MPCBMBDUPSؔ࿈Ͱ࢖͍΍͕͢͞Ξοϓ (MPCBM"DUPS*TPMBUFE5ZQFT6TBCJMJUZ w 4UPSFEQSPQFSUJFTPG4FOEBCMFUZQFJOBHMPCBMBDUPSJTPMBUFEWBMVFUZQFDBOCF EFDMBSFEBTOPOJTPMBUFEXJUIPVUVTJOH VOTBGF w 4UPSFEQSPQFSUJFTPG4FOEBCMFUZQFJOBHMPCBMBDUPSJTPMBUFEWBMVFUZQFBSFUSFBUFE

ͦΕ·Ͱ func fire(process: @escaping @MainActor @Sendable () -> Void) {

$POUSPMEFGBVMUBDUPSJTPMBUJPOJOGFSFODF σϑΥϧτΛ!.BJO"DUPSʹͰ͖Δ 4XJGU w A!.BJO"DUPSA࠷ߴ // @MainActor final class NonSendable

(MPCBMBDUPSJTPMBUFEDPOGPSNBODFT (MPCBM"DUPSݶఆͰDPOGPSNͰ͖Δ 4XJGU @MainActor class MyModelType: @MainActor Equatable { var

%FGBVMUBDUPSJTPMBUJPOQFS fi MF ϑΝΠϧ୯ҐͰ!.BJO"DUPSʹͰ͖Δ %SBGU using @MainActor final class NonSendable

໰୊ 4USJDUDPODVSSFODZGPSHMPCBMWBSJBCMFT %ZOBNJDBDUPSJTPMBUJPOFOGPSDFNFOUGSPNOPOTUSJDUDPODVSSFODZ DPOUFYUT 6TBCJMJUZPGHMPCBMBDUPSJTPMBUFEUZQFT

*TPMBUJPO

*TPMBUJPO ͦͷؔ਺͸Ͳ͜Ͱ࣮ߦ͞ΕΔ͔ͦͷ஋͸Ͳ͜ʹډΔ͔ w 4XJGU͔Β͋Δ֓೦ w ؔ਺ͷछྨOPOJTPMBUFE HMPCBMBDUPSJTPMBUFE !.BJO"DUPS BDUPS JTPMBUFE

OPOJTPMBUFEGVODͷJTPMBUJPO @MainActor func main() async { await action() } nonisolated

$MBSJGZUIF&YFDVUJPOPG/PO"DUPS*TPMBUFE"TZOD'VODUJPOT OPOJTPMBUFE͸HMPCBMFYFDVUPSͰ૸Δ @MainActor func main() async { await action() }

4FOEBCMFͷνΣοΫ͕ਐΜͩ OPOTQFDJ fi DQSPQPTBM final class Foo { func run()

3FHJPO#BTFE*TPMBUJPO EJTDPOOFDUFEͳΒӽڥͰ͖Δ final class Foo { func run() async {}

ͦ͏؁͘΋ͳ͍ final class Foo { func run() async {} }

*OIFSJUBODFPGBDUPSJTPMBUJPO "DUPSΛҾ͖ܧ͙ࢦఆ͕Ͱ͖Δ final class Foo { func run(isolation: isolated (any

isolation: isolated (any Actor)? = #isolation ढจ͗͢Δ w AJTPMBUJPO.BJO"DUPSTIBSFEAͱ͔΋Ͱ͖ͪΌ͏ w

3VOOPOJTPMBUFEBTZODGVODUJPOTPOUIFDBMMFSTBDUPSCZEFGBVMU ཉ͔ͬͨ͠΍ͭ 4XJGU final class Foo { nonisolated(nonsending) func run()

/POJTPMBUFE/POTFOEJOH#Z%FGBVMU final class Foo { func run() async {} }

໰୊ $MBSJGZUIF&YFDVUJPOPG/PO"DUPS*TPMBUFE"TZOD'VODUJPOT 4FOEBCMFͷνΣοΫ͕ਐΜͩ OPOTQFDJ fi DQSPQPTBM

More Decks by omochimetaru

Other Decks in Programming

Featured