Go Type Assertion: Difference between revisions
Jump to navigation
Jump to search
m (Ovidiu moved page Go Type Assertions to Go Type Assertion without leaving a redirect) |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
* [[Go_Language#Type_Assertions|Go Language]] | * [[Go_Language#Type_Assertions|Go Language]] | ||
* [[Go Interfaces#Type_Assertions|Go Interfaces]] | * [[Go Interfaces#Type_Assertions|Go Interfaces]] | ||
* [[Go Type Switch#Overview|Type Switch]] | |||
=Overview= | =Overview= | ||
| Line 15: | Line 16: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
The type assertion also works when the interface variable only carries a [[Go Interfaces#Dynamic_Type|dynamic type]], but not a [[Go Interfaces#Dynamic_Value|dynamic value]]: | |||
<syntaxhighlight lang='go'> | <syntaxhighlight lang='go'> | ||
var i SomeInterface | var i SomeInterface | ||
i = | var t *SomeImplementation | ||
i = t | |||
v, ok := i.(*SomeImplementation) // ok is true, v is nil, as there is no dynamic value | |||
</syntaxhighlight> | </syntaxhighlight> | ||
Latest revision as of 16:32, 14 August 2024
External
Internal
Overview
An interface hides the differences between the types implementing it and emphasizes the commonality. However, there are times you may want to know what exact concrete type exists behind the interface. Type assertions can be used for type disambiguation.
A type assertion is an expression that probes whether an interface is of a certain concrete type, and if it is, returns a variable of that type (see here for the code used in the example).
var i SomeInterface = &SomeImplementation{"test"}
v, ok := i.(*SomeImplementation)
The type assertion also works when the interface variable only carries a dynamic type, but not a dynamic value:
var i SomeInterface
var t *SomeImplementation
i = t
v, ok := i.(*SomeImplementation) // ok is true, v is nil, as there is no dynamic value