Deep Dive into Go Struct-Golang-php.cn

In Go, struct is an aggregate type used for defining and encapsulating data. It allows combining fields of different types. Structs can be seen as custom data types similar to classes in other languages, but they do not support inheritance. Methods are functions associated with a specific type (often a struct) and can be called using an instance of that type.

Defining and Initializing Structs

Defining a Struct

Structs are defined using the type and struct keywords. Here's an example of a simple struct definition:

type User struct {
  Username    string
  Email       string
  SignInCount int
  IsActive    bool
}

Copy after login

Initializing a Struct

Structs can be initialized in various ways.

Initializing with Field Names

user1 := User{
  Username:    "alice",
  Email:       "alice@example.com",
  SignInCount: 1,
  IsActive:    true,
}

Copy after login

Initializing with Default Values

If some fields are not specified, they are initialized to their zero values for the respective types.

user2 := User{
  Username: "bob",
}

Copy after login

In this example, Email will be initialized to an empty string (""), SignInCount to 0, and IsActive to false.

Initializing with a Pointer

A struct can also be initialized using a pointer.

user3 := &User{
  Username: "charlie",
  Email:    "charlie@example.com",
}

Copy after login

Methods and Behavior of Structs

In Go, structs are not only for storing data but can also have methods defined for them. This enables structs to encapsulate behavior related to their data. Below is a detailed explanation of struct methods and behavior.

Defining Methods for Structs

Methods are defined using a receiver, which is the first parameter of the method and specifies the type the method belongs to. The receiver can be either a value receiver or a pointer receiver.

Value Receiver

A value receiver creates a copy of the struct when the method is called, so modifications to fields do not affect the original struct.

type User struct {
  Username string
  Email    string
}

func (u User) PrintInfo() {
  fmt.Printf("Username: %s, Email: %s\n", u.Username, u.Email)
}

Copy after login

Pointer Receiver

A pointer receiver allows the method to modify the original struct fields directly.

func (u *User) UpdateEmail(newEmail string) {
  u.Email = newEmail
}

Copy after login

Method Sets

In Go, all methods of a struct form its method set. The method set for a value receiver includes all methods with value receivers, while the method set for a pointer receiver includes all methods with both pointer and value receivers.

Interfaces and Struct Methods

Struct methods are often used with interfaces to achieve polymorphism. When defining an interface, you specify the methods a struct must implement.

type UserInfo interface {
  PrintInfo()
}

// User implements the UserInfo interface
func (u User) PrintInfo() {
  fmt.Printf("Username: %s, Email: %s\n", u.Username, u.Email)
}

func ShowInfo(ui UserInfo) {
  ui.PrintInfo()
}

Copy after login

Memory Alignment in Structs

In Go, memory alignment for structs is designed to improve access efficiency. Different data types have specific alignment requirements, and the compiler may insert padding bytes between struct fields to meet these requirements.

What is Memory Alignment?

Memory alignment means that data in memory must be located at addresses that are multiples of certain values. The size of a data type determines its alignment requirement. For example, int32 requires alignment to 4 bytes, and int64 requires alignment to 8 bytes.

Why is Memory Alignment Necessary?

Efficient memory access is critical for CPU performance. If a variable is not properly aligned, the CPU may need multiple memory accesses to read or write data, leading to performance degradation. By aligning data, the compiler ensures efficient memory access.

Rules for Struct Memory Alignment

Field alignment: Each field's address must meet its type's alignment requirements. The compiler may insert padding bytes between fields to ensure proper alignment.
Struct alignment: The size of a struct must be a multiple of the largest alignment requirement among its fields.

Example:

type User struct {
  Username    string
  Email       string
  SignInCount int
  IsActive    bool
}

Copy after login

Output: 12

Analysis:

a is int8, occupying 1 byte, aligned to 1.
b is int32, requiring alignment to 4 bytes. The compiler inserts 3 padding bytes between a and b to align b's address to 4.
c is int8, requiring 1 byte, but the struct's total size must be a multiple of 4 (the largest alignment requirement). The compiler adds 3 padding bytes at the end.

Optimizing Memory Alignment

You can rearrange struct fields to minimize padding and reduce memory usage.

user1 := User{
  Username:    "alice",
  Email:       "alice@example.com",
  SignInCount: 1,
  IsActive:    true,
}

Copy after login

Output: 8

In this optimized version, b is placed first, aligning it to 4 bytes. a and c are placed consecutively, making the total size 8 bytes, which is more compact than the unoptimized version.

Summary

Struct fields in Go are allocated memory based on their alignment requirements, with potential padding bytes.
Adjusting the order of fields can minimize padding and optimize memory usage.
Use unsafe.Sizeof to determine the actual memory size of a struct.

Nested Structs and Composition

In Go, nested structs and composition are powerful tools for code reuse and organizing complex data. Nested structs allow a struct to include another struct as a field, enabling the creation of complex data models. Composition, on the other hand, creates new structs by including other structs, facilitating code reuse.

Nested Structs

Nested structs enable one struct to include another struct as a field. This makes data structures more flexible and organized. Here's an example of a nested struct:

type User struct {
  Username    string
  Email       string
  SignInCount int
  IsActive    bool
}

Copy after login

Struct Composition

Composition allows multiple structs to be combined into a new struct, enabling code reuse. In composition, a struct can include multiple other structs as fields. This helps build more complex models and share common fields or methods. Here's an example of struct composition:

user1 := User{
  Username:    "alice",
  Email:       "alice@example.com",
  SignInCount: 1,
  IsActive:    true,
}

Copy after login

Differences Between Nested Structs and Composition

Nested Structs: Used to combine structs together, where a field's type in one struct is another struct. This approach is often employed to describe data models with hierarchical relationships.
Composition: Allows a struct to include fields from multiple other structs. This method is used to achieve code reuse, enabling a struct to have more complex behaviors and attributes.

Summary

Nested structs and composition are powerful features in Go that help organize and manage complex data structures. When designing data models, using nested structs and composition appropriately can make your code clearer and more maintainable.

Empty Struct

An empty struct in Go is a struct with no fields.

Size and Memory Address

An empty struct occupies zero bytes of memory. However, its memory address may or may not be equal under different circumstances. When memory escape occurs, the addresses are equal, pointing to runtime.zerobase.

user2 := User{
  Username: "bob",
}

Copy after login

From the output, variables a, b, and zerobase share the same address, all pointing to the global variable runtime.zerobase (runtime/malloc.go).

Regarding escape scenarios:

Variables c and d escape to the heap. Their addresses are 0x590d00, and they compare equal (true).
Variables e and f have different addresses (0xc00008ef47) and compare unequal (false).

This behavior is intentional in Go. When empty struct variables do not escape, their pointers are unequal. After escaping, the pointers become equal.

Space Calculation When Embedding Empty Structs

An empty struct itself occupies no space, but when embedded in another struct, it might consume space depending on its position:

When it is the only field in the struct, the struct occupies no space.
When it is the first or intermediate field, it occupies no space.
When it is the last field, it occupies space equal to the previous field.

user3 := &User{
  Username: "charlie",
  Email:    "charlie@example.com",
}

Copy after login

When empty structs are elements of arrays or slices:

type User struct {
  Username string
  Email    string
}

func (u User) PrintInfo() {
  fmt.Printf("Username: %s, Email: %s\n", u.Username, u.Email)
}

Copy after login

Applications

The zero-size property of empty structs allows them to be used for various purposes without extra memory overhead.

Prevent Unkeyed Struct Initialization

type User struct {
  Username    string
  Email       string
  SignInCount int
  IsActive    bool
}

Copy after login

Implementing a Set Data Structure

user1 := User{
  Username:    "alice",
  Email:       "alice@example.com",
  SignInCount: 1,
  IsActive:    true,
}

Copy after login

Signal Transmission via Channels

Sometimes, the content of the data transmitted through a channel is irrelevant, serving only as a signal. For instance, empty structs can be used in semaphore implementations: