1637599 - Simplify propagation of errors with mozilla::Result

Status: RESOLVED FIXED

(Core :: MFBT, task)

Description

[Simon Giesecke [:sg] [he/him]]

It would be convenient to be able to write:

Result<T1, E> Func1() {
  Result<T2, E> res = Func2();
  if (res.isErr()) { return res.propagateErr(); }
}

instead of

Result<T1, E> Func1() {
  Result<T2, E> res = Func2();
  if (res.isErr()) { return Err(res.unwrapErr()); }
}

Comment 1

[Simon Giesecke [:sg] [he/him]]

Attachment: Bug 1637599 - Simplify propagation of error results. r=froydnj

Comment 2

[Simon Giesecke [:sg] [he/him]]

Attachment: Bug 1637599 - Rephrase documentation referring to copies of errors. r=froydnj

The phrase "copy the error" is misleading, as the error type might not be
copyable, and it is never copied but moved. "Propagate" the error seems to
be a good term to describe this.

Comment 3

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/dbe6c4ba7987
Simplify propagation of error results. r=froydnj
https://hg.mozilla.org/integration/autoland/rev/d469a49a225c
Rephrase documentation referring to copies of errors. r=froydnj

Comment 4

[Cristian Brindusan [:cbrindusan]]

https://hg.mozilla.org/mozilla-central/rev/dbe6c4ba7987
https://hg.mozilla.org/mozilla-central/rev/d469a49a225c