Interesting points
-
Go has some strictness when it comes to compiling
- if packages are imported but not used - don’t compile
- if a newline is placed incorrectly - don’t compile. Newlines follwing certain tokens are converted to semicolons automatically
- Semicolons are used only when statements are to be written in one line one after another.
- if local variables are not used - don’t compile
-
Go also has strict code formatting rules built-in, which makes it standard everywhere.
- eg. opening brace
{
of the function must be on the same line as the declartionfunc
- In
x+y
, a newline is permitted after but not before the+
operator
- eg. opening brace
-
Variables if not initialized with a value, get assigned a zero value. For numeric type it’s 0 for strings it’s ""
-
Map is a reference to the data structure created by
make
.c := make(map[string]int)
Declarations
- Case matters when declaring stuff outside a function (package-level). If upper case then the thing is “exported” and available outisde the package as well
- Four types of declartions:
var
,const
,type
andfunc
- File Sturcture
<package declaration>
<imports>
<package-level declartions of types, variables, constants and functions>
-
Variables
var
name type = expression- Either type or = expression can be omitted, but not both
var i = "hello"
- determined by the right side expression
- Either type or = expression can be omitted, but not both
- Variables declared always take a default meaningful value (zero value) to avoid unexpected behaviour
0
for numbersfalse
for booleansnil
for interfaces and reference types like slice, pointer, map, channel, function
var i, j, k int // 0, 0, 0
var b, f, s = true, 2.3, "four"
-
only withing a function, a short variable declaration may be used to initialize and declare a local variable
name := expression
- type ofname
is determined byexpression
- Remember
:=
is a declartion and=
is an assignment - if some of the variables on the left-hand side of
:=
are already declared then it acts like an assignment - A short variable declartion must declare at least one new variable
- not valid code:
f, err := os.Open(file) f, err := oss.Create(ofile) // compile error: no new variables
- not valid code:
-
The
new
Functionnew(T)
creates an unnamed variable of typeT
initializes it with the zero value of T and returns its address, which is of type*T
p := new(int) // p, of type *int, points to an unnamed int variable fmt.Println(*p) // "0" *p=2 // sets the unnamed int to 2 fmt.Println(*p) // "2"
-
Keeping a note of how garbage collection works is usefull when optimizing performance. When a pointer lives outside a scope and can reference an object inside the scope, it still can be reached, hence the garbage collector cannot reclaim the memory allocated for the variable inside the scope. It’s good to keep in mind for performance critical programs how the garbage collection works.
-
Scope
- important to read 2.7. Scope of the go book p.48, last para, till the end.
Basic Types
- Numeric Types
int
is either 32 or 64 bit in width depending on the compilerrune
is synonym forint32
and indicates that the value is a Unicode code pointbyte
is synonym foruint8
int
is not as same asint32
even if it’s natural size is 32 bits. An explicit conversion is required where 32 bits int is requireduintptr
enough to hold all the bits of a pointer value
- Operators
- ^ is bitwise XOR when it’s used as a binary operator and when used as unary operator (as prefix) it is a bitwise negation or complement
- &^ operator is bit clear operator (AND NOT, i.e x ∧ ¬Y)
Side note (Sets in Binary representation)
- Binary representation of a number can be thought of like a set, where 1 means that the number is in the set. And bitwise
operations will then correspond to some set operations
eg:
var x unint8 = 1<<1 | 1<<5 var y unint8 = 1<<1 | 1<<2 fmt.Println("%08b\n", x) // "00100010", the set {1, 5} fmt.Println("%08b\n", y) // "00000110", the set {1, 2} fmt.Println("%08b\n", x&y) // "00000010", the intersection {1} fmt.Println("%08b\n", x|y) // "00100110", the union {1, 2, 5} fmt.Println("%08b\n", x^y) // "00100100", the symmetric difference {2, 5} fmt.Println("%08b\n", x&^y) // "00100000", the difference {5} for i := unint(0); i < 8; i++ { if x&(1<<i) != 0 { fmt.Println(i) // "1", "5" } } fmt.Println("%08b\n", x<<1) // "01000100", the set {2, 6} fmt.Println("%08b\n", x>>1) // "00010001", the set {0, 4}
- Strings
- Strings are immutable. Which means it is safe for two copies of a string to share the same underlying memory; Substring of a string can use the same underlying memory
- Double quoted strings can have excape sequences. Including
\xhh
,\ooo
– where ooo is octal digits and max being\377
, both denoting single byte with the specified value. - Raw string literal is written with `…` (backticks)
- Unicdoe
- A unicode code point is called a rune in go terminology and is synonym to int32. UTF-32 encoding each code point has the same size 32 bits.
- In a string literal \uhhhh can be used for 16 bit value of the code point and \Uhhhhhhhh can be used for 32 bit value of the code point. Unicode escapes can also be used in rune literals
'\u4e16'
- These are the same (underlying bytes are the same):
"世界" "\xe4\xb8\x96\xe7\x95\x8c" "\u4e16\u754c" "\U00004e16\U0000754c"
- When decoding strings using utf8.DecodeRuneInString or using range and an invalid byte sequence is encountered, it is replaced with \uFFFD (white question mark)
- A []rune conversion applied to a UTF-8-encoded string returns the sequence of Unicde code points that the string encodes:
s := "プログラム" fmt.Printf("% x\n", s) // "e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0" r := []rune(s) fmt.Printf("%x\n", r) // "[30d7 30ed 30b0 30e9 30e0]" fmt.Println(string(r)) // プログラム
- Constants
- It is known that constants are evalutated at compile time. Also, since their value is known at compile time, the results of all arithmetic, logical and comparison operations applied to constant operands are themselves constants, as are the results of conversions and calls to certain built in functions such as len, cap, real, imag, complex and unsafe.Sizeof
- iota
- It’s a constant generator. It’s value begins at zero and increments by one for each item in the sequence
- Example from time package
type Weekday int const ( Sunday Weekday = iota Monday Tuesday Wednesday Thursday Friday Saturday )
- Example defining constants with bits and using them
type Flags uint const ( FlagUp Flags = 1 << iota FlagBroadcast FlagLoopback FlagPointToPoint FlagMulticast ) func IsUp(v Flags) bool { return v&FlagUp == FlagUp } func TurnDown(v *Flags) { *v &^= FlagUp } func SetBroadcast(v *Flags) { *v |= FlagBroadcast } func IsCast(v Flags) bool { return v&(FlagBroadcast|FlagMulticast) != 0 } func main() { var v Flags = FlagMulticast | FlagUp fmt.Printf("%b %t\n", v, IsUp(v)) // "10001 true" TurnDown(&v) fmt.Printf("%b %t\n", v, IsUp(v)) // "10000 false" SetBroadcast(&v) fmt.Printf("%b %t\n", v, IsUp(v)) // "10010 false" fmt.Printf("%b %t\n", v, IsCast(v)) // "10010 true" }
- Example of using iota to define names of powers of 1024
const ( _ = 1 << (10 * iota) KiB // 1024 MiB // 1048576 GiB // 1073741824 TiB // 1099511627776 PiB // 1125899906842624 EiB // 1152921504606846976 ZiB // 1180591620717411303424 YiB // 1208925819614629174706176 )
- untyped constants
- untyped constants allows the constant to be used in expressions without worrying about the precision. untyped constants can be very big, the book says you may assume atleast 256 bits of precision
- only constants are untyped and are of 6 flavors:
- untyped boolean
- untyped integer
- untyped rune
- untyped floating-point
- untyped complex
- untyped string
- When untyped constants are assigend to a variable, the constant is implicitly converted to the type of that variable
- read section 3.6.2 for more
Composite Types
-
Arrays
- fixed length sequence. The size is a part of it’s type:
q := [...]int{1, 2, 3} fmt.Printf("%T\n", q) // "[3]int"
...
means that the size must be determined by the initializing values. Else you do it likevar q [3]int = [3]int{1, 2, 3}
- It is also possible to specify a list of index and value pairs like follows:
In this form, indices can appear in any order and some may be omitted; as before, unspecified values take on the zero value for the element type. For instance,
type Currency int const ( USD Currency = iota EUR GBP RMB ) symbol := [...]string{USD: "$", EUR: "9", GBP: "!", RMB: """} fmt.Println(RMB, symbol[RMB]) // "3 ""
defines an array r with 100 elements, all zero except for the last, which has value −1.r := [...]int{99: -1}
- We can use the
==
to check if all elements of two arrays are equal, but both the array types must be the same (also same size, since size is part of the type)
- fixed length sequence. The size is a part of it’s type:
-
Slices
- slices are variable-length sequences. It’s closely connected to array and array is it’s underlying data structure.
- declare and initialize a slice:
mySlice := []string{"One", Two, Three}
- It’s a lightweight data structure consisting of a
pointer
that points to the first element of an array (might not be the first element of the actual underlying array), alength
which is the number of elements in the slice andcapacity
which is the number of elements between the start of the slice and the end of the underlying array. Built-in functionslen
andcap
return those values - We can’t use
==
to compare two slices. But we can compare two byte slices usingbytes.Equal
function. For other types of slices, we need to do the comparison ourselves - zero value of a slice is
nil
- The built-in function make creates a slice of a specified element type, length, and capacity. The capacity argument may be omitted, in which case the capacity equals the length.
Under the hood,
make([]T, len) make([]T, len, cap) // same as make([]T, cap)[:len]
make
creates an unnamed array variable and returns a slice of it; the array is accessible only through the returned slice. In the first form, the slice is a view of the entire array. In the second, the slice is a view of only the array’s first len elements, but its capacity includes the entire array. The additional elements are set aside for future growth. - Slices are more akin to a struct like so:
and when you pass a slice, you are passing a copy of this slice data-structure. Ofcourse you have access to the underlying array structure which is always a reference (pointer to its location)
type IntSlice struct { ptr *int len, cap int }
append
function- built-in append can append items or even slices to an existing slice
var x []int x = append(x, 1) x = append(x, 2, 3) x = append(x, 4, 5, 6) x = append(x, x...) // append the slice x fmt.Println(x) // "[1 2 3 4 5 6 1 2 3 4 5 6]"
- we can use a slice as a stack
stack = append(stack, v) top := stack[len(stack)-1] stack = stack[:len(stack)-1]
- thing to remember about slice is that it’s a lightweight data-structure which only keeps track of the it’s length, the capacity of it’s underlying array and a pointer to that array. And when you use the slice operators (eg slice[:len(slice)-1], etc) you are creating a new slice, which points to the same array. And hence if you do change the underlying array, this reflected on both the slices.
- built-in append can append items or even slices to an existing slice
-
Maps
- collection of unordered key/value pairs. the map type is written as
map[K]V
. WhereK
are the types of its keys and values. All keys are of the same type and all the values are of the same type. The key typeK
must be comparable using==
- built in
make
can be used to create a map:ages := make(map[string]int)
- map literal can also be used:
ages := map[string]int{ "alice": 31, "charlie" 34, } emptymap := map[string]int{} // initialize an emtpy map
- map elements can be deleted:
delete(ages, "alice)
- Even if key is not present it will not throw an error and if you try to do a map lookup using a key that isn’t present, it returns the zero type for its type
age := ages["bob"] // 0
- but if we would like to know whether the key was there or not we can do:
age, ok := ages["bob"] if !ok { /* "bob" was not a key in the map. do something */} if age, ok := ages["bob"]; !ok { /* ... */ } // shorter way of writing
- Map elements cannot be addressed. i.e you can’t get their address/pointer
- Never treat map as ordered. If some sort of ordering is required, then we need to sort keys separately and then access the map:
import "sort" var names []string for name := range names{ names = append(names, name) } sort.Strings(names) for _, name := range names { fmt.Printf("%s %d\n", name, ages[name]) }
- map can be
nil
(it is its zero value), i.e there is no reference to a hash table anywhere. Accessing map that is nil causes panic - like slices, maps can’t be compared using
==
; will need to write a function for it. - map can serve the purpose of a set, since keys cannot repeat
- if you do want to use slices as keys then we can convert them to say string type representation and then use it. Apparently that’s a valid thing to do and the author showed an example with slices of string themselves and a function k that maps from a slice to another comparable type (in this case string) like int, bool, string, etc. so that it can be then used as a key of the map
- The value type of map can itself be a composite type, such as a map or a slice.
- collection of unordered key/value pairs. the map type is written as
-
Structs
- structs are simply a collection of types that together form a single entity.
- Classical example:
type Employee struct { ID int Name string Address string DoB time.Time Position string Salary int ManagerID int } var dilbert Employee
- You can use dot operator as usual to access the fields. Even if you have the pointer to Employee, you can use the dot operator as usual
- Field order is significant to type identity. i.e you can’t change the order of declaration of the struct and expect it to be the same struct
- Struct literals:
type Point struct{ X, Y int} p := Point{1, 2}
- If all fields of a struct are comparable then the struct itself is comparable. The
==
operation compares the corresponding fields of the two structs in order. The two expressions printed below are equivalent:type Point struct{ X, Y int } p := Point{1, 2} q := Point{2, 1} fmt.Println(p.X == q.X && p.Y == q.Y) // false fmt.Println(p == q) // false
- Struct Embedding
- Go lets us declare field with a type but no name, called anonymous fields. The type of the field must be a named type or a pointer to a named type.
- Embedding a struct refers to including a struct in the definition of a struct and making it an anonymous field.
- An example of how it is useful.
as you can see it’s quite verbose having to mention each field and subfield. We can instead use anonymous fields like so:
type Point struct{ X, Y int } type Circle struct{ Center Point Radius int } type Wheel struct{ Circle Circle Spokes int // number of spokes count } var w Wheel w.Circle.Center.X = 8 w.Circle.Center.Y = 8 w.Circle.Radius = 4 w.Spokes = 24
Note that the commented equivalent are still valid. Struct literals will still have to mention the field types. Any of the two forms is valid:type Point struct{ X, Y int } type Circle struct{ Point Radius int } type Wheel struct{ Circle Spokes int // number of spokes count } var w Wheel w.X = 8 //equivalent to w.Circle.Point.X = 8 w.Y = 8 //equivalent to w.Circle.Point.Y = 8 w.Radius = 4 //equivalent to w.Cirlce.Radius = 4 w.Spokes = 24
w = Wheel{Cirlce{Point{8, 8}, 5}, 20} w = Wheel{ Circle: Circle{ Point: Point{X: 8, Y: 8} Radius: 5, }, Spokes: 20, }
5.3
- bare return is a shorthand way to return each of the named result variables in order
func CountWords(url string) (words, images int, err error){ resp, err := http.Get(url) if err != nil { return } }
return
above is equivlant toreturn words, images, err
and the values ofwords
images
is the default values of the data type. Bare returns should be used sparingly because it isn’t instantly obvious what is being returned. On the other hand it reduces verbosity and code reuse.
5.4 Errors
- If an error has only one possible cause, the result is a boolean, usually called ok
error
is an interface type and an error implies something went wrong and we can get its message by calling itsError()
method or by printing itfmt.Println(err)
fmt.Printf("%v", err)
- [My note] Go’s approach with errors is that things can go wrong and programs and libraries should be well written and document what they expect can go wrong. Other than that, “exceptions” are a sort of supported (more on this when I have read it fully), they aren’t the primary way of conveying that something can go wrong. First its
error
for “expected” failure and then there are “exceptions” for truly unexpected errors that indicate a bug. With if else, return control flow, go wants programmers to pay more and effor to attention to what could go wrong.
5.4.1 Five ways to handle errors:
- [Refer Read] 5.4.1 Error-Handling Strategies
- Propogate upwards and also add information and context to the error message using
fmt.Errorf()
Be concise and precise. iff(x)
encounters error than its responsibility is to report attempted operationf
and the argumentsx
as they relate to the error. And errors can be chainged by adding to fmt.Errorf(). From functionabc(y)
, If you want to report an error but it happend due to another function and you want to propogate it, don’t just send it off, add more info. -fmt.Errorf(tried doing xyz on %s: %v, y, err)
where err is the error you got from from xyz function, because whatxyz
’s err reported, might not make sense to the functionabc
’s caller. - Second handlin erros that represent transient problems which are un predictable, with retries-for example retyring an ht tp connection (read example in the section)
- Print error and stop the program gracefully, but this is mostly reserved for the main function to do.
log.Fatalf("oh oh %v", err)
is a way to print a fatal log - Some cases it’s enough to log the error and continue (perhaps with less functionality) using
fmt.Fprintf(os.Stderr, "")
orlog.Printf()
- Most rarely it is okay to ignore a error and move on, but if you do, document the intention clearly
- Propogate upwards and also add information and context to the error message using
5.7 Variadic Functions
func sum(vals ...int) int{
total := 0
for _,val := range vals{
total += val
}
return total
}
fmt.Println(sum(1, 2, 3, 4))
// implicitly makes a slice of the the size of arguments passed.
// shows how to invoke variadic function when args are already in a slice
values := []int{1, 2, 3, 4}
fmt.Println(sum(values...))
// these are not the same types even though the `...int` parameter behaves lika slice within the function body
func f(...int) {}
func g([]int) {}
5,8 Deffered function calls
defer
prefix before a function call causes the function to be called just before the function done with its execution whether it returns, abnormally stops or panics. It is usually written just after acquiring a resource.- A nice trick to pair “on-entry” and “on-exit” actions using defer
Now since the defer statement needs to be executed, it needs to evaluate
func bigSlowOperation(){ defer trace("bigSlowOperation")() // ... work time.Sleep(10 * time.Second) } func trace(msg string){ start := time.Now() fmt.Printf("enter %s:", msg) return func() { log.Printf("exit %s (%s)", msg, time.Since(start)) } }
trace("bigSlowOperation")
, because its return value is what is being defered not itself. And because Anonymous functions have access to named variables defined in enclosing function, it can print out the time elapsed sincestart
. - Deffered functions run after return statements have update the function’s result variables.
- A deferred anonymous function can observe the function’s results
func double(x int) (result int) { defer func() { fmt.Printf("double(%d) = %d\n", x, result) }() result x + x } _ = double(4) // // "double(4) = 8"
- Pay more attention to defer statements in loop bodies. A huge amount of resources might open up but may run out of memory and they might never get closed
5.9 Panics
- Usually done by a programmer only for “impossible” situations
5.10
- if the built-in
recover
function is called within a deferred function and the function containing thedefer
statement is panicking,recover
ends the current state of panic and returns the panic value. If recover is called any other time, it has no effect and returns nil.
func Parse(input string) (s *Syntax, err error){
defer func() {
if p := recover(); p!= nil {
err = fmt.Errorf("internal error: %v", p)
}
}()
// ..parse
}
The deferred function in Parse recovers from a panic, using the panic value to construct an error message.
6.1 Method Declarations
-
Methods can be declared to any named typed as long as the underlying type is not a pointer or an interface
type P *int func(P) f() { /* ... */ } //compile error: invalid receiver type
-
The method has another parameter called the receiver which is a legacy term from OOP.
type Number int func (n Number) Double() int { return n*2 }
Here n is the receiver parameter
-
*T
andT
as receiver types To functions, one takes aPoint
type and the other takes*Point
type Point struct{ X,Y float64 } func (p Point) Distance(q Point) float 64 { return math.Hypot(q.X-p.X, q.Y-p.Y) } func (p *Point) ScaleBy(factor float64) { p.X *= factor p.Y *= factor }
- Either the receiver argument has the same type as the receiver parameter, Both have type
T
or both have type*T
:p = Point{1, 2} pptr = &p p.Distance(q) //Point pptr.ScaleBy(2) //*Point
- Receiver argument is a variable of type
T
and the receiver parameter has type*T
p.ScaleBy(2) //implicit (&p).ScaleBy()
- Note: We cannot call a
*Point
method on a non-addressablePoint
receiver, because there’s no way to obtain the address of a temporary value.
Point{1, 2}.ScaleBy(2) // compile error: can't take address of Point literal
- Note: We cannot call a
- Reciever argument has type
*T
and the receiver parameter has typeT
pptr.Distance(q) //implicit (*pptr).Distance()
- Either the receiver argument has the same type as the receiver parameter, Both have type
-
nil
is a valid receiver value for a method, especially when nil is meaningful zero value of the type, like maps and slices -
According to convention, if one of the methods defined has a pointer receiver of type
T
then all methods should have the pointer receiver typeT
6.3 Composing Types by struct Embedding
- [Read]
- basically deals with composition in object-orented paradigm. Embedded structs in other struct promote their methods to the struct they are in. Hence the enclosing struct can use its embedded structs mehtods. Just like how when referring to an anonymouse field, we can neglect the struct name itself and go straight to its field. instead
Cirlce.Point.x
justCircle.x
is enough - The methods of Point also get promoted to the struct it is embedded in:
import "image/color" type Point struct{ X, Y float64 } type ColoredPoint { Point Color color.RGBA } var cp ColoredPoint cp.X = 1 fmt.Println(cp.Point.X) // "1" cp.Point.Y = 2 fmt.Println(cp.Y) // "2" red := color.RGBA{255, 0, 0, 255} blue := color.RGBA{0, 0, 255, 255} var p = ColoredPoint{Point{1, 1}, red} var q = ColoredPoint{Point{5, 4}, blue} fmt.Println(p.Distance(q.Point)) p.ScaleBy(2) q.ScaleBy(2) fmt.Println(p.Distance(q.Point)) / "10"
- An anonymous field can also be a pointer to a named type
type ColoredPoint struct { *Point Color color.RGBA }
- a struct can also have more than one anonymous fields:
In this case
type ColoredPoint struct { Point color.RGBA }
ColoredPoint
will have all the methods ofPoint
, all the methods ofRGBA
.
6.4 Method Values and Expressions
- Method values is when you have a method and you assign it to a variable
distanceFromP := p.Distance
; herep
is of the typePoint
. - Method expression is when you assign the “static” method to a funciton variable, in that case the first argument to that funciton variable will be the reciever argument.
distance := Point.Distance; fmt.Println(distance(p,q))
or scale which takes a*Point
reciever.scale := (*Point).ScaleBy
6.5 Example: Bit vector
- Did all the exercises 6.1 to 6.5
- Learnings
range
returns a copy of the element and not a pointer to it^
is an xor operation but also a bit complement when used on a single operand- slices can only be compared to nil. They can’t be compared with other slices to check equality. Arrays on the other hand can be compared.
6.6 Encapsulation
-
Go has one mechanism to control visibility of names - Capilaized are exported and uncapitalized or not.
-
Same thing controls the fields of a struct or a method of a type.
-
Go stype omits redundant prefix for methods like Get, Fetch, Find, Lookup, etc.
example, the Logger:
package log typer Logger struct { flags int prefix string ... } func (l *Logger) Flags() int func (l *Logger) SetFlags(flag int) func (l *Logger) Prefix() int func (l *Logger) SetPrefix(prefix string)
7.1 Interfaces as Contracts
- In golang, a type doesn’t have to declare all the interfaces it satisfies. Instead it is satisfied implicitly.
- An interface is like a contract. If you can satisfy the methods in an interface, then you have implemented that interface
- Interfaces make the behaviour clear. How you do it, is completly up to the programmer implementing the interface
- Example is
io.Writer
andFprintf()
. Fprintf wants aio.Writer
interface as it’s first argument and as long as the argument has theWrite()
method, with the correct signature and behaviour it will call it. It doesn’t care whether there is actual writing happening anywhere, it only cares that it can callWrite
- For example, this is a valid implemenation of the Writer interface:
and since
type ByteCounter int func (c *ByteCounter) Write (p []byte) (int, error) { *c += ByteCounter(len(p)) // convert int to ByteCounter return len(p), nil }
ByteCounter
satisfies theio.Writer
contrace, we can pass it toFprintf
var c ByteConter c.Write([]byte("Hello")) fmt.Println(c) // "5", = len("hello") c = 0 // reset var name = "FooBar" fmt.Fprintf(&c, "hello, %s", name) fmt.Println(c) // "13" = len("hello, FooBar")
7.3 Interface satisfaction
-
A type satisfies an interface if it possesses all the methods the interface requires.
-
Assignability of a interface variable applies if both sides have the mehtods required to satisfy the interface:
var w io.Writer w = os.Stdout // OK: *os.File has Write method w = new (bytes.Buffer) // OK: *bytes.Buffer has Write method w = time.Second // compile error time.Second lacks Write() method var rwc io.ReadWriteCloser rwc = os.Stdout // OK rwc = new(bytes.Buffer) // compile error: *bytes.Buffer lacks Close mthod w = rwc // OK io.ReadWriteCloser has a Write method rwc = w // compile error: io.Writer lacks Read and Close method // same with the fmt.String interface var s Intset var _ = s.String() // OK: implicit conversion of s to &s cause *Intset has a String method var _ fmt.Stringer = &s // OK var _ fmt.Stringer = s // compile error; Intset doesn't have a String method
-
An interface types wraps and conceals the concrete type and it’s value. Only the methods revealed by the interface type maybe called even if the concrete type has others:
os.Stdout.Write([]byte("hello")) // OK os.Stdout.Close() // OK var w io.Writer w = os.Stdout w.Write([]byte("hello")) // OK io.Write has a Write method w.Close() // compile error. No Close method defined by io.Writer
-
The more methods defined by the interface type, the greater demands are placed on the types that implement it, and the more we know about it’s values.
-
An empty interface (that which doesn’t define any methods) tells us nothing about a type and places no demands on the type that satisfies it.
-
At compile time we can have a assertion like so, so that we document the relationship between the interface type and the concrete type. Even though this is not required and interfaces are implicitly satsified by the methods of a type
//*bytes.Buffer must satsify io.Writer var w io.Writer = new(bytes.Buffer) //or more frugally var _ io.Writer =(*bytes.Buffer)(nil)
-
A pointer to a struct is a common method bearing type. ie. most of the time, these are used to satisfy an interface, but these are not the only ones that can satisfy an interface
7.5 Interface values
- Note: “dynamic value” and “dynamic type” mentioned here are conceptual. In implemenation, the are different things
- Dynamic type and value are assigned (conceptually/internally) when we assign a type that satisfies a interface type to it.
Read the section for more
var w io.Write // dynamically assigns the type to *os.File and value as an instance of os.File w = os.Stdout // implicitly does w = io.Writer(os.Stdout)
- Interface values are comparable and can be used as keys of a map or as the operand of a switch statement
- Two interface values are equal if they have identical dynamic type and if their dynamic values are equal occording to usual behaviour of
==
for the type. If the type is non-comparable, there is a panic:var x interface{} = []int{1,2,3} fmt.Println(x == x) // panic: comparing uncomparable type []int
- Only compare interface values if you are certain that they contain dynamic values of comparable types
- We can use
%T
of fmt to report dynamic type of the interface value:var w io.Writer fmt.Printf("%T\n", w) // "nil" w = os.Stdout fmt.Printf("%T\n", w) // *os.File
- 7.5.1 Caveat: An interface containing a nil pointer is non-nil
- Read seciton
- If the interface’s dynamic type is set to something and the value is nil, the interface variable as a whole is not
nil
, or rather it’s value is non-nil (not dynamic value, but its value) - Remember - a nil pointer does still have a type:
var w io.Writer var b *bytes.Buffer w = b // Ok, but the dynamic type is set to *bytes.Buffer and the value is nil. w.Write([]bytes("hello")) // will raise compile error. You can still call Write() method on it and it will call the (*bytes.Buffer) Write() method. and the reciever argument will be nil w == nil // False since it has a dynamic type of *bytes.Buffer
7.7
-
Functions can also satisfy an interface and usually these are adapter types whose the sole method and the function itself have the same signature and the job of the method is to just call the function
type HandlerFunc func (w ResponseWriter, r *Request) func (f HandlerFunc) ServeHTTP(w ResponseWriter, r *Request) { f(w, r) }
Here, the type
HandlerFunc
satisfies the interface ofhttp.Handler
, we can now use this function type anywhere where http.Handler interface type is expected -
This trick of functions satisfying an interface allows any other type (such as a struct) to satisfy the interface several different ways.
-
Example:
func main() { db := database{"shoes": 50, "socks": 5} mux := http.NewServeMux() mux.Handle("/list", http.HandlerFunc(db.list)) // type conversion mux.Handle("/price", http.HandlerFunc(db.price)) // type conversion log.Fatal(http.ListenAndServe("localhost:8000", mux)) } type dollars float64 type database map[string]dollars func (db database) list (w http.ResponseWriter, req *http.Request) { for item, price := range db { fmt.Fprintf(w, %s: %s\n, item, price) } } func (db database) price (w http.ResponseWriter, req *http.Request) { item := req.URL.Query().Get("item") price, ok := db[item] if !ok { w.WriteHeader(http.StatusNotFound) fmt.Fprintf(w, "no such item") return } fmt.Fprintf(w, "%s", price) }
7.8 error
Interface
- errors package is simple
package errors
func New(text string) error { return &errorString{text} }
type errorString struct {text string}
func (e *errorString) Error() string {return e.text}
- Pointer type
*errorString
noterrorString
satisfies the interface becase every call toNew
must allocate a distince error instance. We not want distinguished error such as io.EOF to compare equal to one that merely happend to have the same message. - A nice example of Errno is also given. It satisfies the error interface too, but it’s
Error
method also does a lookup for the error no -> error message of the operating system. depedning on the error number, we get different error messages -
The interface value (err) holds the
var err error = syscall.Errno(2) fmt.Println(err.Error()) fmt.Println(err)
type
as syscall.Errno and it’s value is2
7.9 Expression Evaluator
- Goes through the process of defining a generic expression evaluator using an interface type:
Several types of expression are implemented using this.. A Var itself is expression which evaluates to the value of the variable x in the env. And literal just returns it’s value, while binary, unary and call (function call) expressions do some evaluation on their arguments. Their arguments and the operation they perform are stored as field values in their structs. Remeber structs are mostly used to satisfy an interface. The section also goes through the testing process in golang briefly. The seciton introduces how one would test something like the expression evaluator very beautifuly.
type Var string type Env map[Var] float64 type Expr interface { //Eval returns the value of this Expr in the environment env Eval (env Env) float64 //Check reports errors in this Expr and adds its Vars to the Set Check (vars map[Var]bool) error }
7.10 Type Assertions
x.(T)
.x
is an expression of an interface type andT
is a type.- If the asserted type
T
is a concrete type:var w io.Writer w = os.Stdout (w: dynamic type = *os.File; dynamic value = os.Stdout) f := w.(*os.File) // success: f == os.Stdout (extracted the concrete value of the concrete type) c := w.(*bytes.Buffer) // panic: interface w holds *os.File not *bytes.Buffer
- If the asserted type
T
is an interface type. It change the type of the expression, making a different (and usually larger p set of methods accessible, but it preserves the dynamic type and value components inside the interface valuevar w io.Writer w = os.Stdout rw := w.(io.ReadWriter) // success: *os.File has both Read and Write w = new(ByteCounter) // Has write method rw = w.(io.ReadWriter) // panic: *ByteCounter doesn't have a Read method
- we can use a second variable to capture whether assertion succeeded or not:
var w io.Writer = os.Stdout f, ok := w.(*os.File) // f == os.Stdout b, ok := w.(*bytes.Buffer) // failure: !ok, b == nil
- usually used in an if statement like this:
if w, ok := w.(*os.File); ok { // ... use w }
7.11 Discriminating errors with type assertions
- just goes through how some packages use the type assertions to discriminate the errors and handle them separately
7.12 Querying behaviors with interface type assertions
- we can use type assertion to other interfaces to see if the dynamic type of an interface also satisfies the other interface
- some io.Writers also have a
WriteString()
method that write a string more efficiently (without making a copy somehow)// writeString writes s to w // If w has a WriteString method, it is invoked instead of w.Write func writeString(w io.Writer, s string) (n int, err error) { type stringWriter interface { WriteString(string) (n int, err error) } if sw, ok := w.(stringWriter); ok { return sw.WriteString(s) // avoid a copy } return w.Write([]byte(s)) //allocate temp copy } func writeHeader(w io.Writer, contentType string) error { if _, err := writeString(w, "Content-Type: "); err != nil { return err } if _, err := writeString(w, contentType); err != nil { erturn err } }
- The
writeString
function above uses a type assertion to see whether a value of a general interface type also satisfies a more specific interface type, and if so, it uses the behavior s of the specific interface. This technique can be put to good use whether or not the queried interface is standard likeio.ReadWriter
or user-define d likestringWriter
.
7.13 Type Switches
-
There are two ways of using interfaces. One described above where we have a type that satisfies an interface by implemeting it’s methods. The emphasis is on the methods (Does the type have that particular method?). If they do have the method, then they are “similar”
-
The second way of using interfaces is by using the fact that interface values can hold variety of concrete types. So we can use type assertions to see what type the interface value is holding at the moment. This use of interfaces is called “discriminated union”
-
An example used is of the
sql.DB.Exec()
which takes any type and forms a valid sql query stringimport "database/sql" func listTracks(db sql.DB, artist string, minYear, maxYear, int) { resutl, err := db.Exec( "SELECT * FORM tracks WHERE artist = ? AND ? <= year AND year <= ?", atist, minYear, maxYear) ) }
The
func sqlQuote(x interface{}) string
does that using type switches:func sqlQuote(x interface{}) string { switch x := x.(type) { case nil: return "NULL" case int, uint: reuturn fmt.Sprintf("%d", x) // x has type interface{} here case bool: if x { return "TRUE" } return "FALSE" case string: return sqlQuoteString(x) default: panic(fmt.Sprintf("unexpected type %%: %v", x, x) } }
The new variable is also called
x
. like a switch statement a type switch implicitly creates a lexical block, so a declaration of a new variable doesn’t conflict with outer block. Each case also creates a new lexical block. -
In a single-type case, the type is the same as in the case. In all other cases
x
has an interface type (like incase int, uint:
above. -
There are no fall through allowed
7.14 Example: Token-based xml decoding
7.15 A few Words of advice
- When makeing interfaces, don’t make an interface such that it’s satisfied by only one type. You can always use export mechanism to hide the methods you don’t want of the type to be accessed.
- The exception to this is when you have to have a concrete type to satisfy an interface, but that type can’t live in the same package. This way interfaces is used to decouple two packages.
- A good rule of thumb for interface design is ask only for what you need. That is is why most of the time, interfaces are small, defining one or two methods only.