swift - Swift 中的类型检查是如何工作的

coder 2023-09-16 原文

我很好奇类型检查是如何与 Swift 一起工作的，我试了一下并创建了一个 Living 类和一个继承自 的 Animal 类>生活类。 Cat 类继承自 Animal 类，Dog 类没有任何父类。

到目前为止我的类(class)层次结构:

class Living {
  let heartRatePerMin: Int
  init(heartRatePerMin: Int) {
      self.heartRatePerMin = heartRatePerMin
  }
}

class Animal: Living {
  let name: String

  init(name: String, heartRatePerMin: Int) {
      self.name = name
      super.init(heartRatePerMin: heartRatePerMin)
  }
}

class Cat: Animal {
  let meowsPerHour: Int

  init(meowsPerHour: Int, name: String) {
      self.meowsPerHour = meowsPerHour
      super.init(name: name, heartRatePerMin: 60)
  }
}

class Dog {
  let runningSpeed: Int

  init(runningSpeed : Int) {
      self.runningSpeed = runningSpeed
  }
}

首先，当我创建动物、狗和猫的实例时。我收到关于检查是否总是失败或成功的警告。我检查类型和获取警告的方式:

let animal = Animal(name: "Daisy", heartRatePerMin: 80)
let dog = Dog(runningSpeed: 2)
let cat = Cat(meowsPerHour: 10, name: "Smokey")

    if animal is Animal {
        //Warning: 'is' test always true
    }

    if dog is Animal {
        //Warning: Cast from 'Dog' to unrelated type 'Animal' always fails
    }

    if cat is Animal {
        //Warning: 'is' test always true
    }

    if cat is Living {
        //Warning: 'is' test always true
    }

到目前为止，我相信编译器会检查给定的对象类是否具有对正在检查的类型的继承，并且可以发出警告。

然后我创建了一个空的 Grumpy 协议(protocol):

protocol Grumpy {

}

在那之后，我从我的 Cat 类中遵从了 Grumpy，但是我从我的 Dog 类中没有遵从。

现在，当我如下检查我的对象(猫和狗)的类型是否为 Grumpy 时，我收到了 cat 的警告，因为 Cat 类符合 Grumpy 协议(protocol)，但我没有得到任何关于狗的警告。它什么也没说。但是当我检查 dog 是否是上面的 Animal 类型时，它发出警告说它总是会失败。为什么它不能为这种情况提供相同的信息？

    if cat is Grumpy {
        //Warning: 'is' test is always true
    }

    if dog is Grumpy {
        //Nothing
    }

然后，鉴于我缺乏 CS 和 Swift 知识，我还尝试做一些其他事情来查看它的行为方式，我创建了一个 Any 数组作为 anyArray。然后创建一个变量unknown，将cat 转换为Any 等于unknown。然后将 unknown 附加到 anyArray。之后，我尝试键入检查 anyArray 的第一个索引是否为 Cat 类型，但同样没有警告:

    var anyArray = [Any]()
    let unknown = cat as Any
    anyArray.append(unknown)

    if anyArray[0] is Cat {
        //Nothing.
    }

鉴于我尝试过的所有事情，我很好奇编译时和运行时的类型检查是如何工作的？我知道这是一个有点长的问题，但我们将不胜感激。

最佳答案

我假设您知道以下内容是有效的以及原因:

// although living is of type Living, it stores an instance of Cat at runtime
let living: Living =  Cat(meowsPerHour: 10, name: "Smokey")

让我们先检查一下:

if dog is Grumpy {
    //Nothing
}

dog 是 Dog 类型，但是编译器不知道在运行时 dog 是否会存储 的子类>Dog，它确实符合 Grumpy。如果像这样分配 dog，则将运行 if 语句:

class GrumpyDog : Dog, Grumpy {
    // ...
}

dog = GrumpyDog(...)

if anyArray[0] is Cat {
    //Nothing.
}

这是因为 anyArray[0] 是 Any 类型。编译器不够聪明，无法知道在运行时，anyArray[0] 存储了一个 Cat。因此，不能确定 is 的计算结果为真。 “如果它实际上是一只狗呢？”它可能会说。

关于swift - Swift 中的类型检查是如何工作的，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/53824633/

有关swift - Swift 中的类型检查是如何工作的的更多相关文章

ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2
我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div
ruby - 如何从 ruby 中的字符串运行任意对象方法？ - 2
总的来说，我对ruby还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用
ruby - 其他文件中的 Rake 任务 - 2
我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时
ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。
ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2
我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-
ruby-on-rails - Rails 3 中的多个路由文件 - 2
Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？最佳答案在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题
ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2
给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？最佳答案在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru
ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2
我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t
ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2
我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

swift - Swift 中的类型检查是如何工作的

有关swift - Swift 中的类型检查是如何工作的的更多相关文章

随机推荐