jjzjj

swift - 使用泛型的 Optionals 的覆盖/运算符导致无限循环

coder 2023-09-14 原文

让我们看一下下面的代码片段:

func / <T>(lhs: T?,rhs: T?) throws -> T? {
    switch (lhs,rhs) {
        case let (l?,r?):
            return try l/r
        default:
            return nil
    }
}

let x : Double? = 2
let y : Double? = 2

let z = try! x/y

我创建了一个需要两个可选参数的通用函数。如果我运行这段代码，它会导致无限循环，因为 try l/r 使用 func / <T>(lhs: T?,rhs: T?)划分值。谁能解释为什么将两个非可选 double 值相除会导致对我编写的方法的函数调用，而不是 Double 的默认 / 运算符定义？

如果我通过一个扩展来扩展 Double，该扩展需要该类的静态 / 运算符，那么一切都像一个魅力:

protocol Dividable {
    static func /(lhs: Self, rhs: Self) -> Self
}

extension Double: Dividable {}

func / <T:Dividable>(lhs: T?,rhs: T?) throws -> T? {
    switch (lhs,rhs) {
        case let (l?,r?):
            return  l/r
        default:
            return nil
    }
}

let x : Double? = 2
let y : Double? = 2

let z = try! x/y

最佳答案

二进制算术例如Double 不是使用具体的 Double 类型实现的，而是作为符合 FloatingPoint 的类型的默认泛型实现:

在你自定义的/函数 block 中，编译器不知道typeholder T符合FloatingPoint，重载解析l/r 将解析为方法本身(因为 FloatingPoint 实现虽然更具体，但更通用的非约束类型 T 无法访问 在您的自定义实现中)。

您可以通过将 FloatingPoint 作为类型约束也添加到您自己的自定义方法来解决此问题:

func /<T: FloatingPoint>(lhs: T?, rhs: T?) throws -> T? {
    switch (lhs, rhs) {
        case let (l?, r?):
            return try l/r
        default:
            return nil
    }
}

同样，整数类型的二进制算法被实现为默认泛型实现，受限于符合内部协议(protocol) _IntegerArithmetic 的类型，公共(public)协议(protocol) IntegerArithmetic 遵守该协议(protocol)符合。

您可以使用后一种公共(public)协议(protocol)为整数类型实现自定义运算符函数的重载。

func /<T: IntegerArithmetic>(lhs: T?, rhs: T?) throws -> T? {
    switch (lhs, rhs) {
        case let (l?, r?):
            return try l/r
        default:
            return nil
    }
}

最后，您可能需要考虑为什么要抛出此函数。 N 还请注意，在处理恰好两个您想要操作的可选值时，有一些方法可以简化您的实现，前提是两者都不同于 nil。例如:

func /<T: FloatingPoint>(lhs: T?, rhs: T?) -> T? {
    return lhs.flatMap { l in rhs.map{ l / $0 } }
}

func /<T: IntegerArithmetic>(lhs: T?, rhs: T?) -> T? {
    return lhs.flatMap { l in rhs.map{ l / $0 } }
}

如果你更喜欢语义而不是简洁，请将你的 switch 语句包装在一个 if 语句中

func /<T: FloatingPoint>(lhs: T?, rhs: T?) -> T? {
    if case let (l?, r?) = (lhs, rhs) {
        return l/r
    }
    return nil
}

func /<T: IntegerArithmetic>(lhs: T?, rhs: T?) -> T? {
    if case let (l?, r?) = (lhs, rhs) {
        return l/r
    }
    return nil
}

关于swift - 使用泛型的 Optionals 的覆盖/运算符导致无限循环，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/41738731/

运算符OptionalscodereturnFloatingPointswift

有关swift - 使用泛型的 Optionals 的覆盖/运算符导致无限循环的更多相关文章

  1. 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

  2. ruby - 使用 RubyZip 生成 ZIP 文件时设置压缩级别 - 2

    我有一个Ruby程序，它使用rubyzip压缩XML文件的目录树。gem。我的问题是文件开始变得很重，我想提高压缩级别，因为压缩时间不是问题。我在rubyzipdocumentation中找不到一种为创建的ZIP文件指定压缩级别的方法。有人知道如何更改此设置吗？是否有另一个允许指定压缩级别的Ruby库？ 最佳答案 这是我通过查看ruby​​zip内部创建的代码。level=Zlib::BEST_COMPRESSIONZip::ZipOutputStream.open(zip_file)do|zip|Dir.glob("**/*")d

  3. 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

  4. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

    很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

  5. ruby - 在 Ruby 中使用匿名模块 - 2

    假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外，还有什么方法可以访问C和m中的其他内容？我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)？如何在使用完匿名模块后将其删除，使其定义的常量不再存在？ 最佳答案 三个答案:是的，使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于

  6. ruby - 使用 ruby​​ 和 savon 的 SOAP 服务 - 2

    我正在尝试使用ruby​​和Savon来使用网络服务。测试服务为http://www.webservicex.net/WS/WSDetails.aspx?WSID=9&CATID=2require'rubygems'require'savon'client=Savon::Client.new"http://www.webservicex.net/stockquote.asmx?WSDL"client.get_quotedo|soap|soap.body={:symbol=>"AAPL"}end返回SOAP异常。检查soap信封，在我看来soap请求没有正确的命名空间。任何人都可以建议我

  7. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

    关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

  8. 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

  9. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

  10. ruby - 树顶语法无限循环 - 2

    我脑子里浮现出一些关于一种新编程语言的想法，所以我想我会尝试实现它。一位friend建议我尝试使用Treetop(Rubygem)来创建一个解析器。Treetop的文档很少，我以前从未做过这种事情。我的解析器表现得好像有一个无限循环，但没有堆栈跟踪；事实证明很难追踪到。有人可以指出入门级解析/AST指南的方向吗？我真的需要一些列出规则、常见用法等的东西来使用像Treetop这样的工具。我的语法分析器在GitHub上，以防有人希望帮助我改进它。class{initialize=lambda(name){receiver.name=name}greet=lambda{IO.puts("He

随机推荐