-
-
Notifications
You must be signed in to change notification settings - Fork 654
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
10 changed files
with
254 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
# Hints | ||
|
||
## General | ||
|
||
- ... | ||
|
||
## 1. Create the abstract greeting functionality | ||
|
||
- ... |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
# Instructions | ||
|
||
... | ||
|
||
## 1. ... | ||
|
||
... | ||
|
||
1. | ||
Check for unexpected behavoir | ||
if another error return it as is | ||
if there was no error return true | ||
|
||
2. | ||
extend to check for ErrorForbidden | ||
|
||
3. Version 2 | ||
- errors.As variant | ||
|
||
1. type assertion |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,152 @@ | ||
# Introduction | ||
|
||
## Adding context to errors | ||
|
||
We explored basic error handling in Go in the [errors concept][concept-errors]. | ||
As you learned there, by default errors do not carry around stack traces. | ||
That makes it crucial to ensure the error itself contains enough information to identify the problem. | ||
|
||
If we wanted to add information to an existing error with the tools we already know, we could write something like this to create a new error with the combined text of the original error and the additional information: | ||
|
||
```go | ||
err := errors.New(fmt.Sprintf("parsing age for user %d: %v", userID, originalError)) | ||
``` | ||
|
||
Luckily, the `fmt` package from the standard library contains a short-hand version for this in form of the `Errorf` function. | ||
That allows you, for example, to easily add information about the context in which the error occurred. | ||
|
||
```go | ||
originalError := errors.New("unexpected negative number") | ||
userID := 123 | ||
err := fmt.Errorf("parsing age for user %d: %v", userID, originalError) | ||
err.Error() | ||
// => "parsing age for user 123: unexpected negative number" | ||
``` | ||
|
||
Often this way of adding information for an error is good enough but there are cases where you want to allow the consumer of your error to check for or retrieve the original underlying error. | ||
Adding context in way that allows this is called "wrapping an error" in Go. | ||
|
||
## Wrapping errors and checking for sentinel errors | ||
|
||
Error wrapping can be achieved with a very minor change to the code we saw above. | ||
To wrap an error, you need to use the formatting verb `%w` instead of `%v`. | ||
Behind the scenes, this will make sure that the resulting error implements an `Unwrap` method which returns the original error. | ||
Because of that, then `errors.Is` can be used to check whether a specific sentinel error appears somewhere along the "error chain". | ||
It does that by secretly calling `Unwrap` repeatedly until the error in question was found or the chain ended. | ||
|
||
```go | ||
originalError := errors.New("unexpected negative number") | ||
err := fmt.Errorf("parsing age: %w", originalError) | ||
errors.Is(err, originalError) | ||
// => true | ||
``` | ||
|
||
It is good practice to use `%v` by default and only use `%w` if you explicitly want to allow your consumer to access an underlying error ([Google Go Styleguide][google-go-styleguide]). | ||
|
||
If you find ourself in a situation where you want to check for a sentinel error but explicitly don't want to unwrap, you can use `==` instead of `errors.Is`. | ||
|
||
```go | ||
var originalError = errors.New("unexpected negative number") | ||
func someFunc() error { | ||
return originalError | ||
} | ||
|
||
err := someFunc() | ||
err == originalError | ||
// => true | ||
``` | ||
|
||
It is fine to work with `errors.Is` by default, but you should always be aware that this means the whole error chain will be searched. | ||
|
||
## Checking for (custom) error types | ||
|
||
There is an equivalent to `errors.Is` that allows to check for and retrieve an error of a specific type from the error chain. | ||
The function for that is `errors.As` and just like `errors.Is` it will search for the given error type along the whole chain. | ||
`errors.As` does only then extract the error it found that matches the type so you can further work with it, e.g. retrieve specific fields. | ||
|
||
```go | ||
type MyCustomError struct { | ||
Message string | ||
Details string | ||
} | ||
|
||
func (e *MyCustomError) Error() string { | ||
return fmt.Sprintf("%s, details: %s", e.Message, e.Details) | ||
} | ||
|
||
func someFunc() error { | ||
originalError := &MyCustomError{ | ||
Message: "some message", | ||
Details: "some details", | ||
} | ||
|
||
return fmt.Errorf("doing something: %w", originalError) | ||
} | ||
|
||
err := someFunc() | ||
var customError *MyCustomError | ||
errors.As(err, &customError) | ||
// => true | ||
|
||
// customError now contains the error that was found in the error chain. | ||
customError.Details | ||
// => "some details" | ||
``` | ||
|
||
~~~~exercism/caution | ||
Be careful with the syntax regarding the pointers above. | ||
The code will only work and compile correctly if `customError` has the exact type that implements the error interface. | ||
In our case, that is `*MyCustomError` (a [pointer][concept-pointers] to `MyCustomError`), not `MyCustomError` itself. | ||
On top of that, the second argument needs to be a pointer to the error variable. | ||
Since our error is already a pointer, what we are passing to `errors.As` is a pointer to a pointer (to MyCustomError). | ||
Only with this set up correctly, Go can then fill the variable with the error it found. | ||
~~~~ | ||
|
||
As before, `errors.As` would not have found the error type if `%v` would have been used when calling `Errorf`. | ||
|
||
If you don't want to unwrap for some reason, type assertion can be used instead (equivalent to `==` above). | ||
|
||
```go | ||
// MyCustomError defined as above. | ||
|
||
func someFunc() error { | ||
return &MyCustomError{ | ||
Message: "some message", | ||
Details: "some details", | ||
} | ||
} | ||
|
||
err := someFunc() | ||
customError, ok := err.(*CustomError) | ||
// "ok" is now true | ||
customError.Details | ||
// => "some details" | ||
``` | ||
|
||
Type assertion will not be able to identify the error type if the error would have been wrapped. | ||
|
||
## Allowing errors of custom types to be unwrapped | ||
|
||
Sometimes just wrapping an error with some additional text is not enough. | ||
You can create a custom error type instead that holds the original error and the additional structured data that you want to add. | ||
If you want to allow unwrapping for your error type, the only thing you have to do is to manually add an `Unwrap() error` method so the `Unwrap` interface is satisfied. | ||
|
||
```go | ||
type SpecialError struct { | ||
originalError error | ||
metadata string | ||
} | ||
|
||
func (e *SpecialError) Error() string { | ||
// The usual serialization code goes here. | ||
} | ||
|
||
func (e *SpecialError) Unwrap() error { | ||
return e.originalError | ||
} | ||
``` | ||
|
||
[concept-errors]: /tracks/go/concepts/errors | ||
[concept-pointers]: /tracks/go/concepts/pointers | ||
[google-go-styleguide]: https://google.github.io/styleguide/go/best-practices#adding-information-to-errors |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
{ | ||
"authors": [ | ||
"junedev" | ||
], | ||
"files": { | ||
"solution": [ | ||
"let_me_in.go" | ||
], | ||
"test": [ | ||
"let_me_in.go" | ||
], | ||
"exemplar": [ | ||
".meta/exemplar.go" | ||
], | ||
"invalidator": [ | ||
"go.mod" | ||
] | ||
}, | ||
"icon": "developer-privileges", | ||
"blurb": "Learn about adding context to errors and checking for certain errors/ error types by integrating a new authorization system called LET-ME-IN.", | ||
"custom": { | ||
"taskIdsEnabled": true | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,21 @@ | ||
# Design | ||
|
||
## Learning objectives | ||
|
||
- ... | ||
|
||
## Out of Scope | ||
|
||
The following topics will be introduced later and should therefore not be part of this concept exercise. | ||
|
||
- ... | ||
|
||
## Concepts | ||
|
||
The Concepts this exercise unlocks are: | ||
|
||
- `error-wrapping` | ||
|
||
## Prerequisites | ||
|
||
- `errors` to ... |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
package letmein |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
module airportrobot | ||
|
||
go 1.18 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
package letmein | ||
|
||
import ( | ||
"errors" | ||
"fmt" | ||
) | ||
|
||
func IsAuthorized(user, action, token) (bool, error) { | ||
err := CallLetMeIn(user, action, token) | ||
if errors.Is(err, ErrUnexpectedBehavior) { | ||
return false, fmt.Errorf("calling LET-ME-IN: %v", err) | ||
} else if err == ErrForbidden { | ||
return false, errors.New("got forbidden from LET-ME-IN") | ||
} else if err != nil { | ||
return false, err | ||
} | ||
|
||
return true, nil | ||
} | ||
|
||
func IsAuthorizedV2() { | ||
|
||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
package letmein |