1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116
// Tagged dispatch mechanism for resolving the behavior of `anyhow!($expr)`. // // When anyhow! is given a single expr argument to turn into anyhow::Error, we // want the resulting Error to pick up the input's implementation of source() // and backtrace() if it has a std::error::Error impl, otherwise require nothing // more than Display and Debug. // // Expressed in terms of specialization, we want something like: // // trait AnyhowNew { // fn new(self) -> Error; // } // // impl<T> AnyhowNew for T // where // T: Display + Debug + Send + Sync + 'static, // { // default fn new(self) -> Error { // /* no std error impl */ // } // } // // impl<T> AnyhowNew for T // where // T: std::error::Error + Send + Sync + 'static, // { // fn new(self) -> Error { // /* use std error's source() and backtrace() */ // } // } // // Since specialization is not stable yet, instead we rely on autoref behavior // of method resolution to perform tagged dispatch. Here we have two traits // AdhocKind and TraitKind that both have an anyhow_kind() method. AdhocKind is // implemented whether or not the caller's type has a std error impl, while // TraitKind is implemented only when a std error impl does exist. The ambiguity // is resolved by AdhocKind requiring an extra autoref so that it has lower // precedence. // // The anyhow! macro will set up the call in this form: // // #[allow(unused_imports)] // use $crate::private::{AdhocKind, TraitKind}; // let error = $msg; // (&error).anyhow_kind().new(error) use crate::Error; use core::fmt::{Debug, Display}; #[cfg(feature = "std")] use crate::StdError; #[cfg(backtrace)] use std::backtrace::Backtrace; pub struct Adhoc; pub trait AdhocKind: Sized { #[inline] fn anyhow_kind(&self) -> Adhoc { Adhoc } } impl<T> AdhocKind for &T where T: ?Sized + Display + Debug + Send + Sync + 'static {} impl Adhoc { pub fn new<M>(self, message: M) -> Error where M: Display + Debug + Send + Sync + 'static, { Error::from_adhoc(message, backtrace!()) } } pub struct Trait; pub trait TraitKind: Sized { #[inline] fn anyhow_kind(&self) -> Trait { Trait } } impl<E> TraitKind for E where E: Into<Error> {} impl Trait { pub fn new<E>(self, error: E) -> Error where E: Into<Error>, { error.into() } } #[cfg(feature = "std")] pub struct Boxed; #[cfg(feature = "std")] pub trait BoxedKind: Sized { #[inline] fn anyhow_kind(&self) -> Boxed { Boxed } } #[cfg(feature = "std")] impl BoxedKind for Box<dyn StdError + Send + Sync> {} #[cfg(feature = "std")] impl Boxed { pub fn new(self, error: Box<dyn StdError + Send + Sync>) -> Error { let backtrace = backtrace_if_absent!(error); Error::from_boxed(error, backtrace) } }