Go Interfaces: Difference between revisions
(15 intermediate revisions by the same user not shown) | |||
Line 5: | Line 5: | ||
* [[Go Language]] | * [[Go Language]] | ||
* [[Go_Language_Object_Oriented_Programming#Interfaces|Object-Oriented Programming in Go]] | * [[Go_Language_Object_Oriented_Programming#Interfaces|Object-Oriented Programming in Go]] | ||
* [[Go_Methods#Overview|Methods]] | |||
=Overview= | =Overview= | ||
Line 14: | Line 15: | ||
Interfaces are not fully-featured types, they're less than that, but they're used to express conceptual similarities between types. If several types implement the same interface, they are similar in a way that is important to the application. An interface highlights the similarities between the types implementing it and conceals the differences. | Interfaces are not fully-featured types, they're less than that, but they're used to express conceptual similarities between types. If several types implement the same interface, they are similar in a way that is important to the application. An interface highlights the similarities between the types implementing it and conceals the differences. | ||
<span id='accept_interfaces_return_structs'></span>An interface does need to be formally declared on a target type for that type to implement it. Interfaces are satisfied implicitly. A type '''implements''' or '''satisfies''' an interface if the type defines '''all''' methods specified in the interface. Of course, the type can have other methods not specified by the interface. This is called <span id='Duck_Typing'></span>[[Programming_Languages_Concepts#Duck_Typing|duck typing]]. If a type implements an interface by the virtue of duck typing, a value of the type can be stored in a value of that interface type and the compiler ensure the assignments are correct at compile-time. | <span id='accept_interfaces_return_structs'></span>An interface does need to be formally declared on a target type for that type to implement it. Interfaces are satisfied implicitly. A type '''implements''' or '''satisfies''' an interface if the type defines '''all''' methods specified in the interface. Of course, the type can have other methods not specified by the interface. This is called <span id='Duck_Typing'></span>[[Programming_Languages_Concepts#Duck_Typing|duck typing]]. If a type implements an interface by the virtue of duck typing, a value of the type can be stored in a value of that interface type and the compiler ensure the assignments are correct at compile-time. A type can implement multiple interfaces. | ||
Interfaces can be thought of a kind of conceptual inheritance: types inherit behavior specified by an interface. Interfaces help supporting polymorphism in Go: different types implement different behaviors specified by the '''same''' interface. For more details see: {{Internal|Go_Inheritance_and_Polymorphism#Overview|Go Inheritance and Polymorphism}} | Interfaces can be thought of a kind of conceptual inheritance: types inherit behavior specified by an interface. Interfaces help supporting polymorphism in Go: different types implement different behaviors specified by the '''same''' interface. For more details see: {{Internal|Go_Inheritance_and_Polymorphism#Overview|Go Inheritance and Polymorphism}} | ||
Go interfaces allow programs to model behavior rather than model types. The behavior is "attached" to existing types, via methods, and independently, the behavior is given a name, the name of the interface that groups together the methods. Go type system is structural, not nominal. The interfaces are behavior contracts, and they belong in the consuming code, not in the producing code. '''A common pattern should be to accept interfaces and return structs'''. | Go interfaces allow programs to model behavior rather than model types. The behavior is "attached" to existing types, via methods, and independently, the behavior is given a name, the name of the interface that groups together the methods. Go type system is structural, not nominal. The interfaces are behavior contracts, and they belong in the consuming code, not in the producing code. '''A common pattern should be to accept interfaces and return structs'''. | ||
:::<font color=darkkhaki>This is debatable: for an interface itself, it feels natural that the methods should return the same interface, not an implementing type. What if the implementing type is package private, and the interface is public?</font> | |||
<font color=darkkhaki>A type and its associated [[Go_Concepts_-_The_Type_System#Pointer_Types|pointer type]] may or may not implement the same interface, depending on how the methods are associated with the value and pointer receivers of that type.</font> | <font color=darkkhaki>A type and its associated [[Go_Concepts_-_The_Type_System#Pointer_Types|pointer type]] may or may not implement the same interface, depending on how the methods are associated with the value and pointer receivers of that type.</font> | ||
Line 29: | Line 32: | ||
Interfaces are rigid. For a library that exposes interfaces in the public API, any change to the interface requires releasing a new major version, since it breaks all third-party implementations. | Interfaces are rigid. For a library that exposes interfaces in the public API, any change to the interface requires releasing a new major version, since it breaks all third-party implementations. | ||
:::<font color=darkkhaki>Is that right? What if we '''add''' to the interface?</font> | |||
=Declaration= | =Declaration= | ||
Line 53: | Line 57: | ||
What results after such a declaration is an <span id='Interface_Type'></span>'''interface type'''. For a discussion of concrete type vs. interface types, see: {{Internal|Go_Language#Concrete_vs._Interface_Types|Go Language | Concrete vs. Interface Types}} | What results after such a declaration is an <span id='Interface_Type'></span>'''interface type'''. For a discussion of concrete type vs. interface types, see: {{Internal|Go_Language#Concrete_vs._Interface_Types|Go Language | Concrete vs. Interface Types}} | ||
==Interface Method Set== | ==Interface Method Set== | ||
An interface method set the list of method declaration specified in the [[#Declaration|interface type declaration]]. The interface type declaration has the only purpose of defining the method set and giving it a name, which is the interface name. Also see: {{Internal| | An interface method set the list of method declaration specified in the [[#Declaration|interface type declaration]]. The interface type declaration has the only purpose of defining the method set and giving it a name, which is the interface name. Also see: {{Internal|Go_Methods#Method_Set|Method Sets}} | ||
=<span id='Idiomatic_Interface_Conventions'></span>Naming= | =<span id='Idiomatic_Interface_Conventions'></span>Naming= | ||
Line 78: | Line 82: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
The method signatures from the interface method set are independent on whether the corresponding methods from the concrete types are declared with value or pointer receivers. | The method signatures from the interface method set are independent on whether the corresponding methods from the concrete types are declared with value or pointer receivers. | ||
==When Does a Type/Pointer Type Implement an Interface?== | ==When Does a Type/Pointer Type Implement an Interface?== | ||
Note that notion of a type implementing an interface and its corresponding pointer type implementing the same interface both make sense, and they are subtly different. According to the language specification, a user-defined type <code>T</code> implements an interface if its [[Go_Language_Object_Oriented_Programming#Type_Method_Set|method set]], which are all methods declared with '''a value receiver''' of type <code>T</code>, is a superset of the interface. By extrapolation, a pointer type implements an interface when the method set associated with pointers to that type is a superset of the [[#Interface|interface]]. As explained [[Go_Language_Object_Oriented_Programming#Pointer_Type_Method_Set|here]], the method set associated with the pointer of a type includes implicitly the method set associated with the value of the type. | Note that notion of a type implementing an interface and its corresponding pointer type implementing the same interface both make sense, and they are subtly different. According to the language specification, a user-defined type <code>T</code> implements an interface if its [[Go_Language_Object_Oriented_Programming#Type_Method_Set|method set]], which are all methods declared with '''a value receiver''' of type <code>T</code>, is a superset of the interface. By extrapolation, a pointer type implements an interface when the method set associated with pointers to that type is a superset of the [[#Interface|interface]]. As explained [[Go_Language_Object_Oriented_Programming#Pointer_Type_Method_Set|here]], the method set associated with the pointer of a type includes implicitly the method set associated with the value of the type. | ||
==What Can Implement an Interface?== | |||
Structs can implement interfaces. | |||
Type aliases can implement interfaces. In general, [[Go_Language#Named_Type|named types]] can implement interfaces, like in the following example where a <code>bool</code> can implement an interface as long as it is named: | |||
<syntaxhighlight lang='go'> | |||
type SomeInterface interface { | |||
SomeMethod() | |||
} | |||
type someImpl bool | |||
func (s someImpl) SomeMethod() { | |||
fmt.Printf("SomeMethod\n") | |||
} | |||
someImpl(true).SomeMethod() | |||
</syntaxhighlight> | |||
<font color=darkkhaki>What else? Can a function be used as an interface?</font> | |||
=Interface Values= | =Interface Values= | ||
Line 138: | Line 162: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
An interface value that carries a dynamic type but no dynamic value is a legal state. It is a way to implement static (type) methods. | An interface value that carries a dynamic type but no dynamic value is a legal state. It is a way to implement static (type) methods. | ||
In the case of an interface variable with <code>nil</code> dynamic value, <code>i == nil</code> evaluates to <code>false</code> but <code>testify</code> <code>require.Nil()</code> evaluates to <code>true</code>. | |||
<span id='Nil_Dynamic_Value_Testing_on_Private_Types'></span>This is how to test public interfaces whose implementing type is package-private: {{Internal|Go_Nil_Dynamic_Value_Testing_on_Private_Types#Overview|Testing Public Interfaces whose Implementing Type is Package-Private}} | |||
==<tt>nil</tt> Interface Value== | ==<tt>nil</tt> Interface Value== | ||
This describes an interface value with a <code>nil</code> dynamic type. In this situation, you cannot call the methods on that interface, because without a dynamic type you can't know which method you are referring to. | This describes an interface value with a <code>nil</code> dynamic type. In this situation, you cannot call the methods on that interface, because without a dynamic type you can't know which method you are referring to. | ||
Line 237: | Line 266: | ||
=<span id='Embedded_Type'></span><span id='Embedded_Types'></span>Interfaces as Embedded Types= | =<span id='Embedded_Type'></span><span id='Embedded_Types'></span>Interfaces as Embedded Types= | ||
<font color=darkkhaki>Interface names can be used as [[Go_Structs#Embedded_Type|embedded types]] in structs.</font> | <font color=darkkhaki>Interface names can be used as [[Go_Structs#Embedded_Type|embedded types]] in structs.</font> | ||
=Interface Inheritance= | |||
{{Internal|Go_Language_Object_Oriented_Programming#Behavior_Inheritance|Behavior Inheritance}} | |||
=Using Interfaces= | =Using Interfaces= | ||
==Function with Multiple Types of Parameters== | ==Function with Multiple Types of Parameters== |
Latest revision as of 22:18, 5 November 2024
External
Internal
Overview
An interface is a set of method signatures. The interface is declared with the keyword type
, followed by the name of the interface, followed by the keyword interface
and by the method signatures enclosed in a curly brace block. Each signature contains the method name, optional parameter names and mandatory parameter types, and optional return variable names and mandatory return types. Providing parameter and return names is recommended, as it arguably exposes more semantics, making the code clearer. See example, below.
The interface declaration contains no method implementations.
Interfaces are not fully-featured types, they're less than that, but they're used to express conceptual similarities between types. If several types implement the same interface, they are similar in a way that is important to the application. An interface highlights the similarities between the types implementing it and conceals the differences.
An interface does need to be formally declared on a target type for that type to implement it. Interfaces are satisfied implicitly. A type implements or satisfies an interface if the type defines all methods specified in the interface. Of course, the type can have other methods not specified by the interface. This is called duck typing. If a type implements an interface by the virtue of duck typing, a value of the type can be stored in a value of that interface type and the compiler ensure the assignments are correct at compile-time. A type can implement multiple interfaces.
Interfaces can be thought of a kind of conceptual inheritance: types inherit behavior specified by an interface. Interfaces help supporting polymorphism in Go: different types implement different behaviors specified by the same interface. For more details see:
Go interfaces allow programs to model behavior rather than model types. The behavior is "attached" to existing types, via methods, and independently, the behavior is given a name, the name of the interface that groups together the methods. Go type system is structural, not nominal. The interfaces are behavior contracts, and they belong in the consuming code, not in the producing code. A common pattern should be to accept interfaces and return structs.
- This is debatable: for an interface itself, it feels natural that the methods should return the same interface, not an implementing type. What if the implementing type is package private, and the interface is public?
A type and its associated pointer type may or may not implement the same interface, depending on how the methods are associated with the value and pointer receivers of that type.
"The bigger the interface, the weaker the abstraction." The most important thing about interfaces in Go is that the smaller the interface is, the more useful it is. This is a Go-specific idea: we want to make little interfaces, so we can build components that share them.
Interfaces are defined at the "fault lines" of the system's architecture. These are between the main()
function and the rest, and along the package API boundaries.
Interfaces should not be defined before a realistic example of usage exists.
Interfaces are rigid. For a library that exposes interfaces in the public API, any change to the interface requires releasing a new major version, since it breaks all third-party implementations.
- Is that right? What if we add to the interface?
Declaration
The following syntax declares an interface:
type <InterfaceName> interface { // Interface method set: <method_signature_1> <method_signature_2> ... }
Example:
type SomeInterface interface {
MethodA(int) (int, error) // No parameter and return value names are specified.
MethodB(someValue int) (someResult int, err error) // Parameter and return value names are provided.
// This is arguably clearer, as it conveys more semantics.
}
What results after such a declaration is an interface type. For a discussion of concrete type vs. interface types, see:
Interface Method Set
An interface method set the list of method declaration specified in the interface type declaration. The interface type declaration has the only purpose of defining the method set and giving it a name, which is the interface name. Also see:
Naming
Single-method interfaces are named using the method name plus an "er" suffix. An interface with just one Write
method would be called Writer
. Sometimes, the result isn't correct English, but we do it anyway. In other cases, we use English to make the result nicer:
type ByteReader interface {
ReadByte() (c byte, err error)
}
When an interface includes multiple methods, choose a name that accurately describes its purpose.
Also see:
Implementing an Interface
As mentioned above, interfaces are not formally declared to be satisfied with dedicated syntax, they are satisfied implicitly. The type satisfying an interface do not need to formally declare the name of the interface anywhere in its definition. Instead, it is sufficient to declare themselves as value or pointer receiver types for all the methods in the interface declaration.
type SomeImplementation { ... } // SomeInterface is specified nowhere in the SomeImplementation declaration
// Declaring the type as pointer receiver for *all* methods declared in the interface makes
// the type to implement that interface . Value and pointer receivers must not be mixed by
// the method implementations of an interface.
func (s *SomeImplementation) MethodA(i int) (int, error) { ... }
func (s *SomeImplementation) MethodB(someValue int) (int, error) { ... }
The method signatures from the interface method set are independent on whether the corresponding methods from the concrete types are declared with value or pointer receivers.
When Does a Type/Pointer Type Implement an Interface?
Note that notion of a type implementing an interface and its corresponding pointer type implementing the same interface both make sense, and they are subtly different. According to the language specification, a user-defined type T
implements an interface if its method set, which are all methods declared with a value receiver of type T
, is a superset of the interface. By extrapolation, a pointer type implements an interface when the method set associated with pointers to that type is a superset of the interface. As explained here, the method set associated with the pointer of a type includes implicitly the method set associated with the value of the type.
What Can Implement an Interface?
Structs can implement interfaces.
Type aliases can implement interfaces. In general, named types can implement interfaces, like in the following example where a bool
can implement an interface as long as it is named:
type SomeInterface interface {
SomeMethod()
}
type someImpl bool
func (s someImpl) SomeMethod() {
fmt.Printf("SomeMethod\n")
}
someImpl(true).SomeMethod()
What else? Can a function be used as an interface?
Interface Values
Declaring a variable of an interface type creates an interface value:
var i SomeInterface // i is a pair: (dynamic_type, dynamic_value)
The interface value contains a data pair, including a dynamic type and a dynamic value. The dynamic type, when set, is a concrete type that implements that interface. The dynamic value, when set, is an instance of the dynamic type. Internally, an interface variable is a two-word data structure. The first word contains a pointer to an internal table called iTable
, which contains type information about the stored value: the concrete type of the value that has been stored and a list of methods associated with the value. The second word is a reference to the stored value. The combination of type information and pointer binds the relationship between the two values.
In the case of the above declaration, both elements of the pair are nil
:
fmt.Printf("%v\n", i) // prints <nil>
Assuming the following interface and concrete type declarations:
type SomeInterface interface {
SomeMethod()
}
type SomeImplementation struct {
data string
}
// SomeMethod makes SomeImplementation implement SomeInterface.
func (s *SomeImplementation) SomeMethod() {
if s == nil {
fmt.Println("invocation with a nil dynamic value")
} else {
fmt.Printf("data: %s\n", s.data)
}
}
... the following variable declaration and initialization ends up in an interface variable whose both dynamic type and dynamic value are set to *SomeImplementation
and &SomeImplementation{"test"}
, respectively:
var i SomeInterface
i = &SomeImplementation{"test"}
The interface value can be then used to invoke the SomeMethod()
method on the dynamic value, which was assigned to the dynamic concrete type instance pointer.
i.SomeMethod() // prints "data: test"
An interface value can have a nil
dynamic value, and still be usable, as long it is assigned a dynamic type with this syntax:
var i SomeInterface
var t *SomeImplementation
i = t
An interface value assigned with a pointer to the dynamic type, but not with a dynamic value can still be invoked into, given that the method implementation cases for the situation when the receiver type implicit argument is nil
. In the example above, we assigned i
a dynamic type *SomeImplementation
but not a dynamic value, as t
has no concrete value yet. The dynamic type is enough information to go find which implementation SomeMethod()
should use.
This is why it is a good idea to guard againstnil
implicit argument in all concrete methods provided by types that implement interfaces.
This way we get a static method, in the Java or Python sense of the word and an instance method at the same time.
i.SomeMethod() // prints "invocation with a nil dynamic value"
An interface value that carries a dynamic type but no dynamic value is a legal state. It is a way to implement static (type) methods.
In the case of an interface variable with nil
dynamic value, i == nil
evaluates to false
but testify
require.Nil()
evaluates to true
.
This is how to test public interfaces whose implementing type is package-private:
nil Interface Value
This describes an interface value with a nil
dynamic type. In this situation, you cannot call the methods on that interface, because without a dynamic type you can't know which method you are referring to.
Type Assertion
There is syntax in the language which, given an interface variable, allows us to extract the dynamic value with the actual dynamic type:
Type Switch
Interfaces as Function Parameters and Result Values
Interface as Function Parameter
Interfaces can be used as arguments to functions. Passing an interface instance insures that the function body can rely on the fact the interface methods are available on the passed instance. When a function is declared with an interface type parameter, the function can be invoked with either a value or a pointer of the implementing type, as long the implementation uses a value receiver type. For the following interface and type declaration:
type SomeInterface interface {
MethodA()
}
type SomeImplementation struct {
data string
}
the type may chose to implement the interface by using a value receiver:
func (s SomeImplementation) MethodA() {
fmt.Printf("data: %s\n", s.data)
}
In this case, if a function is declared with a parameter of SomeInterface
interface type, the function can be invoked by passing either a value or a pointer to the type instance:
func SomeFunc(i SomeInterface) {
i.MethodA()
}
...
t := SomeImplementation{data: "blue"}
SomeFunc(t)
// this also works:
t2 := &SomeImplementation{data: "red"}
SomeFunc(t2)
If the implementation of the interface is done with a pointer receiver:
func (s *SomeImplementation) MethodA() {
fmt.Printf("data: %s\n", s.data)
}
then only a pointer to the implementing type instance can be passed to the function SomeFunc()
:
t := &SomeImplementation{data: "green"}
SomeFunc(t)
If we attempt to pass an implementing type instance value, the compiler complains:
Cannot use t (variable of type SomeImplementation) as SomeInterface value in argument to SomeFunc: SomeImplementation does not implement SomeInterface (method MethodA has pointer receiver)
Interface as Function Result
Functions can return interfaces as results, as shown below. However, in general, functions should accept interfaces and return structs.
type SomeInterface interface {
...
}
type SomeImplementation struct {
...
}
// the type SomeImplementation is presumably declared as receiver type for all interface methods, thus implements it
func someFunc() SomeInterface {
return &SomeImplementation{} // this is a valid function declaration
}
Empty Interface interface{} any
An empty interface, declared as interface{}
or any
is an interface that specifies no methods. Any type can "implement" that interface. If you want to declare a parameter of any type for a function, make it an empty interface:
func SomeFunc(v interface{}) {
...
}
func SomeFunc(v any) {
...
}
According to the builtin
package documentation, any
is an alias for interface{}
and it is equivalent to interface{}
in all ways.
Rob Pike does not like empty interfaces: when you're programming and you use an empty interface, think really hard if this is actually what you want, or whether isn't just a little something you can put in, an interface with an actual method that is really necessary to capture the things you are talking about.
Interfaces as Embedded Types
Interface names can be used as embedded types in structs.
Interface Inheritance
Using Interfaces
Function with Multiple Types of Parameters
Interface expresses similarity, so make the function take as a parameter an interface that expresses the similarity of all desired arguments.
func Area(s Shape) {
...
}
Mocking
See: