Go Language Object Oriented Programming: Difference between revisions
Line 47: | Line 47: | ||
(*Color).SomeOtherMethod(&color) | (*Color).SomeOtherMethod(&color) | ||
</syntaxhighlight> | </syntaxhighlight> | ||
===Invoking on <tt>nil</tt> Pointers=== | ===Invoking on <tt>nil</tt> Pointers=== |
Revision as of 23:41, 1 September 2024
External
Internal
Overview
Go is an object-oriented language, but the object orientation programming model is relatively simple, compared with other object-oriented languages. It has been said about Go that is "weakly" object-oriented. Go does not use the term "class", there is no class
keyword in the language. However, Go allows associating data with methods, which what a class in other programming languages really is.
Go provides syntax to associate an arbitrary local type with arbitrary functions, turning them into methods of that type. The local type can be a type alias, a struct
or a function. In this context, "local" means a type that is defined in the same package as the function. That is why a programmer cannot add new methods to built-in types.
The most common pattern for implementing object-orientation is to use a struct
as data encapsulation mechanism, optionally declaring fields as unexported, thus preventing direct access to them from outside the package, and then associating the struct with functions, by declaring the struct type as the receiver type for those functions. The functions become methods of the type. This construct is the closest equivalent to a class in other programming languages. The standard dot notation is then used to call a method on the instance of the receiver type.
Go does offer inheritance, overriding and polymorphism in the language syntax the same way other OOP languages do, but these features are available and can be implemented with a combination of struct field embedding and interfaces. See:
Methods
Pointer Receiver Type
The syntax to declare a pointer receiver type for a function is:
func (receiver_parameter_name *receiver_type) function_name(...) ... { ... }
Example:
func (c *Color) SomeOtherMethod() {
c.color = "dark " + c.color
// (*c).color = "dark" + (*c).color is an equivalent, longer
// syntax. The compiler can handle the simpler syntax.
}
...
color := Color{"blue"}
color.SomeOtherMethod() // equivalent with (&color).SomeOtherMethod()
fmt.Println(color) // will print "{dark blue}"
In the example above, a pointer to a Color
instance is passed inside the method, so the method can mutate the target instance it was invoked on. The invocation copies the pointer to the Color{"blue"}
value into in the c
variable inside the function, making c
an implicit parameter of the method. Similarly to the value receiver type syntax, there is no formal c
function parameter in the signature, yet the method body has access to c
, which behaves similarly to any other function parameter. That is why the following syntax makes sense, and it also works. The syntax confirms that SomeMethod()
is a method associated with the type *Color
(note that it is a pointer type), and when invoked with the pointer to a type instance as its first (implicit) parameter, it behaves exactly as expected:
color := Color{"blue"}
(*Color).SomeOtherMethod(&color)
Invoking on nil Pointers
Since pointers are involved, methods declared with pointer receiver types may be invoked on a nil
pointers, which will lead to a "invalid memory address or nil pointer dereference" panic:
panic: runtime error: invalid memory address or nil pointer dereference [signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0xbe79030] goroutine 1 [running]: main.(*Color).SomeOtherMethod(...) .../cmd/gotest/main.go:8 main.main() .../cmd/gotest/main.go:14 +0x10 Process finished with the exit code 2
If the implementation semantics allows it, the method may guard against nil
pointers:
func (c *Color) SomeOtherMethod() {
if c == nil {
return
}
c.color = "dark " + c.color
}
Dot Notation works with Both Values and Pointers
The Go compiler knows how to use the dot notation with both values and pointers.
There is no need to invoke a method defined with a pointer receiver type with:
(&variable).SomeMethod()
This will work:
variable.SomeMethod()
Similarly, inside the method, there is no need to dereference the pointer receiver type parameter:
func (v *SomeType) SomeMethod(...) {
(*v).someField // not necessary
}
This will work:
func (v *SomeType) SomeMethod(...) {
v.someField
}
Mixing Value and Pointer Receiver Types
When using pointer receivers, it is good programming practice to have all method use pointer receivers, or none of them use pointer receivers. If we mix value and pointer receivers, the IDE would detect that as static check warning:
Struct Color has methods on both value and pointer receivers. Such usage is not recommended by the Go Documentation.
Functions as Receiver Types
TODO: https://go.dev/blog/error-handling-and-go#simplifying-repetitive-error-handling
Encapsulation
Encapsulation in this context is giving access to private data, such as package-internal data or private struct fields, via public methods. This way, access to data is controlled.
Encapsulation can be implemented with package data and with structs, where the "private" fields are declared using identifiers that start with lower cap letters, so they are not visible outside the package. Controlled access to them is given via accessor and mutator methods, or getters and setters, which are functions that have been declared to use the struct as a receiver type:
type Color struct {
color string
}
func (c *Color) Init(color string) {
c.SetColor(color)
}
func (c *Color) Color() string {
return (*c).color
}
func (c *Color) SetColor(color string) {
(*c).color = color
}
...
var c Color
c.Init("blue")
fmt.Println(c.Color()) // prints blue
c.SetColor("red")
fmt.Println(c.Color()) // prints red