草庐IT

swift - 具有 Self 类型属性的协议(protocol)只能用作泛型约束，为什么？

coder 2023-09-12 原文

作为类型、容器类型、参数，不能使用带有 Self as type 属性的协议(protocol)。 我想我需要一个有意义的示例，即编译器无法推断类型。

编译的定义

internal protocol Lovable {
    var inLoveTo: Self? {
        get
    }
}

internal final class Human: Lovable {
    var inLoveTo: Human? = nil
}

internal final class Animal: Lovable {
    var inLoveTo: Animal? = nil
}

internal let thing11: Human = Human()
internal let thing12: Animal = Animal()

代码无效

但是下面的代码对我来说很有意义并且可以工作。所以肯定会有这样一种情况，你不能在编译时推断出类型，我还没有看到。

import Darwin

let thing13: Lovable = Darwin.random() % 2 == 0 ? thing11 : thing12 // So you do not know which dynamicType thing13 has at compile time, but it should be Lovable, error: mismatching types

thing13.inLoveTo // It could be Lovable

// Does not work, even though it makes sense for me, since inLoveTo adopts Lovable
internal func partner(one: Lovable) -> Lovable {
    return one.inLoveTo
}

我没看到什么？

在编译时不知道类型的工作示例

protocol Foo {
}

final class Bar1: Foo {
    let bla: Int8 = 100
}

final class Bar2: Foo {
    let bla: Int64 = 600000
}

internal let thing21: Foo = Bar1()
internal let thing22: Foo = Bar2()
internal let thing23: Foo = Darwin.random() % 2 == 0 ? thing21 : thing22 // So you do not know which type it has at compile time

最佳答案

Self 指的是实现该协议(protocol)的任何运行时 类型。问题是，当您有一个接受 Lovable 输入的函数(或带有显式注释的 Lovable 的变量)时，您正在向上转换为抽象类型 可爱。

通过这样做，您将丢失 Self 的类型信息。它是 Animal 还是 Human？编译器需要这样做才能将协议(protocol)用作类型，因为它具有 Self 类型的属性，无法解析。因此，这意味着您不能将具有 Self 或 associatedtype 要求的协议(protocol)用作实际类型，您只能将其用作通用约束。

一个可能的解决方案是将协议(protocol)中的属性更改为 Lovable 类型。现在你说所有符合 Lovable 的东西都具有“其他”Lovable 的属性。您现在不需要知道“某物”的具体类型，尽管这会破坏您想要建立的重要关系(两个合作伙伴必须属于同一类型!)

维持这种关系(至少对于您的函数而言)的一种方法是使用泛型。使用泛型的原因是它们充当具体类型的占位符，在您调用函数时将其提供给函数。现在您的函数输入知道什么是 Self – 它是提供给函数的任何具体类型。

您可以像这样使您的合作伙伴 函数通用:

func partner<T:Lovable>(one: T) -> T? {
    return one.inLoveTo
}

这也保证了函数的返回类型与输入的具体类型相同(尽管包装在可选中)，提供更好的类型安全性。

不幸的是，对于您的变量分配，没有真正的解决方案不涉及打破您已经建立的关系(inLoveTo 必须与类的类型相同)。您正在尝试将运行时决策(Human 或 Animal 可以分配)绑定(bind)到编译时给出的静态具体类型，这是行不通的。

正如您所注意到的，使用 Self 作为函数的返回类型并不能使协议(protocol)通用。我相信这是由于差异造成的——因为你总是可以将一个子类传递给期望它的父类(super class)的东西。因此，由于函数的返回类型将匹配实例的当前静态类型，因此静态类型只能引用比实例的动态类型更不具体的类型。因此，您可以自由地返回具有相同动态类型的实例，因为描述它的静态类型只能较少类型特定。

此行为与属性不同，因为协议(protocol)对它们的实现方式的控制有限。 {get} 可以实现为任何 类型的属性，{get set} 可以实现为带有 setter 的存储或计算属性。在这两种情况下，属性都可以在符合的类中设置。现在我们遇到了原来的问题。 Self 是类的具体类型，因此我们必须知 Prop 体类型才能分配给它，而在向上转型时会丢失。

您不能简单地将属性视为 Loveable，因为这将允许将任何符合条件的实例分配给它，即将 Animal() 分配给 >人类属性(property)——这是非法的。

关于swift - 具有 Self 类型属性的协议(protocol)只能用作泛型约束，为什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/37748877/

用作protocolcodeLovable的swiftgenerics

有关swift - 具有 Self 类型属性的协议(protocol)只能用作泛型约束，为什么？的更多相关文章

  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 - 具有身份验证的私有(private) Ruby Gem 服务器 - 2

    我想安装一个带有一些身份验证的私有(private)Rubygem服务器。我希望能够使用公共(public)Ubuntu服务器托管内部gem。我读到了http://docs.rubygems.org/read/chapter/18.但是那个没有身份验证-如我所见。然后我读到了https://github.com/cwninja/geminabox.但是当我使用基本身份验证(他们在他们的Wiki中有)时，它会提示从我的服务器获取源。所以。如何制作带有身份验证的私有(private)Rubygem服务器？这是不可能的吗？谢谢。编辑:Geminabox问题。我尝试“捆绑”以安装新的gem..

  4. 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%

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

  6. 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返

  7. ruby-on-rails - 如果为空或不验证数值，则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初，我将所有3列的:default=>0放在表格中，但我不想要这样，因为它已经填充了字段，我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

  8. ruby-on-rails - 在混合/模块中覆盖模型的属性访问器 - 2

    我有一个包含模块的模型。我想在模块中覆盖模型的访问器方法。例如:classBlah这显然行不通。有什么想法可以实现吗？ 最佳答案 您的代码看起来是正确的。我们正在毫无困难地使用这个确切的模式。如果我没记错的话，Rails使用#method_missing作为属性setter，因此您的模块将优先，阻止ActiveRecord的setter。如果您正在使用ActiveSupport::Concern(参见thisblogpost)，那么您的实例方法需要进入一个特殊的模块:classBlah

  9. ruby - ruby 中的 TOPLEVEL_BINDING 是什么？ - 2

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

  10. ruby - 多个属性的 update_column 方法 - 2

    我有一个具有一些属性的模型:attr1、attr2和attr3。我需要在不执行回调和验证的情况下更新此属性。我找到了update_column方法，但我想同时更新三个属性。我需要这样的东西:update_columns({attr1:val1,attr2:val2,attr3:val3})代替update_column(attr1,val1)update_column(attr2,val2)update_column(attr3,val3) 最佳答案 您可以使用update_columns(attr1:val1,attr2:val2

随机推荐