อะไรคือความแตกต่างระหว่าง `| _ | async move {} `และ` async move | _ | {} `

ลองพิจารณาตัวอย่างต่อไปนี้:

main.rs

use futures::executor::block_on;
use futures::future::{FutureExt, TryFutureExt};


async fn fut1() -> Result<String, u32> {
  Ok("ok".to_string())
}

fn main() {
    println!("Hello, world!");
    match block_on(fut1().and_then(|x| async move { Ok(format!("{} is \"ok\"", x)) })) {
      Ok(s) => println!("{}", s),
      Err(u) => println!("{}", u)
    };
}

Cargo.toml

[dependencies]
futures = "^0.3"

ฉันถามเกี่ยวกับการแสดงออกแทน|x| async move {} async move |x| {}หลังมีความชัดเจนมากขึ้น แต่พบข้อผิดพลาดในการรวบรวม:

error[E0658]: async closures are unstable

จากนั้นผมก็สงสัยว่าอะไรคือความแตกต่างระหว่างและasync move || {} || async move {}พวกเขาทั้งสองดูเหมือนจะปิดเพื่อใช้moveคำหลัก

$ rustc --version
rustc 1.39.0 (4560ea788 2019-11-04)

หนึ่งคือบล็อก async (ปิดด้วย async บล็อกเป็นตัวที่จะแม่นยำ) ในขณะที่อื่น ๆ ปิด async ต่อasync / รอ RFC :

async || ปิด

นอกเหนือจากฟังก์ชั่นแล้ว async ยังสามารถนำไปใช้กับการปิด เช่นเดียวกับฟังก์ชั่น async, ปิด async มีประเภทการกลับมาของมากกว่าimpl Future<Output = T>T

ในทางกลับกัน:

async บล็อก

คุณสามารถสร้างอนาคตโดยตรงเป็นนิพจน์โดยใช้asyncบล็อก ฟอร์มนี้เกือบจะเทียบเท่ากับการasyncปิดการเรียกใช้ทันที:

 async { /* body */ }

 // is equivalent to

 (async || { /* body */ })()

ยกเว้นว่าโครงสร้างการควบคุมการไหลเช่นreturn, breakและcontinueไม่ได้รับอนุญาตภายในร่างกาย

moveคำหลักที่นี่คือการแสดงว่าที่ปิด async และบล็อกจะเป็นเจ้าของจับภาพของตัวแปรที่พวกเขาใกล้กว่า

และเห็นได้ชัดว่าการปิด async นั้นยังถือว่าไม่เสถียร แต่ก็มีการติดตามปัญหานี้