t_wの輪郭

Feedlyでフォローするボタン
Rusttrait要検討トレイト特質特性
error[E0782]: trait objects must include the dyn keyword引数の型として特質を使う特質名特質オブジェクトトレイトDropDerefIteratorRustのクロージャはFn特質を実装しているFn戻り値の型が特質を実装していることを指定する特質境界特質(trait)trait特質のデフォルト実装特質を型に実装する特質を定義するCopy引数の型が複数の特質を実装していることを指定する関数に変数を渡すことによる所有権の移動コピーによる所有権の移動DebugDisplay

Drop

2022/3/2 20:29:00

RustのクロージャはFn特質を実装しているため、クロージャを変数に入れたり、引数として渡したす場合の型としてFnを指定すると良い。
なんか表現がおかしいので後景のコードを見ること。また、表現をいい感じに修正すること。

Fn

2022/2/26 8:24:00
error[E0782]: trait objects must include the `dyn` keyword 
  --> src\main.rs:26:42
   |
26 | fn run(config: Config) -> Result<(), Box<Error>> {    
   |                                          ^^^^^        
   |
help: add `dyn` keyword before this trait
   |
26 | fn run(config: Config) -> Result<(), Box<dyn Error>> {
   |                                          +++
trait Summary {
    fn summarize(&self) -> String {
        String::from("(Read more...)")
    }
}

struct NewsArticle {
    pub headline: String,
    pub location: String,
    pub author: String,
    pub content: String,
}

impl Summary for NewsArticle {}

fn main() {
    let news_article = NewsArticle{
        headline: String::from("Headline"), 
        location: String::from("somewhere"), 
        author: String::from("somebody"), 
        content: String::from("something")
    };

    println!("{}", news_article.summarize());
}

https://doc.rust-jp.rs/book-ja/ch10-02-traits.html#デフォルト実装

trait Summary {
    fn summarize(&self) -> String;
}

struct NewsArticle {
    pub headline: String,
    pub location: String,
    pub author: String,
    pub content: String,
}

impl Summary for NewsArticle {
    fn summarize(&self) -> String {
        format!("{}, by {} ({})", self.headline, self.author, self.location)
    }
}

fn main() {
    let news_article = NewsArticle{
        headline: String::from("Headline"), 
        location: String::from("somewhere"), 
        author: String::from("somebody"), 
        content: String::from("something")
    };

    println!("{}", news_article.summarize());
}

https://doc.rust-jp.rs/book-ja/ch10-02-traits.html#トレイトを型に実装する

Copy特質を持たない変数をコピーすると、所有権の移動が発生し、コピー元の変数は使用が不可能になる。

let s1 = String::from("hello");
let s2 = s1;
println!("{}", s1);   //error
/*
error[E0382]: borrow of moved value: `s1`
 --> src\main.rs:5:16
  |
3 | let s1 = String::from("hello");
  |     -- move occurs because `s1` has type `String`, which does not implement the `Copy` trait
4 | let s2 = s1;
  |          -- value moved here
5 | println!("{}", s1);   //hello
  |                ^^ value borrowed here after move
*/

Copy特質を持たない変数関数に渡すと、所有権の移動が発生し、関数に渡した変数は使用不可能になる。

fn main() {
    let s = String::from("hello");
    test(s);
    println!("{}", s);   //error
    /*
    error[E0382]: borrow of moved value: `s`
    --> src\main.rs:4:20
    |
    2 |     let s = String::from("hello");
    |         - move occurs because `s` has type `String`, which does not implement the `Copy` trait
    3 |     test(s);
    |          - value moved here
    4 |     println!("{}", s);   //error
    |                    ^ value borrowed here after move
    */
}

fn test(s:String) {
    println!("{}", s);   //hello
}