Ответ.

История вопроса:

В Swift до версии 5 при возвращении значения, соответствующего протоколу с associated type, часто сталкивались с ограничениями — тип невозможно было использовать как return type напрямую, требовался type erasure. Для улучшения читаемости и производительности ввели opaque types — возвращаемые значения через ключевое слово some, позволяющие описывать абстракции в публичных интерфейсах.

Проблема:

Когда надо скрыть реальный тип возвращаемого значения, сохранив абстракцию через протокол, но при этом избежать издержек dynamic dispatch и type erasure. Например, возвращая коллекции, последовательности, view-компоненты.

Решение:

Opaque types позволяют возвращать тип, соответствующий протоколу, скрывая его конкретную реализацию. Компилятор знает реальный тип, но вызывающая сторона — нет.

Пример:

protocol Shape {
    func area() -> Double
}

struct Circle: Shape {
    var radius: Double
    func area() -> Double { Double.pi * radius * radius }
}

func makeCircle() -> some Shape {
    return Circle(radius: 3)
}

let s = makeCircle()
print(s.area()) // работает

Ключевые особенности:

Opaque type — всегда один и тот же тип, скрытый за протоколом, объявленный в return через some
Быстрее и строже, чем type erasure, позволяет работать с associated type в протоколах
Не допускает возвращать разные типы по разным веткам (тип должен быть один и тот же для всех return)

Вопросы с подвохом.

Чем отличается opaque type (some Protocol) от возвращаемого типа Protocol?

Opaque type при компиляции имеет конкретную реализацию (хотя и скрыт извне). При возвращении Protocol работает dynamic dispatch, нет type safety если есть associated type.

Можно ли вернуть разные типы с использованием some Protocol в одной функции?

Нет. Все return должны возвращать один и тот же реальный тип:

func maker(flag: Bool) -> some Shape {
    if flag {
        return Circle(radius: 3)
    } else {
        return Square(size: 2) // Ошибка: return type не совпадает
    }
}

Может ли associatedtype внутри Protocol быть использован через some Protocol?

Да. Именно для этого (в первую очередь) и нужен opaque type:

protocol View { associatedtype Body }
func makeView() -> some View { /* ... */ }

Типовые ошибки и анти-паттерны

Путаница между some Protocol и Protocol — разные кейсы и ограничения
Нарушение правила однородности возвращаемого типа по всем веткам
Применение some там где проще protocol или typealias

Пример из жизни

Негативный кейс

Функция возвращает protocol без opaque, не позволяет использовать методы с associatedtype, необходим сложный type erasure, код не компилируется или работает неоптимально.

Плюсы:

Гибкость в абстракциях типа AnySequence

Минусы:

Потери type safety, низкая производительность
Не работают ассоциированные типы

Позитивный кейс

ViewBuilder в SwiftUI использует some View, скрывая детали, повышая безопасность типов, улучшая скорость компиляции и runtime.