草庐IT

swift - Swift 语言中的感叹号是什么意思?

coder 2023-07-14 原文

The Swift Programming Language guide有以下例子:

class Person {
    let name: String
    init(name: String) { self.name = name }
    var apartment: Apartment?
    deinit { println("\(name) is being deinitialized") }
}

class Apartment {
    let number: Int
    init(number: Int) { self.number = number }
    var tenant: Person?
    deinit { println("Apartment #\(number) is being deinitialized") }
}

var john: Person?
var number73: Apartment?

john = Person(name: "John Appleseed")
number73 = Apartment(number: 73)

//From Apple's “The Swift Programming Language” guide (https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/AutomaticReferenceCounting.html)

然后在将公寓分配给此人时,他们使用感叹号“打开实例”:

john!.apartment = number73

“打开实例”是什么意思?为什么有必要?它与仅执行以下操作有何不同:

john.apartment = number73

我对 Swift 语言还很陌生。只是想了解基础知识。


更新:
我遗漏的一大难题(没有在答案中直接说明 - 至少在撰写本文时没有说明)是当您执行以下操作时:

var john: Person?

这并不意味着“johnPerson 类型,它可能是 nil”,正如我最初认为的那样。我只是误解了 PersonPerson? 是完全不同的类型。一旦我理解了这一点,所有其他的 ?! 疯狂,以及下面的好答案,就变得更有意义了。

最佳答案

What does it mean to "unwrap the instance"? Why is it necessary?

据我所知(这对我来说也是很新的)...

术语“包装”意味着我们应该将可选变量视为礼物,包裹在 Shiny 的纸中,它可能(遗憾的是!)是空的

当“包装”时,可选变量的值是一个具有两个可能值的枚举(有点像 bool 值)。此枚举描述变量是否包含值 (Some(T)),或不包含值 (None)。

如果有值,可以通过“展开”变量(从Some(T) 获取T)获得。

How is john!.apartment = number73 different from john.apartment = number73? (Paraphrased)

如果你写一个可选变量的名字(例如文本 john,没有 !),这指的是“包装”的枚举(Some/None),不是值(value)本身(T)。所以 john 不是 Person 的实例,并且它没有 apartment 成员:

john.apartment
// 'Person?' does not have a member named 'apartment'

实际的 Person 值可以用多种方式展开:

  • “强制解包”:john!(如果 Person 存在则给出值,如果为 nil 则给出运行时错误)
  • “可选绑定(bind)”:if let p = john { println(p) }(如果值存在则执行 println)
  • “可选链接”:john?.learnAboutSwift()(如果该值存在则执行这个虚构的方法)

我猜你会选择其中一种解包方式,这取决于 nil 情况下应该发生什么,以及发生这种情况的可能性有多大。这种语言设计强制明确处理 nil 情况,我认为这提高了 Obj-C 的安全性(在 Obj-C 中很容易忘记处理 nil 情况)。

更新:

感叹号也用于声明“隐式解包可选”的语法中。

在目前的示例中,john 变量已被声明为 var john:Person?,并且它是一个 Optional。如果您想要该变量的实际值,则必须使用上述三种方法之一对其进行解包。

如果它被声明为 var john:Person!,则该变量将是一个隐式解包可选(请参阅 Apple 书中带有此标题的部分)。访问值时不需要解包这种变量,并且可以使用 john 而无需额外的语法。但是苹果的书说:

Implicitly unwrapped optionals should not be used when there is a possibility of a variable becoming nil at a later point. Always use a normal optional type if you need to check for a nil value during the lifetime of a variable.

更新 2:

Mike Ash 的文章“Interesting Swift Features”给出了可选类型的一些动机。我认为它很棒,文字清晰。

更新 3:

另一篇关于感叹号的隐式展开可选使用的有用文章:Chris Adamson 的“Swift and the Last Mile”。文章解释说,这是 Apple 用于声明其 Objective-C 框架使用的可能包含 nil 的类型的实用措施。将类型声明为可选(使用 ?)或隐式展开(使用 !)是“安全性和便利性之间的权衡”。在本文给出的示例中,Apple 选择将类型声明为隐式展开,使调用代码更方便,但安全性较低。

也许 Apple 可能会在未来梳理他们的框架,消除隐式解包(“可能永远不会为零”)参数的不确定性并用可选参数替换它们(“当然可以为零,特别是 [希望,记录在案!] 情况”)或标准的非可选(“永远不会为零”)声明,基于其 Objective-C 代码的确切行为。

关于swift - Swift 语言中的感叹号是什么意思?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24018327/

有关swift - Swift 语言中的感叹号是什么意思?的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  6. ruby - ruby 中的 TOPLEVEL_BINDING 是什么? - 2

    它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

  7. ruby - Infinity 和 NaN 的类型是什么? - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN?它们是对象、关键字还是其他东西? 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  8. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象,为什么它会起作用? - 2

    如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象

  9. ruby - 为什么 SecureRandom.uuid 创建一个唯一的字符串? - 2

    关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗?通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串?SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复?

  10. ruby - 当使用::指定模块时,为什么 Ruby 不在更高范围内查找类? - 2

    我刚刚被困在这个问题上一段时间了。以这个基地为例:moduleTopclassTestendmoduleFooendend稍后,我可以通过这样做在Foo中定义扩展Test的类:moduleTopmoduleFooclassSomeTest但是,如果我尝试通过使用::指定模块来最小化缩进:moduleTop::FooclassFailure这失败了:NameError:uninitializedconstantTop::Foo::Test这是一个错误,还是仅仅是Ruby解析变量名的方式的逻辑结果? 最佳答案 Isthisabug,or

随机推荐