Сколько весит пустая структура?

Вес пустой структуры в Go

В Go пустая структура (struct{}) занимает 0 байт в памяти. Это уникальная особенность языка, которая активно используется в различных паттернах.

Техническое объяснение

package main

import (
    "fmt"
    "unsafe"
)

func main() {
    var emptyStruct struct{}
    fmt.Println("Размер пустой структуры:", unsafe.Sizeof(emptyStruct)) // 0
    
    // Даже в составе массива
    arr := [1000]struct{}{}
    fmt.Println("Размер массива из 1000 пустых структур:", unsafe.Sizeof(arr)) // 0
}

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

• Нулевой размер - экземпляры struct{} не занимают память
• Уникальный адрес - все экземпляры могут иметь один адрес в памяти
• Оптимизация компилятором - Go специально обрабатывает пустые структуры для минимизации накладных расходов

Практическое применение

1. Сигнальные каналы

// Каналы для сигналов вместо передачи данных
done := make(chan struct{})
go func() {
    // Долгая операция
    done <- struct{}{} // Отправка "сигнала"
}()

2. Множества (Sets)

// Использование map как множества
type Set map[string]struct{}

s := make(Set)
s["ключ"] = struct{}{} // Занимает минимум памяти

// Проверка существования
if _, exists := s["ключ"]; exists {
    fmt.Println("Ключ существует")
}

3. Методы без состояния

// Сервис без полей, только методы
type Service struct{} // Занимает 0 байт

func (s Service) Process() {
    // Логика обработки
}

Почему не 1 байт?

В некоторых языках пустые объекты занимают минимальный размер (обычно 1 байт), чтобы гарантировать уникальность адресов. Go оптимизирует это:

• Адреса могут совпадать - разные переменные struct{} могут иметь одинаковый адрес
• Компилятор объединяет экземпляры - несколько пустых структур могут указывать на одну ячейку памяти
• Нет необходимости в уникальном адресе - так как структура не содержит данных

Ограничения и нюансы

1. В составе других структур:

type Container struct {
    ID     int
    Marker struct{} // Добавляет 0 байт
    Value  string
}

1. Указатели на пустую структуру занимают место (размер указателя):

var ptr *struct{} = &emptyStruct
fmt.Println("Размер указателя:", unsafe.Sizeof(ptr)) // 4 или 8 байт

1. Каналы пустых структур всё равно имеют накладные расходы на управление каналом, но сами передаваемые значения не занимают память.

Производительность

Использование struct{} в map для реализации множеств дает значительные преимущества:

• Минимальное потребление памяти - только на хранение ключей
• Быстрое сравнение - нет значений для сравнения
• Оптимизация GC - меньше работы для сборщика мусора

Это делает пустую структуру мощным инструментом в арсенале Go-разработчика для создания эффективных по памяти абстракций без потери читаемости кода.