jjzjj

swift - 在 Swift 中约束一个泛型与另一个泛型

coder 2023-09-10 原文

我遇到了一些协议(protocol)问题:

protocol Baz {
    func bar<T>(input:T)
}

函数 bar 是通用的，因为我不希望协议(protocol)本身有一个 Self(它需要在集合中可用)。我有一个定义为协议(protocol)的实现:

class Foo<S>: Baz {
    var value:S

    init(value:S) {
        self.value = value
    }

    func bar<T>(input:T) {
        value = input
    }
}

这会产生错误，因为编译器不知道 S 和 T 是同一类型。理想情况下，我应该能够编写如下内容:

    func bar<T where T==S>(input:T) {
        value = input
    }

或

    func bar<T:S>(input:T) {
        value = input
    }

第一种形式给出了“相同类型要求使泛型参数‘S’和‘T’等价”的错误(这正是我想要做的，所以不确定为什么会出错)。第二种形式给了我一个“从非协议(protocol)、非类类型‘S’继承”。

关于如何让它工作或 Swift 中更好的设计模式的任何想法？

更新:正如@luk2302 所指出的，我忘记让Foo 遵守Baz 协议(protocol)

最佳答案

@luk2302 在评论中暗示了很多，但只是为了让 future 的搜索者明确。

protocol Baz {
    func bar<T>(input:T)
}

这个协议(protocol)几乎可以肯定是没有用的。它实际上与以下协议(protocol)相同(也几乎完全无用):

protocol Baz {
    func bar(input:Any)
}

您很可能的意思(并暗示您的意思):

protocol Baz {
    typealias T
    func bar(input: T)
}

正如您所注意到的，这使协议(protocol)成为 PAT(具有关联类型的协议(protocol))，这意味着您不能将其直接放入集合中。正如您所注意到的，如果您真的需要它们的集合，通常的解决方案是 type eraser .如果 Swift 会自动为您编写橡皮擦，那会很好，它可能会在未来做到这一点，并且会消除这个问题。也就是说，虽然有点乏味，但书写橡皮擦非常简单。

现在虽然您不能将 PAT 直接放入集合中，但您可以将一般约束的 PAT 放入集合中。所以只要把集合包装成一个约束T的类型，还是没问题的。

如果这些变得复杂，约束代码就会变得乏味且非常重复。然而，这可以通过多种技术来改进。

具有静态方法的通用结构可用于避免重复提供对自由函数的约束。

协议(protocol)可以转换为通用结构(这将类型删除器形式化为主要类型，而不是“根据需要”)。

在很多情况下，协议(protocol)可以被函数替代。例如，鉴于此:

protocol Bar {
    typealias T
    func bar(input: T)
}

struct Foo : Bar {
    func bar(input: Int) {}
}

你不能这样做:

 let bars: [Bar] = [Foo()] // error: protocol 'Bar' can only be used as a generic constraint because it has Self or associated type requirements

但你可以很容易地做到这一点，这同样好:

let bars = [(Int) -> Void] = [Foo().bar]

这对于单一方法协议(protocol)特别强大。

协议(protocol)、泛型和函数的混合比试图将所有内容都强加到协议(protocol)框中要强大得多，至少在协议(protocol)添加一些缺失的功能以实现其 promise 之前是这样。

(针对具体问题给出具体建议会更容易，没有一个答案可以解决所有问题。)

关于swift - 在 Swift 中约束一个泛型与另一个泛型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/34483843/

swiftcodeprotocolpregenericsprotocolsgeneric-constraints

有关swift - 在 Swift 中约束一个泛型与另一个泛型的更多相关文章

  1. ruby - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2

    使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？ 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta

  2. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

    我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

  3. ruby-on-rails - 渲染另一个 Controller 的 View - 2

    我想要做的是有2个不同的Controller，client和test_client。客户端Controller已经构建，我想创建一个test_clientController，我可以使用它来玩弄客户端的UI并根据需要进行调整。我主要是想绕过我在客户端中内置的验证及其对加载数据的管理Controller的依赖。所以我希望test_clientController加载示例数据集，然后呈现客户端Controller的索引View，以便我可以调整客户端UI。就是这样。我在test_clients索引方法中试过这个:classTestClientdefindexrender:template=>

  4. 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中的所有其他对象

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

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

  6. ruby-on-rails - Rails - 从另一个模型中创建一个模型的实例 - 2

    我有一个正在构建的应用程序，我需要一个模型来创建另一个模型的实例。我希望每辆车都有4个轮胎。汽车模型classCar轮胎模型classTire但是，在make_tires内部有一个错误，如果我为Tire尝试它，则没有用于创建或新建的activerecord方法。当我检查轮胎时，它没有这些方法。我该如何补救？错误是这样的:未定义的方法'create'forActiveRecord::AttributeMethods::Serialization::Tire::Module我测试了两个环境:测试和开发，它们都因相同的错误而失败。 最佳答案

  7. ruby - 用 Ruby 编写一个简单的网络服务器 - 2

    我想在Ruby中创建一个用于开发目的的极其简单的Web服务器(不，不想使用现成的解决方案)。代码如下:#!/usr/bin/rubyrequire'socket'server=TCPServer.new('127.0.0.1',8080)whileconnection=server.acceptheaders=[]length=0whileline=connection.getsheaders想法是从命令行运行这个脚本，提供另一个脚本，它将在其标准输入上获取请求，并在其标准输出上返回完整的响应。到目前为止一切顺利，但事实证明这真的很脆弱，因为它在第二个请求上中断并出现错误:/usr/b

  8. ruby - 一个 YAML 对象可以引用另一个吗？ - 2

    我想让一个yaml对象引用另一个，如下所示:intro:"Hello,dearuser."registration:$introThanksforregistering!new_message:$introYouhaveanewmessage!上面的语法只是它如何工作的一个例子(这也是它在thiscpanmodule中的工作方式。)我正在使用标准的ruby​​yaml解析器。这可能吗？ 最佳答案 一些yaml对象确实引用了其他对象:irb>require'yaml'#=>trueirb>str="hello"#=>"hello"ir

  9. ruby - Rails 关联 - 同一个类的多个 has_one 关系 - 2

    我的问题的一个例子是体育游戏。一场体育比赛有两支球队，一支主队和一支客队。我的事件记录模型如下:classTeam"Team"has_one:away_team,:class_name=>"Team"end我希望能够通过游戏访问一个团队，例如:Game.find(1).home_team但我收到一个单元化常量错误:Game::team。谁能告诉我我做错了什么？谢谢， 最佳答案 如果Gamehas_one:team那么Rails假设您的teams表有一个game_id列。不过，您想要的是games表有一个team_id列，在这种情况下

  10. ruby - 将一个超薄文件包含在另一个超薄文件中 - 2

    我在一个静态网站上工作(因此没有真正的服务器支持)，我想在另一个网站中包含一个小的细长片段，可能会向它传递一个变量。这可能吗？在rails中很容易，虽然是render方法，但我不知道如何在slim上做(显然load方法不适用于slim)。 最佳答案 Slim包含Include插件，允许在编译时直接在模板文件中包含其他文件:require'slim/include'includepartial_name文档可在此处获得:https://github.com/slim-template/slim/blob/master/doc/incl

随机推荐