From c50df38f9005c83f5e6c981c7e22411cf538321a Mon Sep 17 00:00:00 2001 From: Denys Date: Tue, 19 Dec 2023 12:49:21 +0200 Subject: [PATCH] Update README.md --- 2_idioms/2_4_generic_in_type_out/README.md | 36 +++++----------------- 1 file changed, 7 insertions(+), 29 deletions(-) diff --git a/2_idioms/2_4_generic_in_type_out/README.md b/2_idioms/2_4_generic_in_type_out/README.md index 07f4b4a..f85d917 100644 --- a/2_idioms/2_4_generic_in_type_out/README.md +++ b/2_idioms/2_4_generic_in_type_out/README.md @@ -13,6 +13,8 @@ The common and obvious rules in [Rust] when choosing type for an input parameter Let's illustrate it with the following trivial examples: ```rust +use derive_more::{AsRef, AsMut}; + // Read-only access is enough here. pub fn just_print_stringy(v: &str) { println!("{}", v) @@ -23,22 +25,9 @@ pub fn add_hi(v: &mut String) { v.push_str(" Hi") } - +#[derive(AsMut, AsRef)] pub struct Nickname(String); -// Implement AsRef for Nickname -impl AsRef for Nickname { - fn as_ref(&self) -> &str { - &self.0 - } -} - -// Implement AsMut for Nickname -impl AsMut for Nickname { - fn as_mut(&mut self) -> &mut String { - &mut self.0 - } -} impl Nickname { // We want to own `nickname` inside `Nickname` value. @@ -56,7 +45,9 @@ just_print_stringy(nickname.as_ref()); The most standard way to improve ergonomics here is to __hide type conversions under-the-hood by abstracting over input types__ in our APIs: ```rust -pub fn just_print_stringy>(v: S) { +use derive_more::{AsRef, AsMut}; + +pub fn just_print_stringy>(v: S) { println!("{}", v.as_ref()) } @@ -64,22 +55,9 @@ pub fn add_hi>(mut v: S) { v.as_mut().push_str(" Hi") } +#[derive(AsMut, AsRef)] pub struct Nickname(String); -// Implement AsRef for Nickname -impl AsRef for Nickname { - fn as_ref(&self) -> &str { - &self.0 - } -} - -// Implement AsMut for Nickname -impl AsMut for Nickname { - fn as_mut(&mut self) -> &mut String { - &mut self.0 - } -} - impl Nickname { pub fn new>(nickname: S) -> Self { Self(nickname.into())