Класи проти структур: керівництво розробника з продуктивності

Коротко: Розкрийте основні відмінності між класами та структурами. Дізнайтеся, коли використовувати кожен для високопродуктивного, чистого коду в C#, Swift, C++ та інших.

Вступ

Основна відмінність між класами та структурами проста, але вирішальна: класи — це типи-посилання (reference types), а структури — це типи-значення (value types). Ця різниця визначає розміщення в пам'яті, поведінку копіювання та продуктивність під час виконання в таких мовах, як C#, C++ і Swift. Розуміння, коли обрати один над іншим, істотне для передбачуваного коду та систем з високою продуктивністю.

Розуміння фундаментальної різниці

Коли ви створюєте екземпляр класу, змінна, яку ви зберігаєте, є посиланням, що вказує на об'єкт у купі (heap). Копіювання такої змінної копіює посилання; кілька посилань можуть вказувати на той самий об'єкт, тому зміни через одне посилання будуть видимі через інші. Ця семантика посилань — ключова причина використання класів для сутностей з ідентичністю.¹

Структура репрезентує самі дані. Створення структури породжує конкретний набір значень — часто збережених на стеку або вбудованих в масиви — тому копіювання структури дає незалежну копію. Зміна копії не впливає на оригінал, що робить структури чудовими для простих, незмінних значень.¹

Для детальнішого ознайомлення з інкапсуляцією та проєктуванням об'єктів див. наше керівництво з об'єктно-орієнтованої інкапсуляції: https://cleancodeguy.com/blog/object-oriented-encapsulation.

Швидке порівняння: типи-посилання vs типи-значення

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

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

Як розміщення в пам'яті визначає швидкість

Розташування в пам'яті впливає на ефективність ЦПУ, пропускну здатність і затримку. Доступ до класу зазвичай включає індирекцію: вказівник на стеку посилається на дані в купі. Це додаткове звернення додає витрат і може погіршити поведінку кешу. Структури, збережені безпосередньо там, де знаходиться змінна, часто уникають цієї індирекції й дозволяють компактніші макети пам'яті з кращою локальністю кешу.¹

Витрати на збір сміття

Об'єкти в купі підпадають під збір сміття. Цикли GC можуть призупиняти виконання, збільшуючи затримку в системах реального часу або з високою пропускною здатністю. Часте виділення короткоживучих об'єктів класів підвищує навантаження на GC та витрати CPU. Використання типів-значення для багатьох маленьких, короткоживучих об'єктів зменшує оберт купи та роботу GC.³

Виділення в купі додає потенційні витрати на GC. Структури уникають цього навантаження, коли залишаються типами-значення і не boxed.

Це особливо важливо в системах, спроектованих для масштабування та чутливості — зменшення кількості виділень безпосередньо зменшує активність GC і може згладити продуктивність під час виконання.

Локальність кешу і пропускна здатність

Сучасні процесори покладаються на кеши. Послідовні макети — наприклад масиви структур — покращують попадання в кеш і пропускну здатність. Окремі виділення в купі для кожного екземпляра класу розкидають дані по пам'яті, збільшуючи пропуски кешу й уповільнюючи обробку. Для щільних циклів і конвеєрів обробки даних суміжні розташування значень — значна перевага.⁵

Пастка Boxing

Boxing відбувається, коли тип-значення перетворюється на тип-посилання (наприклад, коли його поміщають у колекцію, що очікує об'єкти). Boxing виділяє об'єкт в купі і копіює значення в нього, що нівечить переваги продуктивності структури й збільшує навантаження на GC. Уникнення boxing — ключовий принцип ефективного використання типів-значення.⁴

Як відрізняються мови: C#, C++, і Swift

Різні мови накладають різні конвенції та можливості. Знання правил конкретної мови запобігає сліпому застосуванню правил однієї мови до іншої.

C#: чітка модель тип-посилання vs тип-значення

У C# class = тип-посилання, а struct = тип-значення. Використовуйте класи для сутностей з ідентичністю (наприклад, Customer або DatabaseConnection) і структури для маленьких, незмінних значень (наприклад, Point, Color). Утримання структур маленькими й незмінними уникає тонких багів і накладних витрат на копіювання.¹

Поширені помилки включають створення великих або змінних структур; обидві призводять до несподіваних багів або регресій продуктивності. Дотримуйтеся правила про маленькі, незмінні структури при оптимізації в C#.

C++: конвенція замість мовних обмежень

У C++ єдина синтаксична різниця між struct і class — рівень доступу за замовчуванням. Обидва можуть бути розміщені на стеку або в купі, мати методи та підтримувати спадкування. Конвенція полягає в тому, щоб використовувати struct для простих агрегатів даних, а class — для інкапсульованих об'єктів та керування ресурсами (RAII).

Така гнучкість означає, що розробники C++ повинні покладатися на конвенції та архітектурні рішення, а не на мовні відмінності між значеннями та посиланнями. Для порад щодо поліформізму та шаблонів спадкування див. наші нотатки по дизайну C++: https://cleancodeguy.com/blog/polymorphism-vs-inheritance.

Swift: орієнтація на значення за замовчуванням

Swift заохочує віддавати перевагу структурам для більшості кастомних типів. Структури в Swift підтримують методи, розширення та відповідність протоколам, роблячи їх потужними, але безпечними значеннями за замовчуванням. Обирайте класи лише тоді, коли потрібна семантика посилань, ідентичність або сумісність з Objective-C.²

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

Коли обирати структуру для максимальної ефективності

Структури ідеальні для маленьких, незмінних наборів даних, чиїй ідентичності повністю відповідає їхнє значення. Типові приклади:

• Геометричні дані: Point2D або RGBColor
• Фінансові значення: Money (сума + валюта)
• Маленькі DTO, що використовуються в конвеєрах з високою пропускною здатністю

Практичне правило розміру — «16–32 байти»: якщо поля структури поміщаються приблизно в цей діапазон, вартість копіювання помірна й часто дешевша за виділення в купі. Якщо структура стає більшою або має бути змінною, клас, ймовірно, кращий вибір.⁵

Правила незмінності та розміру

• Надавайте перевагу незмінним структурам: значення повинні створюватися один раз і замінюватися, а не мутуватися.
• Тримайте структури маленькими: часте копіювання великих структур може стати дорожчим за передавання посилання.

Ці правила допомагають уникнути прихованих багів (через змінні копії) та пасток продуктивності (через надмірне копіювання або boxing).

Поширені пастки та рефакторинг

Дві поширені проблеми — змінні структури і надмірний boxing.

Змінні структури призводять до несподіваної поведінки, оскільки модифікації впливають лише на копію. Рефакторіть змінні структури в незмінні, які повертають нові екземпляри при зміні стану.

Boxing відбувається неявно в багатьох API і колекціях; ідентифікуйте та усуньте місця з інтенсивним boxing, щоб зберегти переваги продуктивності структур.

Приклад: Рефакторинг змінної точки в незмінну структуру (C#)

// PITFALL: Mutable struct public struct MutablePoint { public int X { get; set; } public int Y { get; set; }

public void Move(int dx, int dy)
{
    X += dx;
    Y += dy;
}

}

// REFACTOR: Immutable struct public readonly struct ImmutablePoint { public int X { get; } public int Y { get; }

public ImmutablePoint(int x, int y)
{
    X = x;
    Y = y;
}

public ImmutablePoint MovedBy(int dx, int dy)
{
    return new ImmutablePoint(X + dx, Y + dy);
}

}

Цей рефактор робить намір явним і усуває випадкове пошкодження стану. Для додаткових практик чистого коду див. наше керівництво з принципів: https://cleancodeguy.com/blog/clean-coding-principles.

Часті запитання (Стисле Q&A)

Q1: Коли мені віддавати перевагу структурі над класом?

A: Віддавайте перевагу структурі, коли тип маленький, незмінний і репрезентує значення, а не ідентичність. Структури блискучі для простих даних, як-то точки, кольори або маленькі DTO.

Q2: На які проблеми продуктивності мені слід звертати увагу?

A: Уникайте змінних структур, великих структур (вартість копіювання) і boxing у об'єкти купи — це знівелює переваги типів-значення і може нашкодити продуктивності.

Q3: Як відмінності між мовами впливають на мій вибір?

A: Дотримуйтесь ідіом мови: C# накладає чітку різницю між типами-значеннями і типами-посиланнями; C++ покладається на конвенції; Swift за замовчуванням віддає перевагу типам-значення. Вивчіть правила платформи перед застосуванням шаблонів з інших мов.¹²

У Clean Code Guy ми допомагаємо командам застосовувати ці принципи в реальних кодових базах. Наші Codebase Cleanups і AI-Ready Refactors роблять програмне забезпечення швидшим, безпечнішим і легшим у підтримці. Відвідайте https://cleancode.com, щоб дізнатися більше.