Блог

Экспериментируя с дженериками в Swift, я столкнулся с этой проблемой и не могу найти ответ.

Допустим, у меня есть следующий код:

 protocol Component {
}

protocol Contains {
    associatedtype CompType: Component
    var components: [CompType] { get set }
}

  

Здесь типы, которые реализуют, Contains должны иметь возможность хранить любой тип, который реализует Component протокол, указанный их типами. Если я расширю код до следующего, он будет работать так, как ожидалось.

 protocol Component {
}

struct SomeComponent: Component {
    init() {
    }
}

struct AnotherComponent: Component {
    init() {
    }
}

protocol Contains {
    associatedtype CompType: Component
    var components: [CompType] { get set }
}

struct Container: Contains {
    typealias CompType = SomeComponent
    var components: [SomeComponent]
}

var x = Container(components: [SomeComponent()])  // works perfectly!
var y = Container(components: [AnotherComponent()])  // fails as expected
  

Наконец, вопрос: возможно ли заставить Container.components принимать оба SomeComponent и AnotherComponent , но отклонять другие типы, которые реализуют Component протокол? Другими словами, может typealias содержать более одного типа?

Спасибо!

Вы можете соответствовать нескольким протоколам

 typealias CompType = SomeComponent amp; AnotherComponent
  

Или вы можете изменить логику

 protocol Component {
}

struct SomeComponent: Component {
    init() {
    }
}

struct AnotherComponent: Component {
    init() {
    }
}

protocol Contains {
    var components: [Component] { get set }
}

struct Container: Contains {
    var components: [Component]
}

var x = Container(components: [SomeComponent()])
var y = Container(components: [AnotherComponent()])
  

Псевдоним типа служит для разрешения общего связанного типа. Он должен однозначно преобразовать его в один тип; это и есть разрешение.

Что ж, судя по тому, как вы все настроили, этот тип может и должен быть любым использующим компонент. Вот что означает эта строка:

 associatedtype CompType: Component
  

Вы использовали общее ограничение компонента. Если это не то, что вы хотели, вам не следовало настраивать все таким образом. Как предлагали другие, если вы хотите, чтобы только SomeComponent и Another component удовлетворяли общему ограничению, тогда вам нужно было бы использовать протокол, который принимают только SomeComponent и Another Component.

Я не думаю, что вам вообще нужен associatedtype

 protocol Component {
}

struct SomeComponent: Component {
    init() {
    }
}

struct AnotherComponent: Component {
    init() {
    }
}

protocol Contains {
    var components: [Component] { get set }
}

struct Container: Contains {
    var components: [Component]
}

var x = Container(components: [SomeComponent()])
var y = Container(components: [AnotherComponent()])
  

Используйте associatedtype в протоколах, когда вам нужно указать тип.

В этом случае вы не хотите указывать, потому что вы хотите иметь возможность принимать соответствие протоколу