Как использовать универсальный протокол в качестве типа переменной

есть еще одно решение, которое не было упомянуто по этому вопросу, которое использует метод под названием стирания типа. Чтобы создать абстрактный интерфейс для универсального протокола, создайте класс или структуру, которая обертывает объект или структуру, соответствующие протоколу. Класс-оболочка, обычно называемый " Any{protocol name}", сам соответствует протоколу и реализует свои функции путем перенаправления всех вызовов на внутренний объект. Попробуйте пример ниже на детской площадке:

import Foundation

public protocol Printer {
    typealias T
    func print(val:T)
}

struct AnyPrinter<U>: Printer {

    typealias T = U

    private let _print: U -> ()

    init<Base: Printer where Base.T == U>(base : Base) {
        _print = base.print
    }

    func print(val: T) {
        _print(val)
    }
}

struct NSLogger<U>: Printer {

    typealias T = U

    func print(val: T) {
        NSLog("\(val)")
    }
}

let nsLogger = NSLogger<Int>()

let printer = AnyPrinter(base: nsLogger)

printer.print(5) // prints 5

тип printer известно, что AnyPrinter<Int> и может использоваться для абстрагирования любой возможной реализации протокола принтера. Хотя AnyPrinter не является технически абстрактным, его реализация-это просто переход к реальному типу реализации и может использоваться для отделения типов реализации от типов, использующих их.

следует отметить, что AnyPrinter не обязательно явно сохранять базовый экземпляр. На самом деле, мы не можем, так как мы не можем объявить AnyPrinter иметь Printer<T> собственность. Вместо этого мы получаем указатель на функцию _print на базу . Звоню base.print без вызова она возвращает функцию, где база карри как переменная self, и таким образом сохранены для последующих вызовов.

еще одна вещь, которую следует иметь в виду, заключается в том, что это решение по существу является еще одним слоем динамической отправки, что означает небольшое снижение производительности. Кроме того, экземпляр стирания типа требует дополнительной памяти поверх базового пример. По этим причинам стирание типа не является бесплатной абстракцией.

очевидно, что есть некоторая работа по настройке стирания типа, но это может быть очень полезно, если требуется абстракция общего протокола. Этот шаблон находится в стандартной библиотеке swift с такими типами, как AnySequence. Дальнейшее чтение:http://robnapier.net/erasure

бонус:

если вы решите, что хотите ввести ту же реализацию Printer везде, вы можете обеспечьте инициализатор удобства для AnyPrinter который вводит этот тип.

extension AnyPrinter {

    convenience init() {

        let nsLogger = NSLogger<T>()

        self.init(base: nsLogger)
    }
}

let printer = AnyPrinter<Int>()

printer.print(10) //prints 10 with NSLog

это может быть простой и сухой способ выразить инъекции зависимости для протоколов, которые вы используете в своем приложении.

адресация вашего обновленного варианта использования:

(кстати,Printable уже является стандартным протоколом Swift, поэтому вы, вероятно, захотите выбрать другое имя, чтобы избежать путаницы)

чтобы применить определенные ограничения на исполнителей протокола, вы можете ограничить typealias протокола. Итак, чтобы создать свою коллекцию протоколов, которая требует, чтобы элементы были доступны для печати:

// because of how how collections are structured in the Swift std lib,
// you’d first need to create a PrintableGeneratorType, which would be
// a constrained version of GeneratorType
protocol PrintableGeneratorType: GeneratorType {
    // require elements to be printable:
    typealias Element: Printable
}

// then have the collection require a printable generator
protocol PrintableCollectionType: CollectionType {
    typealias Generator: PrintableGenerator
}

теперь, если вы хотите реализовать коллекцию, которая может содержать только печатаемые элементы:

struct MyPrintableCollection<T: Printable>: PrintableCollectionType {
    typealias Generator = IndexingGenerator<T>
    // etc...
}

однако, это, вероятно, мало фактической полезности, так как вы не можете ограничить существующие структуры Swift collection, как это, только те, которые вы реализуете.

вместо этого следует создать универсальные функции, которые ограничивают их ввод в коллекции, содержащие печатаемые элементы.

func printCollection
    <C: CollectionType where C.Generator.Element: Printable>
    (source: C) {
        for x in source {
            x.print()
        }
}