当`dyn`与绝对路径一起使用时,错误[E0433]

时间:2018-06-27 21:51:19

标签: rust language-lawyer dynamic-dispatch

我正在玩Rust 1.27中引入的dyn特性,偶然发现了此编译器错误:

error[E0433]: failed to resolve. Use of undeclared type or module `dyn`
 --> src\main.rs:1:30
  |
1 | fn _run0() -> Result<(), Box<dyn ::std::error::Error>> { Ok(()) }
  |                              ^^^ Use of undeclared type or module `dyn`

所有其他变体都可以正常编译:

fn _run0() -> Result<(), Box<dyn ::std::error::Error>> { Ok(()) } // Error

fn _run1() -> Result<(), Box<dyn std::error::Error>> { Ok(()) } // Ok

fn _run2() -> Result<(), Box<::std::error::Error>> { Ok(()) } // Ok

这是预期的行为吗?


rustc 1.27.0(3eda71b00 2018-06-19)

1 个答案:

答案 0 :(得分:10)

这是dyn是上下文关键字这一事实的向后兼容“陷阱”。在添加新语法之前,您可以编写使用dyn作为模块名称的代码:

mod dyn {
    pub trait Error {}
}

fn example() -> Box<dyn ::Error> {
//                     ^ space doesn't matter
    unimplemented!()
}

无法停止编译,因此必须将其解析为路径组件。

您可以添加括号以使其明确:

fn example() -> Box<dyn (::dyn::Error)> { /* ... */ }

在2018年版中,您可以在路径的开头使用crate

fn example() -> Box<dyn crate::dyn::Error> { /* ... */ }