advance/into-types/custom-type

[giscus[bot]]

advance/into-types/custom-type

https://course.rs/advance/into-types/custom-type.html

[kaichii]

评论一个 😄

[giveahug]

_ => panic!("不合规定的值:{}", i)这个还是没看懂

[Rustln]

_ => panic!("不合规定的值:{}", i) 语法解释：

_ ：表示缺省匹配，类似 if 语句中的 else，也就是 没有匹配的，剩下的 的意思。
panic!：是声明宏，你暂且认为宏是一种特殊的函数（方法），而 panic! 你可以当作其他编程语言的 throw 抛出异常的意思。

那么既然抛出异常了，也就是返回值不一样已经无所谓了，因为程序到这里就终止了

[amesy]

学习了，多谢分享！

[mozhou-tech]

看到这，第一次评论。

[starrys147]

Newtype 是一个源自~~（U.C.0079，逃）~~Haskell 编程语言的概念。
——Rust官网给的非官方翻译

[starrys147]

// 说好的支持markdown的呢？怎么删除线没有支持啊！！！

[lzm0x219]

这不是有~~

[Lambert-Rao]

哈哈，网友有点意思

[huangbqsky]

“panic 的返回值是 !，代表它决不会返回任何值，既然没有任何返回值，那自然不会存在分支类型不匹配的情况。”
这句话的潜台词就是：没有任何返回值！和其他任何一个返回类型是匹配的？

[apodemakeles]

scala那里憋不住了

[zhangboqi]

难度下降了？

[runzhi214]

学过Scala的表示完全在预料范围内，经典Nothing

[runzhi214]

永不返回参考Scala的Nothing。

因为Nothing是任何对象的子类，返回Nothing的函数可以在match的分支上兼容其他任何类型。
这里的panic!同理，因为panic!返回类型是!,又因为!相当于任何类的子类，所以match各分支类型统一。

（为Scala叹息）

[daoyee]

不要参考这个那个了，本来就是自然而然的事。

[kapaseker]

也可以这样理解，！是所有类型的子类型

[huyi1985]

"隐藏内部类型的细节"一节提到，

    // ...
    let n = Meters(i);
    // 下面的代码将报错，因为`Meters`类型上没有`pow`方法
    // assert_eq!(n.pow(2), 4);
}

不过需要偷偷告诉你的是，这种方式实际上是掩耳盗铃，因为用户依然可以通过 n.0.pow(2) 的方式来调用内部类型的方法 :)

如果在定义Meters这个Newtype的模块以外的地方，是不是就无法通过.0的方式访问内部类型的值了。

https://rust-unofficial.github.io/patterns/patterns/behavioural/newtype.html 这篇文章，“Advantages”一节，最后一句写到：

The privacy system ensures that users cannot access the wrapped type (if the field is private, which it is by default).

我试了一下，

// mymod.rs
pub struct Meters(u32);

impl Meters {
    pub fn new(v: u32) -> Self { // 若没有new()方法，note: constructor is not visible here due to private fields
        Meters(v)
    }
}

// main.rs
pub mod mymod;

use mymod::Meters;
fn main() {
    let i: u32 = 2;
    assert_eq!(i.pow(2), 4);

    let n = Meters::new(i);
    // 下面的代码将报错，因为`Meters`类型上没有`pow`方法
    // assert_eq!(n.pow(2), 4);
    assert_eq!(n.0.pow(2), 4); // error[E0616]: field `0` of struct `Meters` is private
}

[xbsheng]

这节简单些😋