AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 79597598
Accepted
HL666
HL666
Asked: 2025-04-29 12:18:10 +0800 CST2025-04-29 12:18:10 +0800 CST 2025-04-29 12:18:10 +0800 CST

Como fazer um wrapper de protocolo (não o protocolo em si) estar em conformidade com Hashable em Swift

  • 772

Tenho um protocolo que é restrito apenas a tipos de classe:

protocol Plugin: AnyObject {}

Agora, quero usar o plugin como chave do mapa de hash. Não quero que o Pluginprotocolo se estenda de Hashable, porque teria que escrever any Pluginem todos os lugares (já que ele herdaria "Auto-Requisito" do protocolo pai).

Então, para contornar isso, quero criar um wrapper genérico. Não quero usar AnyHashable, porque quero um tipo mais restrito em caso de erros.

public struct ObjectHashable<T: AnyObject>: Hashable {
  
  public let object: T
  
  public init(object: T) {
    self.object = object
  }
  
  public static func ==(lhs: Self, rhs: Self) -> Bool {
    return ObjectIdentifier(lhs.object) == ObjectIdentifier(rhs.object)
  }
  
  public func hash(into hasher: inout Hasher) {
    hasher.combine(ObjectIdentifier(object))
  }
}

Agora eu quero fazer algo como

typealias PluginHashable = ObjectHashable<Plugin>

No entanto, isso me dá erro:

requisito especificado como 'T': 'AnyObject' [com T = qualquer plugin]

Então eu mudei para

typealias PluginHashable = ObjectHashable<any Plugin>

E recebi o mesmo erro:

requisito especificado como 'T': 'AnyObject' [com T = qualquer plugin]

Pelo que entendi, embora Plugino protocolo seja limitado a ser um tipo de classe, any Pluginele não é. No entanto, não sei o que fazer a seguir.

Atualizar:

Se eu não usar o genérico for ObjectHashable, funciona:

public struct PluginHashable: Hashable {
  
  public let plugin: Plugin
  
  public init(plugin: Plugin) {
    self.plugin = plugin
  }
  
  public static func ==(lhs: Self, rhs: Self) -> Bool {
    return ObjectIdentifier(lhs.plugin) == ObjectIdentifier(rhs.plugin)
  }
  
  public func hash(into hasher: inout Hasher) {
    hasher.combine(ObjectIdentifier(plugin))
  }
}

No entanto, esta solução só é utilizável para Pluginprotocolo, portanto não é ideal. Prefiro ter uma solução que funcione para todos os casos semelhantes.

swift
  • 1 1 respostas
  • 49 Views

1 respostas

  • Voted
  1. Best Answer
    Ebillson GRAND JEAN
    2025-04-29T12:31:37+08:002025-04-29T12:31:37+08:00

    Eu entendo perfeitamente no que você está se metendo.

    Mesmo que Plugin: AnyObject, quando você se refere a any Plugin, ele seja tratado como um existencial — e existenciais em Swift não são tipos de classe , mesmo que o protocolo de onde eles vêm seja AnyObject.
    É por isso que ObjectHashable<T: AnyObject>se recusa a aceitar any Plugincomo T— porque any Pluginnão é em si uma classe, mesmo que as implementações de Plugindevam ser.

    Por que qualquer plugin é um problema

    any Plugin é um tipo de valor que representa "qualquer instância em conformidade com Plugin".

    Isso não garante que seja uma instância de classe no nível de tipo de uma forma que restrições genéricas possam verificar.

    O Swift trata qualquer Plugin de forma diferente dos tipos concretos que estão em conformidade com o Plugin.

    Então... como resolver sua situação?

    Aqui está o truque: em vez de escrever ObjectHashable<any Plugin>,
    você precisa ObjectHashable<some Plugin> usar sites ou
    redesenhar ObjectHashableum pouco para aceitar valores existenciais.

    Uma solução limpa para o seu caso

    Mude ObjectHashablepara aceitar qualquer um AnyObject (mesmo any Pluginos existenciais).

    Aqui está uma versão ligeiramente atualizada de ObjectHashable:

    public struct ObjectHashable: Hashable {
        public let object: AnyObject
    
        public init(_ object: AnyObject) {
            self.object = object
        }
    
        public static func ==(lhs: Self, rhs: Self) -> Bool {
            return ObjectIdentifier(lhs.object) == ObjectIdentifier(rhs.object)
        }
    
        public func hash(into hasher: inout Hasher) {
            hasher.combine(ObjectIdentifier(object))
        }
    }
    

    Agora você não precisa mais se preocupar com genéricos.
    Você pode armazenar qualquer objeto de classe — inclusive any Plugin— encapsulado corretamente.

    Uso:

    
    var dict: [ObjectHashable: String] = [:]
    let pluginInstance: any Plugin = SomePlugin()
    dict[ObjectHashable(pluginInstance)] = "some value"
    

    Mas você pediu rigor (não tão aberto assim AnyObject)...

    Se você ainda quiser restringir apenas ao Plugin (não a qualquer classe), veja como fazer isso de forma mais restrita:

    public struct PluginHashable: Hashable {
        public let plugin: any Plugin
    
        public init(_ plugin: any Plugin) {
            self.plugin = plugin
        }
    
        public static func ==(lhs: Self, rhs: Self) -> Bool {
            return ObjectIdentifier(lhs.plugin as AnyObject) == ObjectIdentifier(rhs.plugin as AnyObject)
        }
    
        public func hash(into hasher: inout Hasher) {
            hasher.combine(ObjectIdentifier(plugin as AnyObject))
        }
    }
    

    - Isso garante que você só possa encapsular any Plugin, e não qualquer AnyObject .
    - E você ainda faz o hash com base na identidade do objeto.

    Uso:

    var pluginDict: [PluginHashable: String] = [:]
    let p1: any Plugin = MyPlugin()
    let p2: any Plugin = MyOtherPlugin()
    pluginDict[PluginHashable(p1)] = "First Plugin"
    pluginDict[PluginHashable(p2)] = "Second Plugin"
    

    Por que você não pode usar ObjectHashable<Plugin>?

    Porque ObjectHashable<T: AnyObject>espera um tipo de classe T ,
    mas any Pluginnão é um tipo de classe — é um valor existencial.

    Você tem que:

    • fazer ObjectHashablenão genérico, armazenar AnyObject, OU

    • especialize-o para seu protocolo (como PluginHashableacima).

    Espero que isso ajude. Avise-me se o seu problema for resolvido.

    EDITAR:

    Já que você mencionou que essa solução anterior não funciona para você, vou seguir minha sugestão no comentário: especializar ObjectHashable para existenciais que são somente de classe.

    Veja como você pode fazer isso:

    public struct ObjectHashable<T>: Hashable {
        public let object: T
    
        public init(_ object: T) {
            self.object = object
        }
    
        public static func ==(lhs: ObjectHashable<T>, rhs: ObjectHashable<T>) -> Bool {
            ObjectIdentifier(lhs.object as AnyObject) == ObjectIdentifier(rhs.object as AnyObject)
        }
    
        public func hash(into hasher: inout Hasher) {
            hasher.combine(ObjectIdentifier(object as AnyObject))
        }
    }
    

    Observe atentamente :

    • Té genérico .

    • Em tempo de execução, fazemos a conversão AnyObjectmanualmente para dentro ==e hash(into:).

    • Em tempo de compilação , você ainda pode fazer uma verificação de tipo rigorosa para ObjectHashable<Plugin>etc.

    Agora o uso parece super limpo:

    typealias PluginHashable = ObjectHashable<qualquer Plugin>

    var pluginDict: [PluginHashable: String] = [:]
    let plugin1: any Plugin = MyPlugin()
    let plugin2: any Plugin = AnotherPlugin()
    pluginDict[PluginHashable(plugin1)] = "Plugin 1"
    pluginDict[PluginHashable(plugin2)] = "Plugin 2"
    

    Com isso, você obtém:
    - Aplicação rigorosa de tipos em tempo de compilação.
    - Reutilizável também para outros protocolos somente de classe, sem precisar de um wrapper personalizado todas as vezes.

    Caso você queira uma proteção de tempo de compilação ainda mais rigorosa, que seja opcional, você pode adicionar uma asserção de tempo de execução. Isso proibiria o uso indevido (por exemplo: alguém tentando passar uma struct). Você teria um código como este:

    public init(_ object: T) {
        precondition(Mirror(reflecting: object).subjectType is AnyObject.Type, "T must be a class type")
        self.object = object
    }
    

    Mas, sinceramente, como você está escolhendoany Plugin o PluginHashablealias manualmente, já está tudo bem. Não precisa verificar em tempo de execução, a menos que você seja superparanoico, rs.

    • 0

relate perguntas

  • IOS (simulador) --> Local Vapor POST Image/png: Abort.413: Payload Too Large

  • Redimensione a imagem antes de salvar no Core Data

  • Como lidar com dois manipuladores de conclusão em uma função swift

  • Por que um dicionário de chave e valores codificáveis ​​não é codificável?

  • Existe uma maneira de incorporar um assertionFailure em '?' expressão

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve