Чи є швидкий пропуск за вартістю або пропускний посилання

Я справді новачок у Swift, і я просто читав, що класи передаються за посиланням, а масиви / рядки тощо копіюються.

Чи пропуск за посиланням такий же, як і в Objective-C або Java, де ви фактично передаєте посилання "a" чи це правильний пропуск за посиланням?

Типи речей у Свіфті

Правило таке:

• Екземпляри класів є типовими типами (тобто ваше посилання на екземпляр класу фактично є вказівником )

• Функції - це еталонні типи

• Все інше - це ціннісний тип ; "все інше" просто означає випадки структур і випадки перерахунків, тому що це все є у Свіфта. Масиви та рядки - це, наприклад, структурні екземпляри. Ви можете передавати посилання на одну з цих речей (як аргумент функції), використовуючи inoutта беручи адресу, як вказував newacct. Але тип сам по собі є типом значення.

Які типи посилань означають для вас

Об'єкт еталонного типу є спеціальним на практиці, оскільки:

• Просто призначення або перехід до функції може дати кілька посилань на один і той же об'єкт

• Сам об’єкт є змінним, навіть якщо посилання на нього є постійною ( letабо явною, або мається на увазі).

• Мутація до об'єкта впливає на цей об'єкт, як видно з усіх посилань на нього.

Це може бути небезпекою, тому слідкуйте за цим. З іншого боку, передача еталонного типу очевидно ефективна, оскільки копіюється та передається лише покажчик, що є тривіальним.

Які типи значень означають для вас

Очевидно, що передача типу значення "безпечніше" і letозначає те, що воно говорить: ви не можете мутувати екземпляр структури або екземпляр enum черезlet посилання. З іншого боку, ця безпека досягається шляхом окремої копії значення, чи не так? Чи не робить це передачу типу значення потенційно дорогим?

Ну так і ні. Це не так погано, як ви могли подумати. Як сказав Нейт Кук, передача типу значення не обов'язково означає копіювання, тому що let(явне або мається на увазі) гарантує незмінність, тому не потрібно нічого копіювати. І навіть перехід до varпосилання не означає, що речі будуть скопійовані, лише те, що вони можуть бути при необхідності (тому що є мутація). Документи спеціально радять не стискати в'язані штани.

Це завжди прохідне значення, коли параметр не єinout .

Якщо параметр є, це завжди проходить посиланняinout . Однак це дещо ускладнюється тим фактом, що вам потрібно явно використовувати &оператор на аргументі при переході до inoutпараметра, тому він може не відповідати традиційному визначенню проходження посилання, де ви передаєте змінну безпосередньо.

Все в Swift за замовчуванням передається "копіювати", тому при передачі типу значення ви отримуєте копію значення, а при передачі типу посилання отримуєте копію посилання з усім тим, що це означає. (Тобто, копія посилання все ще вказує на той самий екземпляр, що і оригінал посилання.)

Я використовую цитати лякань навколо "копії" вище, тому що Свіфт робить багато оптимізації; де це можливо, він не копіюється, поки не з’явиться мутація або можливість мутації. Оскільки параметри незмінні за замовчуванням, це означає, що більшість часу фактично не відбувається копіювання.

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

func ComputeSomeValues(_ value1: inout String, _ value2: inout Int){
    value1 = "my great computation 1";
    value2 = 123456;
}

Назвіть це так

var val1: String = "";
var val2: Int = -1;
ComputeSomeValues(&val1, &val2);

У блозі розробників Apple Swift є посада під назвою Цінні та референтні типи яка забезпечує чітке та детальне обговорення цієї самої теми.

Цитувати:

Типи Swift поділяються на одну з двох категорій: по-перше, «типи значень», де кожен екземпляр зберігає унікальну копію своїх даних, зазвичай визначається як структура, перерахунок або кортеж. Другий, "типи посилань", де екземпляри діляться однією копією даних, а тип зазвичай визначається як клас.

Публікація в блозі Swift продовжує пояснювати відмінності на прикладах та пропонує коли ви будете використовувати один над іншим.

Класи передаються посиланнями, а інші передаються за значенням за замовчуванням. Ви можете пройти посилання за допомогою inoutключового слова.

Якщо ви використовуєте inout з оператором infix, наприклад + =, символ & address може ігноруватися. Я думаю, компілятор передбачає пройти за посиланням?

extension Dictionary {
    static func += (left: inout Dictionary, right: Dictionary) {
        for (key, value) in right {
            left[key] = value
        }
    }
}

origDictionary + = newDictionaryToAdd

І добре, що цей словник "додати" лише одне записування до оригіналу посилання, і це чудово для блокування!

Класи та структури

Однією з найважливіших відмінностей між структурами та класами є те, що структури завжди копіюються, коли вони передаються навколо у вашому коді, але класи передаються за посиланням.

Закриття

Якщо ви призначите закриття властивості екземпляра класу, а закриття захоплює цей екземпляр, посилаючись на екземпляр або його членів, ви створите міцний контрольний цикл між закриттям і екземпляром. Swift використовує списки захоплення для розбиття цих сильних еталонних циклів

ARC (автоматичний підрахунок посилань)

Підрахунок посилань стосується лише екземплярів класів. Структури та перерахування є типовими значеннями, а не типовими типами і не зберігаються та передаються посиланням.