Rust の構造体の挙動

Question

環境

• Ubuntu 19.10
• cargo 1.39.0

質問したいこと

今読んでいる Rust のコードで次のようなコードがありました。

use structopt::StructOpt;

#[derive(Debug, StructOpt)]
#[structopt(name="ruplacer")]
struct Opt {
    #[structopt(long = "go")]
    go: bool,

    #[structopt(help = "The pattern to search for")]
    pattern: String,

    #[structopt(help = "The replacement")]
    replacement: String,

    #[structopt(
        parse(from_os_str),
        help = "The source path. Default to the working directory"
    )]
    path: Option<PathBuf>,

    // (省略)
}

fn main() {
    let args: Vec<_> = std::env::args().collect();
    if args.contains(&"--type-list".to_string()) {
        on_type_list();
        return;
    }

    let opt = Opt::from_args();
    let dry_run = !&opt.go;

    let color_when = &opt.color_when.unwrap_or(ColorWhen::Auto);
    configure_color(&color_when);

    let path = opt.path;
    let path = path.unwrap_or_else(|| Path::new(".").to_path_buf());

    let Opt {    // <- ここがわからない
        pattern,
        replacement,
        word_regex,
        ..
    } = opt;

    // (省略)
}

このコードはこちらの GitHub リポジトリの main.rs から引用しています。

このコードの main 関数の中で、let Opt から始まる部分の挙動が理解できません。この式の左辺が右辺に来ており、左辺に指定されている変数に代入するというものはよく見ると思うのですが、 Opt{} が左辺に来ると、opt が Opt{} に代入されるのでしょうか？

また、let Opt{} の最後に２つのドットがありますが、この挙動もよくわかりません。ドキュメントなどを見ると .. のあとに構造体のインスタンスの名前を指定することでこのインスタンスの持つ変数の値を踏襲できるという使い方は書いてあるのですが、 .. のあとに何も指定しないとどうなるのでしょう？

よろしくお願いします。

Answer 1

パターンマッチです。

let Opt {
    pattern,
    replacement,
    word_regex,
    ..
} = opt;

pattern、replacement、word_regaxに合致して値を取り出すことができます。
また..によって使わない値を無視することができます。

下記のWebサイトも併せてご覧ください
Pattern Syntax - The Rust Programming Language

（日本語版はこちらにあります）

Comments

[Yhaya]

なるほど、これもパターンマッチなんですね。ありがとうございます。