Я разрабатываю приложение в Swift 2 (Xcode 7 beta 3), и, когда это возможно, я пытаюсь использовать типы значений (структуры и перечисления). Согласно документации Apple относительно управления памятью, работа с типами значений не должна вызывать каких-либо циклов сохранения, и она должна просто работать.
Но сегодня я столкнулся с огромным количеством утечек памяти в коде обработки событий. Я отследил его и уменьшил проблему до следующего минимального примера.
Скажем, существует протокол Item, который определяет одно свойство value:
protocol Item {
var value: String { get }
}
Затем мы создаем конкретную структуру, которая реализует протокол Item и добавляет дополнительное свойство additionalValue. Позвольте называть struct FooItem.
struct FooItem<T>: Item {
let value: String
let additionalValue: T
init(value: String, additionalValue: T) {
self.value = value
self.additionalValue = additionalValue
}
}
Третья часть головоломки - это другая структура, которая обертывает элемент, реализующий протокол Item. Он называется ItemWrapper.
struct ItemWrapper {
let item: Item
init(item: Item) {
self.item = item
}
}
Если в приложении "Инструменты" используется конфигурация "Утечки памяти", утечка памяти появляется каждый раз, когда значение ItemWrapper создается с помощью FooItem.
let item = FooItem(value: "protocol value", additionalValue: "foo item value")
let _ = ItemWrapper(item: item)
Вот пример проекта Xcode и файла Инструменты: https://www.dropbox.com/s/z6ugxzxqggrv1xl/SwiftStructsMemoryLeak.zip?dl=0
Пример всего кода можно просмотреть в этом Gist: https://gist.github.com/lukaskubanek/4e3f7657864103d79e3a
Вот отчет об ошибке: rdar://21375421
Это ошибка в компиляторе Swift или я делаю что-то неправильно?
РЕДАКТИРОВАТЬ 1. Как было предложено в комментариях, я перепробовал этот вопрос на форуме Apple Dev Forum, чтобы привлечь больше внимания со стороны сообщества Swift и потенциально от разработчиков языка. Из-за миграции форумов dev во время WWDC 2015 я должен был опубликовать обновленный вопрос на новых форумах. Вот ссылка: https://forums.developer.apple.com/message/9643
РЕДАКТИРОВАТЬ 2. Проблема, которую я первоначально разместил в примере кода, кажется, разрешена в Swift 2.0. Поскольку это не решило проблемы в моем приложении, я сделал еще одну модификацию кода примера. Теперь дополнительное свойство FooItem имеет общий тип, а FooItem аннотируется с типом и, следовательно, общим типом. Вот как я использую его в своем приложении, и он все еще вызывает утечку памяти, но на этот раз, когда ItemWrapper инициализируется, а не при доступе к свойству.
РЕДАКТИРОВАТЬ 3. Полностью обновите вопрос к модифицированной проблеме, которая сохраняется в Swift 2.0 и загружена в новый проект Xcode.
