如何在使用“anyhow”时跟踪错误

ilm*_*moi 19 error-handling rust

当使用无论如何 crate时,错误可以方便地冒泡到应用程序的根目录,并在那里进行处理。

然而,有时我想知道错误发生在哪里,但我找不到一种方法来做到这一点anyhow

我的回溯仅提到了根:

   4: mp_parser::main
             at ./src/main.rs:37:5
Run Code Online (Sandbox Code Playgroud)

运行为RUST_BACKTRACE=full我提供了详细的内部调用堆栈,但它没有显示我自己的代码中错误的根源。

因此,我经常对代码的不同部分取消注释,以找出错误实际发生的位置。

有什么办法可以得到它发生的原始行吗?

at5*_*321 13

我使用以下应用程序运行了一些测试(全部处于发布模式):

use anyhow::{ensure, Result};

fn main() -> Result<()> {
    aa()?;
    Ok(())
}

fn aa() -> Result<()> {
    bb(33)?;
    bb(77)?;
    bb(5)?;
    Ok(())
}

fn bb(p: i32) -> Result<i32> {
    ensure!(p >= 10, "param not big enough!");
    Ok(p)
}
Run Code Online (Sandbox Code Playgroud)

我测试了各种组合:

  • 在 Stable (1.58) 和 Nightly (1.60) 工具链上。
  • 有或没有“回溯”功能;
  • 不设置RUST_BACKTRACE和设置为1或(本次测试中和full没有区别)。1full

当使用RUST_BACKTRACE=1或运行应用程序时RUST_BACKTRACE=full,我们会得到如下回溯:

Error: param not big enough!

Stack backtrace:
   0: anyhow::error::<impl anyhow::Error>::msg
   1: an::main
   2: std::sys_common::backtrace::__rust_begin_short_backtrace
   3: std::rt::lang_start::{{closure}}
   4: core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/core/src/ops/function.rs:259:13
   5: std::panicking::try::do_call
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/panicking.rs:485:40
   6: std::panicking::try
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/panicking.rs:449:19
   7: std::panic::catch_unwind
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/panic.rs:136:14
   8: std::rt::lang_start_internal::{{closure}}
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/rt.rs:128:48
   9: std::panicking::try::do_call
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/panicking.rs:485:40
  10: std::panicking::try
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/panicking.rs:449:19
  11: std::panic::catch_unwind
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/panic.rs:136:14
  12: std::rt::lang_start_internal
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/rt.rs:128:20
  13: main
  14: __libc_start_main
  15: _start
Run Code Online (Sandbox Code Playgroud)

我还测试了“回溯”功能:

    anyhow = { version = "1.0.52", features = ["backtrace"] }
Run Code Online (Sandbox Code Playgroud)

,但这似乎没有向堆栈跟踪添加任何有价值的信息。

我们只看到的原因1: an::main是在这个简单的程序中其他函数是内联的。

我们可以尝试禁用特定函数的内联,如下所示:

#[inline(never)]
fn aa() -> Result<()> {...
Run Code Online (Sandbox Code Playgroud)

现在我们得到这个:

Stack backtrace:
   0: anyhow::error::<impl anyhow::Error>::msg
   1: an::aa
   2: std::sys_common::backtrace::__rust_begin_short_backtrace
   ...
Run Code Online (Sandbox Code Playgroud)

这可能有助于将错误产生的位置缩小到单个函数,但它仍然远非完美。而且,显然,仅仅为了这个目的而禁用内联通常不是一个好主意。

看来我们可以这样做:

ensure!(p >= 10, "param not big enough! {}:{}", file!(), line!());
Run Code Online (Sandbox Code Playgroud)

即使在发布模式下,我们也可以获得有关文件和行的信息:

Error: param not big enough! src/main.rs:18
Run Code Online (Sandbox Code Playgroud)

显然,可以围绕它构建一些东西,但我不熟悉这些宏到底是如何工作的以及开销是多少。如果有人能对此有更多的了解,我会很高兴。


根据罗德里戈的建议,我也尝试过这个:

[profile.release]
debug = true
Run Code Online (Sandbox Code Playgroud)

结果看起来很棒:

Stack backtrace:
   0: anyhow::error::<impl anyhow::Error>::msg
             at /home/xyz/.cargo/registry/src/github.com-1ecc6299db9ec823/anyhow-1.0.52/src/error.rs:79:36
   1: an::bb
             at ./src/main.rs:18:5
   2: an::aa
             at ./src/main.rs:13:2
   3: an::main
             at ./src/main.rs:6:2
   4: core::ops::function::FnOnce::call_once
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/core/src/ops/function.rs:227:5
   5: std::sys_common::backtrace::__rust_begin_short_backtrace
             at /rustc/5e57faa78aa7661c6000204591558f6665f11abc/library/std/src/sys_common/backtrace.rs:123:18
   ...
   
Run Code Online (Sandbox Code Playgroud)

二进制大小因此增加了 16%。

设置debug = 1产生相同的堆栈跟踪debug = true(顺便说一句,与 相同debug = 2),但与默认值相比,二进制大小仅增加 6%debug = 0

我还没有测试该设置是否/如何影响性能。