The following sample code is from : Go's standard library documentation data := ([] , )
count, err := file.Read(data) err != {
	log.Fatal(err)
}
fmt.Printf( , count, data[:count]) make byte 100 if nil "read %d bytes: %q\n" It seems to be ok. It must be correct because it's from the official documentation of the standard library, right? Let's spend a few seconds to figure out what's wrong with it before reading the of the which declares the function. documentation io.Reader Read The statement in the sample should have been written like this (at least): if err != && err != io.EOF { if nil Did I trick you (and my self)? Why didn’t we check the function’s ? Isn’t it the correct one? Well, it shouldn’t be the only one. File.Read documentation What good comes with interfaces if we really cannot hide the implementation details with them? The interface should set its semantics, not the implementer as did. What happens to the code above when interface implementer is somethings else than , but it still is ? It exits too early when it returns data and together, which is allowed for all implementers. File.Read File io.Reader io.EOF io.Reader Interface vs Implementer In Go, you don’t need to mark an implementer of the interface explicitly. It’s a powerful feature. But does it mean that we should always use interface semantics according to the static type? For example, should the following function use semantics? Copy io.Reader {
	src.Read() ...
} func Copy (dst Writer, src Reader) (written , err error) int64 // now read semantics come from io.Reader? But should this version use only semantics? (Note, these are just dummy examples.) os.File {
	src.Read() ...
} func Copy (dst os.File, src os.File) (written , err error) int64 // and now read semantics come from os.File's Read function? The practice has thought it’s always better to use interface semantics instead of the binding yourself to the implementation—the famous . loose coupling Problems with io.Reader The interface has the following problems : You cannot safely use any implementation of the function without studying documentation of the . Read io.Reader You cannot implement the function without closely studying documentation of the . Read io.Reader The interface is not intuitive, complete, and idiomatic because of missing the error distinction. The previous problems multiply because of as an interface. That brings cross package dependency between every implementer of the and every caller of the function. io.Reader io.Reader Read There are many other examples in the standard library itself where callers of the interface misuse it. io.Reader According to this , the standard library and especially its tests are tight to the idiom which prevents optimizations in implementations. issue if err != nil Read For instance, you cannot return immediately when it’s detected (i.e. together with the remaining data) without breaking some of the callers. The reason is apparent. The reader interface documentation allows two different types of implementations. io.EOF When Read encounters an error or end-of-file condition after successfully reading n > 0 bytes, it returns the number of bytes read. It may return the (non-nil) error from the same call or return the error (and n == 0) from a subsequent call. Interfaces should be with the programming language itself that you cannot implement or misuse them. You should not need to read the documentation to be able to do necessary error propagation. intuitive and formally defined It’s problematic that multiple (two in this case) different explicit behaviour of the interface function is allowed. The whole idea of the interfaces is that they hide the implementation details and enable loose coupling. The most obvious problem is that the interface isn’t intuitive nor idiomatic with the Go’s typical error handling. It also breaks the reasoning of the separated control paths: normal and error. The interface uses the error transport mechanism for something which isn’t an actual error. io.Reader EOF is the error returned by Read when no more input is available. Functions should return EOF only to signal a graceful end of input. If the EOF occurs unexpectedly in a structured data stream, the appropriate error is either ErrUnexpectedEOF or some other error giving more detail. Errors as Discriminated Unions The interface and show what is missing from Go’s current error handling and it is . For example, Swift and Rust don’t allow partial failure. The function call either succeeds or it fails. That’s one of the problems with the Go’s error return values. The compiler cannot offer any support for that. It’s the same well-know problem with C’s non-standard error returns when you have an overlapping error return channel. io.Reader io.EOF the error distinction Herb Shutter conveniently put in his C++ proposal, : Zero-overhead deterministic exceptions: Throwing values “Normal” vs. “error” [control flow] is a fundamental semantic distinction, and probably the most important distinction in any programming language even though this is commonly underappreciated. Solution Go’s current interface is problematic because of the violation of the semantic distinction. io.Reader Adding The Semantic Distinction , we stop using error return for something which isn’t an error by declaring a new interface function. First Read(b [] ) (n , left , err error) byte int bool Allowing Only Obvious Behaviour , to avoid confusion and prevent clear errors we have guided to use the following helper wrapper to handle both of the allowed EOF behaviours. The wrapper offers only one explicit conduct to process the end of the data. Because the documentation says that returning zero bytes without any error (including EOF) must be allowed (“ “) we cannot use zero bytes read as a mark of the EOF. Of course, the wrapper also maintains the error distinction. Second discouraged from returning a zero byte count with a nil error Reader {
	r   io.Reader
	eof } { mr.eof { , !mr.eof, }
	n, err = mr.r.Read(b)
	mr.eof = err == io.EOF
	left = !mr.eof mr.eof {
		err = left = } } type struct bool func (mr *MyReader) Read (b [] ) byte (n , left , err error) int bool if return 0 nil if nil true return We made an error distinction rule where error and success results are exclusive. We have used the distinction for the return value as well. We will set it false when we have already read all the data which make the usage of the function easier as can be seen in the following for loop. You need to handle incoming data only when is set, i.e. data is available. left left n, left, err := src.Read(dst); err == && left; n, left, err = src.Read(dst) {
	fmt.Printf( , n, left, err)
} for nil "read: %d, data left: %v, err: %v\n" As the sample code shows, it allows a happy path and error control flows to be separated, which makes program reasoning much easier. The solution we showed here isn’t perfect because Go’s multiple return values aren’t distinctive. In our case, they all should be. However, we have learned that every newcomer (also them who are new with Go) can use our new function without documentation or sample code. That is an excellent example of . Read how important the semantic distinction for happy and error paths is Conclusion Can we say that is a mistake? I’d say so. There is a perfect reason why errors should be distinct from expected returns. We should always build algorithms that praise happy path and . io.EOF prevent errors Go’s error handling practice is still missing language features to help the semantic distinction. Luckily, most of us already treat errors in the distinct control flow.

Flow

Read My Stories

Too Long; Didn't Read

In your car, at home, or at work — Bosch technology shapes many areas of life.

Billion-Dollar Mistake in Go?

Too Long; Didn't Read

Coin Mentioned

Harri Lainio

About Author

TOPICS

THIS ARTICLE WAS FEATURED IN...

Billion-Dollar Mistake in Go?

Too Long; Didn't Read

Coin Mentioned

Harri Lainio

About Author

TOPICS

THIS ARTICLE WAS FEATURED IN...

RELATED STORIES