Interface satisfaction in Go - Time & Space Complexity
When working with interfaces in Go, it's important to understand how the program checks if a type fits an interface.
We want to see how the time needed to confirm this fit changes as the program runs.
Analyze the time complexity of the following code snippet.
package main
import "fmt"
type Speaker interface {
Speak() string
}
type Person struct {
Name string
}
func (p Person) Speak() string {
return "Hello, " + p.Name
}
func main() {
var s Speaker
p := Person{Name: "Alice"}
s = p // interface satisfaction happens here
fmt.Println(s.Speak())
}
This code checks if a Person type satisfies the Speaker interface by assigning it.
Identify the loops, recursion, array traversals that repeat.
- Primary operation: The program checks the method set of the Person type against the Speaker interface methods.
- How many times: This check happens once at assignment time for this example.
Explain the growth pattern intuitively.
| Input Size (number of interface methods) | Approx. Operations |
|---|---|
| 1 | 1 method check |
| 5 | 5 method checks |
| 10 | 10 method checks |
Pattern observation: The time to check grows linearly with the number of methods in the interface.
Time Complexity: O(n)
This means the time to confirm interface satisfaction grows directly with the number of methods the interface has.
[X] Wrong: "Checking if a type satisfies an interface is instant and does not depend on the interface size."
[OK] Correct: The program must check each method in the interface against the type's methods, so more methods mean more checks.
Understanding how interface satisfaction works helps you reason about Go's type system and performance in real programs.
"What if the interface had embedded interfaces? How would that affect the time complexity of satisfaction checks?"
Practice
Solution
Step 1: Understand interface satisfaction in Go
In Go, a type satisfies an interface if it implements all the methods declared in that interface.Step 2: Check explicit declaration requirement
Go does not require explicit declaration; satisfaction is implicit by method implementation.Final Answer:
A type satisfies an interface by implementing all the methods declared in the interface. -> Option AQuick Check:
Interface satisfaction = implicit method implementation [OK]
- Thinking explicit declaration is required
- Confusing embedding with satisfaction
- Matching names instead of methods
Speaker with method Speak()?Solution
Step 1: Check method signature and receiver
type Speaker interface { Speak() string } type Dog struct {} func (d Dog) Speak() string { return "Woof" } definesSpeak()with correct receiver(d Dog)and return typestring.Step 2: Verify method name and return type match interface
type Speaker interface { Speak() string } type Dog struct {} func (d Dog) speak() string { return "Woof" } has lowercasespeak(), so it does not satisfy interface. type Speaker interface { Speak() string } type Dog struct {} func Speak(d Dog) string { return "Woof" } defines a function, not a method. type Speaker interface { Speak() string } type Dog struct {} func (d *Dog) Speak() int { return 1 } has wrong return typeint.Final Answer:
type Speaker interface { Speak() string } type Dog struct {} func (d Dog) Speak() string { return "Woof" } -> Option BQuick Check:
Method name and signature must match exactly [OK]
- Using lowercase method names
- Defining functions instead of methods
- Mismatching return types
package main
import "fmt"
type Reader interface {
Read() string
}
type File struct {}
func (f File) Read() string {
return "file content"
}
func printContent(r Reader) {
fmt.Println(r.Read())
}
func main() {
f := File{}
printContent(f)
}Solution
Step 1: Check if File satisfies Reader interface
File has methodRead() string, so it satisfies Reader.Step 2: Trace function call and output
Inmain,fis passed toprintContent, which callsRead()and prints "file content".Final Answer:
file content -> Option CQuick Check:
Interface satisfied, method called, prints string [OK]
- Assuming explicit declaration needed
- Confusing method receiver types
- Expecting runtime errors without cause
Car from satisfying the Vehicle interface:package main
import "fmt"
type Vehicle interface {
Drive()
}
type Car struct {}
func (c *Car) Drive() {
fmt.Println("Driving")
}
func main() {
var v Vehicle
c := Car{}
v = c
v.Drive()
}Solution
Step 1: Check method receiver type
Drive is defined with pointer receiver(*Car), so only *Car satisfies Vehicle, not Car value.Step 2: Check assignment in main
Variablevis assignedcwhich is a value, not pointer, causing mismatch.Final Answer:
Car does not satisfy Vehicle because Drive has pointer receiver but v is assigned a value. -> Option AQuick Check:
Pointer receiver methods require pointer type for interface satisfaction [OK]
- Assigning value instead of pointer to interface
- Ignoring receiver type in method
- Assuming method signature mismatch
type Writer interface {
Write(data string) error
}
type Logger struct {}
func (l Logger) Write(data string) error {
return nil
}
type FileWriter struct {}
func (f *FileWriter) Write(data string) error {
return nil
}
var w Writer
// Which assignment is invalid?
// A) w = Logger{}
// B) w = &Logger{}
// C) w = FileWriter{}
// D) w = &FileWriter{}Solution
Step 1: Analyze Logger methods
Logger hasWritewith value receiver, so both Logger and *Logger satisfy Writer.Step 2: Analyze FileWriter methods
FileWriter hasWritewith pointer receiver, so only *FileWriter satisfies Writer, not FileWriter value.Step 3: Check assignments
Assignment C tries to assign FileWriter{} value to Writer, which is invalid.Final Answer:
w = FileWriter{} causes compile-time error due to missing method on value receiver. -> Option DQuick Check:
Pointer receiver methods require pointer type for interface [OK]
- Assigning value type when method has pointer receiver
- Assuming pointer and value types are interchangeable
- Ignoring method receiver type
Ready to prove it?
Pass the test and this pattern moves unknown
