Wrap(nil) should panic

[atombender]

Wrap(nil) should panic

[davecheney]

Sorry, I'm not going to do this. I agree that in a green field situation Wrap(nil) could panic, but in your example

err := stuff()
if err != nil {
  return err
}
result := moreStuff()
if len(result.Failures) > 0 {
  // ... do stuff with failures ...
  return err // not wrapped errors.Wrap(err, "Oops")
}

You still have the same scoping mistake. This is unrelated to the errors package.

[Ehekatl]

@davecheney just meet this issue, it's very tricky to find out what goes wrong when error gone silently when you accidentally warp an nil error

maybe you can bump a version and denote the incompatible changes?
if panic is a breaking change, at least warp should always return a error

[puellanivis]

@Ehekatl the issue here is that returning a nil err instead of return Wrap(err, …) would present the same issues of difficulty in tracking down such a bug.

I once found a shadowed err bug in some RPC retry code, and it took a lot of work to figure out why the code was returning a non-error when we expected an error condition.

i.e. having Wrap panic on a nil error will not actually solve the root cause of returning a nil error when an error is expected.

Also, consider the following code:

n, err := w.Write(data)
return n, errors.Wrap(err, "error while writing data")

which is comparable to:

return w.Write(data)

vs.

n, err := w.Write(data)
if err != nil {
  return n, errors.Wrap(err, "error while writing data")
}
return n, nil

[puellanivis]

I mean Wrap(err) should either panic or return a non-nil error, an error library should always report error, not eat it.

But the error library is not eating any errors. It is strictly keeping the case that a non-error will remain a non-error. Wrapping a non-error, should remain a non-error, and the only way to keep this condition within golang, is: if nil is passed in, nil must come out.

…the point of panic here is to make a equivalent effect of accessing a nil reference.

But we are not accessing a nil reference here. A nil error is a defined and expected state, and using and passing it around as a value should therefore not cause a panic.

[davecheney]

I see the justification, but it is too late to make this backwards incompatible change. Sorry.

[atombender]

That is what semantic versioning is for. Just bump the major version, problem solved.

On Oct 28, 2016, at 22:07, Dave Cheney [email protected] wrote:

I see the justification, but it is too late to make this backwards incompatible change. Sorry.

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub, or mute the thread.

[atombender]

But that scoping mistake is much easier to notice, and is semantically not a problem, because err is not being passed on to anything except the caller.

If Wrap() doesn't receive an error, it's accidentally throwing away semantic information in a manner which can be quite difficult to notice. The contract of Wrap() should be to wrap an error, and fail on input that isn't an error. This follows the same good design principles behind fmt.Sprintf() and friends, for example: If Sprintf() receives bad input (such as superfluous arguments), it doesn't ignore it, but signals the problem in its result value. That's just good design.

The likelihood of the scoping issue happening increases due to how Go encourages reusing error variables — protecting it with if x, err := ... often results in quite awkward, overly branching code, and in practice, relatively few err vars can be limited in scope that way. Conversely, I very much dobut that there's much code in the wild that relies on the fact that Wrap(nil) returns nil.

I don't know what greenfield has to do with anything. Semver makes the problem of introducing backwards-incompatible changes a moot point.

[davecheney]

I'm sorry, my decision is final.

This package is released under a permissive open source licence, I suggest you fork it and modify it for your requirements.

Thanks

Dave

On 29 Oct. 2016, at 13:35, Alexander Staubo [email protected] wrote:

But that scoping mistake is much easier to notice, and is semantically not a problem, because err is not being passed on to anything except the caller.

If Wrap() doesn't receive an error, it's accidentally throwing away semantic information in a manner which can be quite difficult to notice. The contract of Wrap() should be to wrap an error, and fail on input that isn't an error. This follows the same good design principles behind fmt.Sprintf() and friends, for example: If Sprintf() receives bad input (such as superfluous arguments), it doesn't ignore it, but signals the problem in its result value. That's just good design.

The likelihood of the scoping issue happening increases due to how Go encourages reusing error variables — protecting it with if x, err := ... often results in quite awkward, overly branching code, and in practice, relatively few err vars can be limited in scope that way. Conversely, I very much dobut that there's much code in the wild that relies on the fact that Wrap(nil) returns nil.

I don't know what greenfield has to do with anything. Semver makes the problem of introducing backwards-incompatible changes a moot point.

—
You are receiving this because you modified the open/close state.
Reply to this email directly, view it on GitHub, or mute the thread.

[matryer]

I just ran into this exact bug and it swallowed a good hour. I think it would have been better to disallow wrap(nil...) as suggested by @atombender.

[davecheney]

I understand, and if I was doing this again today I would not have put in this convenience. Sadly, without a functional package management solution for Go, I cannot break backwards compatability at this time.

…

On Mon, Oct 16, 2017 at 9:14 PM, Mat Ryer ***@***.***> wrote: I just ran into this exact bug and it swallowed a good hour. I think it would have been better to disallow wrap(nil...) as suggested by @atombender <https://github.com/atombender>. — You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub <#90 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAAcA4gR07_G_mEzDwmhmTO9OC7Xx8qEks5sszp6gaJpZM4Kjyfh> .

[matryer]

Understood. I wanted to just contribute some experience. I remember loving that Wrap nil returned nil, but now it reaffirms my obsession with magicless code.

But errors isn't v1 yet is it?

[puellanivis]

A) It would be bad form for Wrap to panic. https://github.com/golang/go/wiki/CodeReviewComments#dont-panic

B) As for Wrap returning any value other than nil, that is also not a good idea, because then errors.Wrap(nil) != nil will be true.

This would require anyone calling into your library to use pkg/errors.Cause(err) != nil which is a poor choice that forces different error handling code on anyone using your code.

Yes, there is a loss of semantic information, but it is simply not possible to attach any semantic information to a nil error and still ensure that standard Go error checking would continue to work.

[davecheney]

Without a functional dependency management solution for Go I have to assume the 5900 users of this package are pulling from head so any change I make will have to be backwards compatible for the forseeable future. Sorry. That's the way the cookie crumbles.

…

On Mon, Oct 16, 2017 at 9:27 PM, Mat Ryer ***@***.***> wrote: Understood. I wanted to just contribute some experience. I remember loving that Wrap nil returned nil, but now it reaffirms my obsession with magicless code. But errors isn't v1 yet is it? — You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub <#90 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAAcA-m36kqZO0WY31mtsi5w7Ha1hs_Nks5ssz2IgaJpZM4Kjyfh> .

[Ehekatl]

for someone else run into this, I made a simple fork version which add MaybeWarp and Wrap on nil will panic: https://github.com/Ehekatl/errors

[CreatCodeBuild]

I consider @puellanivis 's opinions more reasonable. Please allow me to add more reasons against doing so.

1. panicing on error handling library is against the whole reason of having an error handling library.
   The caller then have to do

defer func() {
   recover()...
}()

which makes the code less readable.

Panic recovery should be used in specific cases. panic on Wrap(nil) makes recover a general requirement.

2. I would consider

n, err := w.Write(data)
return n, errors.Wrap(err, "error while writing data")

without panicing a nice feature to have. err == nil should always be explicitly checked.
If you don't, the semantic, for me at least, is always "I don't care if it's nil."

[Ehekatl]

@puellanivis

Sorry I didn't quite get your idea, I mean Wrap(err) should either panic or return a non-nil error, an error library should always report error, not eat it.

I think that certainly help with tracking down bugs.

@CreatCodeBuild

your comments are reasonable, of course err == nil should always be explicitly checked, but the problem is how could I possibly know if I forget doing so?

recover should not be a general requirement in such case, because you should never Wrap on anything nil, it should crash. I do agree it's better not to panic in error handling, but this situation is different. Wrap never expecting nil, the point of panic here is to make a equivalent effect of accessing a nil reference.

[Ehekatl]

@puellanivis well, let me reformat my statement, I think Wrap shouldn't accept nil as valid input, Wrap(nil) doesn't make any sense to me. I can't imagine anyone would rely on errors.Wrap(nil, msg) == nil is true in real world.

[puellanivis]

I understand the argument, but it does make sense to do something like, return errors.Wrap(json.Unmarshal(data, &v), "unmarshaling response failed")

The idea was that one could wrap an arbitrary error without needing to additionally care if it is nil or not.

The pkg/errors package was never designed as a stop-gap to help people avoid returning a nil error, where they are actually expected/thinking that they should be returning a non-nil error.

This is a fundamental issue/feature/bug of the language itself, and is entirely outside of the scope or ability of pkg/errors to solve. If we “fix“ this behavior, maybe we catch one or two accidental oversights, but we also risk causing panics in code that is otherwise correctly handling errors.

[Ehekatl]

You are right, the problem isn't about the behavior.
It's more of an literal problem, MustX/MaybeY make a perfect sense to avoid misunderstanding.

[CreatCodeBuild]

@Ehekatl The best solution for you at the moment might be writing your own / fork this pkg.

As long as you implement .Cause(err) -> err interface, it should work with this pkg seamlessly