swiftui

介紹 (Introduction)

SwiftUI introduced us to a whole new way of designing and coding interfaces. Gone are the old ways of subclassing UIKit (or AppKit) classes and hardwiring layout constraints. Instead, we now have a nice, declarative way of structuring and styling our controls and making sure the interface updates whenever new information or events arrive.

SwiftUI向我們介紹了一種全新的界面設(shè)計(jì)和編碼方式。 繼承UIKit(或AppKit)類和固定布局約束的舊方法已經(jīng)一去不復(fù)返了。 取而代之的是，我們現(xiàn)在有了一種很好的聲明式方法來構(gòu)造和樣式化控件，并確保只要有新信息或事件到達(dá)，接口就會(huì)更新。

To facilitate this new architecture, the good people at Apple took some of Swift’s best features (e.g. protocols, generics, opaque types) and combined them into SwiftUI. However, this comes at a hidden cost: If you’re not already well-versed in these features, there will be a bit of a learning curve and most likely a lot of cryptic error messages that will send you off to your favorite search engine. This article will look at some of these error messages and explain what they mean and what you can do to prevent them.

為了促進(jìn)這種新架構(gòu)的發(fā)展，Apple的好人采用了Swift的一些最佳功能(例如協(xié)議，泛型，不透明類型)，并將它們組合到SwiftUI中。 但是，這需要付出一些隱性的代價(jià)：如果您還不熟悉這些功能，將會(huì)有一些學(xué)習(xí)過程，并且很可能會(huì)出現(xiàn)很多隱含的錯(cuò)誤消息，這些錯(cuò)誤消息會(huì)將您帶到您最喜歡的搜索引擎。 本文將研究其中一些錯(cuò)誤消息，并解釋它們的含義以及如何防止這些錯(cuò)誤消息。

建立視圖 (Building a View)

When implementing a new SwiftUI view, you typically start small. You add some components to the body, you style them, and handle any interactions. At some point, your simple view starts to get too big or you get a lot of conditional logic or duplication in your body. So, you decide to move some of the logic out of the body and into a separate function. This function will take care of building some complex components for you, and since everything is a View in SwiftUI, you simply define the function type signature like this:

在實(shí)現(xiàn)新的SwiftUI視圖時(shí)，通常從小處著手。 您將一些組件添加到body ，對(duì)其進(jìn)行樣式設(shè)置并處理任何交互。 在某個(gè)時(shí)候，您的簡(jiǎn)單視圖開始變得太大，或者您的body了很多條件邏輯或重復(fù)項(xiàng)。 因此，您決定將某些邏輯移出body并移至單獨(dú)的函數(shù)中。 該函數(shù)將為您構(gòu)建一些復(fù)雜的組件，并且由于一切都是SwiftUI中的View ，因此您只需定義函數(shù)類型簽名即可，如下所示：

private func buildComplexButton() -> View

Great! Well… apart from the compiler, which complains,

大！ 好吧……除了編譯器抱怨

“Protocol ‘View’ can only be used as a generic constraint because it has Self or associated type requirements.”

“協(xié)議“視圖”只能用作通用約束，因?yàn)樗哂小白陨怼被蜿P(guān)聯(lián)的類型要求。”

The problem here lies in the last part of the error message: Any object conforming to the View protocol will need to have an associated type Body that determines how the view is actually implemented. Attempting to return just a plain View from your function results in the compiler throwing up its hands and saying, “I don’t know what the return type will be without any additional information on the actual type that is conforming to this protocol.” It’s a bit like returning a generic type (such as Array) without specifying the type parameter list (What does the Array contain?). But that is exactly the point! We don’t want to pin ourselves down to a concrete type just yet. Our function might generate a variety of different views with different concrete types. Luckily, Swift 5.1 introduced the keyword some to help with this, and you’ve already seen it when creating a new view:

這里的問題出在錯(cuò)誤消息的最后一部分：任何符合View協(xié)議的對(duì)象都需要具有一個(gè) 關(guān)聯(lián)類型決定視圖實(shí)際實(shí)現(xiàn)方式的Body 。 嘗試從函數(shù)中僅返回普通View導(dǎo)致編譯器舉起手來，說：“如果不提供有關(guān)符合此協(xié)議的實(shí)際類型的任何其他信息，我將不知道返回類型將是什么。” 這有點(diǎn)像不指定類型參數(shù)列表( Array包含什么？)而返回泛型類型(例如Array )。 但這就是重點(diǎn)！ 我們現(xiàn)在還不想將自己固定在一個(gè)具體的類型上。 我們的函數(shù)可能會(huì)生成具有不同具體類型的各種不同視圖。 幸運(yùn)的是，Swift 5.1引入了關(guān)鍵字some來解決這個(gè)問題，在創(chuàng)建新視圖時(shí)您已經(jīng)看到了它：

var body: some View

Naively, this means what you think it means: We return some View and we don’t really care what kind. This is commonly referred to as an opaque type: a type that has some capabilities (it’s a View), but we don’t know exactly what kind of view. So, we’ll update our function to the new signature and give it an implementation:

天真的，這意味著您認(rèn)為它意味著什么：我們返回一些 View而我們實(shí)際上并不關(guān)心哪種類型。 通常將其稱為不透明類型：具有某些功能的類型(它是View )，但是我們不確切知道哪種視圖。 因此，我們將功能更新為新的簽名并為其提供實(shí)現(xiàn)：

And all is well again! Well… as long as you make sure that every possible View that you return from this function has the exact same type. The restriction on opaque types is that the compiler will only allow them if every available code path will return the same concrete type. We’re only returning identical buttons, so no issues here. However, suppose we are implementing a user interface for a keypad.

而且一切都很好！ 好吧……只要確保從此函數(shù)返回的每個(gè)可能的View都具有完全相同的類型。 對(duì)不透明類型的限制是，僅當(dāng)每個(gè)可用代碼路徑都返回相同的具體類型時(shí)，編譯器才允許它們。 我們只返回相同的按鈕，因此這里沒有問題。 但是，假設(shè)我們正在實(shí)現(xiàn)鍵盤的用戶界面。

We’ve chosen to implement this as a grid of Buttons. Since all the buttons are more or less identical and we don’t want to hardcode each and every one of them, we use a builder function to create them. There are two main types of buttons: ones with a text label (the digits) and ones with an image (in this case, the delete and Face ID symbols coming from SF Symbols). Simplified, it looks like this:

我們選擇將其實(shí)現(xiàn)為Buttons的網(wǎng)格。 由于所有按鈕或多或少都是相同的，并且我們不想對(duì)每個(gè)按鈕進(jìn)行硬編碼，因此我們使用了一個(gè)builder函數(shù)來創(chuàng)建它們。 按鈕主要有兩種類型：帶有文本標(biāo)簽(數(shù)字)的按鈕和帶有圖像的按鈕(在這種情況下，為SF Symbols的Delete和Face ID符號(hào))。 簡(jiǎn)化后，它看起來像這樣：

We’re still returning Buttons, so this must work, right? Well, the compiler unfortunately says no:

我們?nèi)栽诜祷谺uttons ，所以這必須工作，對(duì)嗎？ 好吧，編譯器不幸地拒絕了：

“Function declares an opaque return type, but the return statements in its body do not have matching underlying types.”

“函數(shù)聲明了不透明的返回類型，但是其主體中的return語句沒有匹配的基礎(chǔ)類型。”

Odd. A button is a button, right? But if we examine the documentation, we will see that Button is actually a generic type and not a plain struct like Text:

奇。 一個(gè)按鈕就是一個(gè)按鈕，對(duì)不對(duì)？ 但是，如果我們仔細(xì)閱讀文檔 ，將會(huì)發(fā)現(xiàn)Button實(shí)際上是一個(gè)通用類型，而不是像Text這樣的普通結(jié)構(gòu)：

struct Button<Label> where Label : View

And this holds for a lot of the SwiftUI built-in types — most notably the ones that can contain other views or content. So, we are trying to return either a Button<Text> or a Button<Image> that the compiler (correctly) identifies as two different types and hence refuses to cooperate. This is one of those situations where the rigorous typing of Swift is working against us.

這適用于許多SwiftUI內(nèi)置類型-最值得注意的是可以包含其他視圖或內(nèi)容的類型。 因此，我們?cè)噲D返回Button<Text>或Button<Image> ，編譯器正確地將它們標(biāo)識(shí)為兩種不同的類型，因此拒絕合作。 這是Swift嚴(yán)格鍵入對(duì)我們不利的情況之一。

Fortunately, there are two ways to solve this issue, and both deal with satisfying the compiler just enough that it’ll allow us to compile and run our code:

幸運(yùn)的是，有兩種方法可以解決此問題，并且兩種方法都足以使編譯器滿意，從而使我們能夠編譯和運(yùn)行代碼：

Embedding our views in a Group, preserving as much type information as possible.

將我們的意見嵌入到Group ，并保留盡可能多的類型信息。

Wrapping our views in AnyView, effectively removing type information.

將我們的視圖包裝在AnyView ，可以有效地刪除類型信息。

Both methods have their peculiarities and it’s ultimately up to you to decide which one suits you best.

兩種方法都有其獨(dú)特性，最終由您決定哪種方法最適合您。

嵌入組 (Embedding in a Group)

This is what some people consider the “cleanest” approach because embedding your mixed content in a Group preserves all typing information. However, it introduces some types you might not expect and you’re currently limited to only the simple if statements for any conditional switching. This means no if case let or switch statements. If that’s not an issue, then go right ahead. It looks something like this:

這就是某些人認(rèn)為的“最干凈”的方法，因?yàn)閷⒛幕旌蟽?nèi)容嵌入到Group保留所有鍵入信息。 但是，它引入了一些您可能不會(huì)想到的類型，并且當(dāng)前您僅限于用于任何條件切換的簡(jiǎn)單if語句。 這意味著沒有if case let或switch語句。 如果這不是問題，那就繼續(xù)吧。 看起來像這樣：

Now, this isn’t some “magic” fix that changes the way opaque types work. It merely introduces some additional types that make sure that from a compiler perspective, this function always returns the same type. If we inspect it, we see that the type returned is:

現(xiàn)在，這不是改變不透明類型工作方式的“魔術(shù)”解決方案。 它只是引入了一些其他類型，這些類型可以確保從編譯器的角度來看，此函數(shù)始終返回相同的類型。 如果我們檢查它，我們看到返回的類型是：

Group<_ConditionalContent<Button<Text>, Button<Image>>>

Again, Group is a generic type, but it introduces an additional (generic) type _ConditionalContent that has our button types (again generics) in the type parameter list. And this is actually the trick up SwiftUI’s sleeve: By being smart and introducing additional types, it can preserve all the original types and still make the compiler happy because we’re always returning the same type to satisfy the some View return type. But as I’ve mentioned, you’re limited to what SwiftUI can actually express. So, for example, any complex logic switching is off the table for now. Also, understand that this is a very simple case and it’s already generating a complex result type. Now imagine having a lot of nested logic and generic types, and this will soon become very hard to read and comprehend.

同樣， Group是泛型類型，但它引入了一個(gè)附加的(泛型)類型_ConditionalContent ，該類型在類型參數(shù)列表中具有我們的按鈕類型(再次為泛型)。 這實(shí)際上是SwiftUI的竅門：通過聰明并引入其他類型，它可以保留所有原始類型，并使編譯器滿意，因?yàn)槲覀兛偸欠祷叵嗤念愋鸵詽M足some View返回類型。 但是正如我已經(jīng)提到的那樣，您僅限于SwiftUI可以實(shí)際表達(dá)的內(nèi)容。 因此，例如，任何復(fù)雜的邏輯切換都暫時(shí)不在討論之列。 另外，請(qǐng)了解這是一個(gè)非常簡(jiǎn)單的案例，并且已經(jīng)在生成一個(gè)復(fù)雜的結(jié)果類型。 現(xiàn)在想象一下，有很多嵌套的邏輯和泛型類型，而這很快將變得很難閱讀和理解。

So, the upside is that we maintain all our type information, but the downside is that we will be generating a lot of complex types and we’re limited to the expressiveness of the SwiftUI view builders.

因此，好處是我們保留了所有類型信息，但缺點(diǎn)是我們將生成許多復(fù)雜的類型，并且僅限于SwiftUI視圖構(gòu)建器的表現(xiàn)力。

在AnyView中包裝 (Wrapping in AnyView)

Wrapping in AnyView is the other method, and it involves something called type erasure to effectively strip away information regarding the types of the views and making it seem like they’re all the same. It looks something like this:

在AnyView中包裝是另一種方法，它涉及一種稱為類型擦除的方法，可以有效地剝離有關(guān)視圖類型的信息，并使它們看起來都一樣。 看起來像這樣：

We are wrapping our views here in an AnyView that conforms itself to the View protocol and will delegate any calls to it to the wrapped view (our buttons). To the outside world (i.e. the compiler), our function now always returns the exact same type (AnyView) and it will not complain.

我們?cè)谶@里將視圖包裝在符合View協(xié)議的AnyView ，并將對(duì)它的所有調(diào)用委派給包裝的視圖(我們的按鈕)。 對(duì)于外界(即編譯器)，我們的函數(shù)現(xiàn)在始終返回完全相同的類型( AnyView )，并且不會(huì)抱怨。

We can make this even easier by introducing an extension to View to provide a function that can return the type-erased view for us and make it work like many of the other modifiers:

我們可以通過向View引入擴(kuò)展來提供一個(gè)函數(shù)，該函數(shù)可以為我們返回經(jīng)過類型擦除的視圖并使它像許多其他修飾符一樣工作，從而使此操作變得更加容易：

The upside here is that we can use the full expressiveness of Swift (and not just whatever SwiftUI has implemented) with regards to control logic: if case let or switch or even other complex logic — it’s all possible. The downside is that you effectively lose access to the regular types and can only access the parts that AnyView exposes to you. Since, most of the time, the wrapping in AnyView will be the last thing you do, it’s not a very big issue and you can still access all the properties provided by the View protocol (since AnyView conforms to View).

這里的好處是，我們可以在控制邏輯方面使用Swift的完整表達(dá)能力(而不僅僅是SwiftUI實(shí)現(xiàn)的功能)： if case let或switch或什至其他復(fù)雜的邏輯-一切皆有可能。 缺點(diǎn)是您實(shí)際上無法訪問常規(guī)類型，并且只能訪問AnyView公開給您的部分。 因?yàn)樵诖蠖鄶?shù)情況下， AnyView的包裝將是您要做的最后一件事，所以這不是一個(gè)很大的問題，并且您仍然可以訪問View協(xié)議提供的所有屬性(因?yàn)锳nyView符合View )。

There have been some concerns about performance due to the fact that SwiftUI has to destroy and rebuild the view hierarchy whenever the wrapped View inside the AnyView changes, but if you’re not constantly doing this (and most user interfaces don’t), there should not be an issue.

已經(jīng)有大約性能，因?yàn)檫@樣的事實(shí)，SwiftUI具有摧毀并重建視圖層次每當(dāng)包裹有些擔(dān)憂View里面AnyView變化，但如果你不經(jīng)常這樣做(和大多數(shù)的用戶界面沒有)，有應(yīng)該不是問題。

結(jié)論 (Conclusion)

Building complex user interfaces in SwiftUI can quite rapidly become a frustrating experience due to the way the compiler dictates how we can handle generic types, protocols with associated types, and opaque types. Sooner or later, you’ll run into some of the aforementioned issues. We’ve seen two ways to circumvent these issues: one by embedding your content in a Group (type-preserving, but with the caveat that you’re limited to what SwiftUI can express) and one by wrapping in AnyView (effectively hiding type information from the compiler, but gaining more expressiveness). Both methods are valid and can be considered for use in your own apps, and now you should have an idea of why you might choose one over the other.

由于編譯器指示我們?nèi)绾翁幚硗ㄓ妙愋?#xff0c;具有關(guān)聯(lián)類型的協(xié)議和不透明類型的方式，因此在SwiftUI中構(gòu)建復(fù)雜的用戶界面會(huì)很快變得令人沮喪。 遲早，您都會(huì)遇到一些上述問題。 我們已經(jīng)看到了兩種方法來解決這些問題：一種方法是將您的內(nèi)容嵌入到一個(gè)Group (保留類型，但是需要注意的是，您限于SwiftUI可以表達(dá)的內(nèi)容)，另一種方法是通過包裝在AnyView (有效地隱藏類型信息)從編譯器，但獲得更多的表現(xiàn)力)。 這兩種方法都是有效的，可以考慮在自己的應(yīng)用程序中使用，現(xiàn)在您應(yīng)該知道為什么可能要選擇一種方法了。

As a closing note, it is impressive how Swift preserves all the typing information when building views and how it works “most of the time” given the rigorous type checking that the compiler does. If you’re interested in this, I suggest you look at how ViewBuilder works. This is used under the hood to build SwiftUI views containing one or more child views and provide functionality to support basic logic in your view templates using, for example, TupleView and _ConditionalContent (the latter unfortunately being marked private). Swift by Sundell has a nice overview of many of the Swift 5.1 features that power SwiftUI/ViewBuilder.

作為結(jié)束語，令人印象深刻的是，在編譯器進(jìn)行嚴(yán)格的類型檢查的情況下，Swift如何在構(gòu)建視圖時(shí)保留所有類型的信息，以及“大部分時(shí)間”如何工作。 如果您對(duì)此感興趣，建議您查看ViewBuilder工作方式。 它在后臺(tái)用于構(gòu)建包含一個(gè)或多個(gè)子視圖的SwiftUI視圖，并使用TupleView和_ConditionalContent (不幸的是后者被標(biāo)記為私有)提供功能來支持視圖模板中的基本邏輯。 Sundell的Swift很好地概述了支持SwiftUI / ViewBuilder的許多Swift 5.1功能 。

We’ve also sort of glossed over how type erasure exactly works in Swift, but it is actually used in more places in Swift, such as AnySequence and AnyPublisher. In the latter case, it is actually helpful to hide some type information not just from the compiler but also from others.

我們還對(duì)類型擦除在Swift中的工作原理進(jìn)行了一些AnySequence ，但實(shí)際上它在Swift中的更多地方都得到了使用，例如AnySequence和AnyPublisher 。 在后一種情況下，不僅對(duì)編譯器而且對(duì)其他類型隱藏一些類型信息實(shí)際上是有幫助的。

“When you use type erasure this way, you can change the underlying publisher implementation over time without affecting existing clients.” — Apple’s official documentation

“當(dāng)您以這種方式使用類型擦除時(shí)，您可以隨時(shí)間更改基礎(chǔ)發(fā)布者實(shí)現(xiàn)，而不會(huì)影響現(xiàn)有客戶端。” — 蘋果官方文檔

Again, I recommend an article by Swift by Sundell to get to grips with type erasure.

再次，我推薦Sundell的Swift撰寫的一篇文章來處理類型擦除。

翻譯自: https://medium.com/better-programming/a-mixed-bag-of-swiftui-11e018a280b7

swiftui

總結(jié)

以上是生活随笔為你收集整理的swiftui_SwiftUI的混合包的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。