相关疑难解决方法(0)

tl;dr在 Rust 中，是否存在“强”类型别名（或类型机制），使得rustc编译器会拒绝（发出错误）可能是相同底层类型的混淆？

问题

目前，可以定义相同底层类型的类型别名

type WidgetCounter = usize;
type FoobarTally = usize;

但是，如果我错误地混淆了两种类型别名的实例，编译器不会拒绝（发出错误或警告）。

fn tally_the_foos(tally: FoobarTally) -> FoobarTally {
    // ...
    tally
}

fn main() {
    let wc: WidgetCounter = 33;
    let ft: FoobarTally = 1;

    // whoops, passed the wrong variable!
    let tally_total = tally_the_foos(wc);
}

（铁锈游乐场）

可能的解决方案？

我希望有一个额外的关键字之类的东西strong

strong type WidgetCounter = usize;
strong type FoobarTally = usize;

这样前面的代码在编译时会导致编译器错误：

error[E4444]: mismatched strong alias type WidgetCounter,
              expected a FoobarTally

或者也许 s …