我可以使用局部变量隐藏 const 绑定吗？答案

【问题标题】：Can I shadow a const binding with a local variable?我可以使用局部变量隐藏 const 绑定吗？
【发布时间】：2019-01-17 20:45:22
【问题描述】：

我认为这会起作用：

const x: &str = "10";            // declare a const
let x: i32 = x.parse().unwrap(); // reuse the same name for a let binding
assert_eq!(10, x);

但是：

error[E0308]: mismatched types
 --> src/main.rs:3:9
  |
3 |     let x: i32 = x.parse().unwrap(); // reuse the same name for a let binding
  |         ^ expected i32, found reference
  |
  = note: expected type `i32`
             found type `&'static str`

error[E0277]: the trait bound `{integer}: std::cmp::PartialEq<&str>` is not satisfied
 --> src/main.rs:4:5
  |
4 |     assert_eq!(10, x);
  |     ^^^^^^^^^^^^^^^^^^ can't compare `{integer}` with `&str`
  |
  = help: the trait `std::cmp::PartialEq<&str>` is not implemented for `{integer}`
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

这行得通：

const x: &str = "10";
let y: i32 = x.parse().unwrap();
assert_eq!(10, y);

这也是如此：

let x: &str = "10";
let x: i32 = x.parse().unwrap();
assert_eq!(10, x);

我是不是做错了什么，还是无法将现有的const 绑定与同名的let 绑定？

【问题讨论】：

标签： rust constants let

【解决方案1】：

我想我明白了...当我使用 let SOME_CONST 时，编译器认为我在进行模式匹配。

当我修复类型时：

const x: i32 = 10;
let x: i32 = x + 1;
assert_eq!(11, x);

我得到一个不同的错误：

error[E0005]: refutable pattern in local binding: `_` not covered
 --> src/main.rs:3:9
  |
3 |     let x: i32 = x + 1;
  |         ^ interpreted as a constant pattern, not new variable

好像我在程序中取出了所有出现的x，并将它们扩展为常量10：

let 10: i32 = 10 + 1;
assert_eq!(11, x);

【讨论】：