into() 呼び出し時の「type annotations needed 」解消方法

Question

前提・実現したいこと

iced を用いて、macOSネイティブアプリの作り方を調査しています。
現在、文字列の配列を、画面上にTextとして表示しようとしています。

Column を生成し、そこへ 複数の Text を追加した後
into() で表示したいのですが、コンパイルエラーとなっています。

コンパイルエラーの解消方法を教えていただけませんでしょうか？

発生している問題・エラーメッセージ

error[E0282]: type annotations needed
  --> src/main.rs:50:14
   |
50 |         *col.into()
   |          ----^^^^--
   |          |   |
   |          |   cannot infer type for type parameter `T` declared on the trait `Into`
   |          this method call resolves to `T`
   |
   = note: type must be known at this point

該当のソースコード

use iced::{Settings, Application, Command, Clipboard, Element, Column, Text};

fn main() -> iced::Result {
    TextViewer::run(Settings::default())
}

#[derive(Debug, Clone)]
struct TextViewer {}

#[derive(Debug)]
pub enum Message {
    Loading,
    Loaded,
}

impl Application for TextViewer {
    type Executor = iced::executor::Default;
    type Message = Message;
    type Flags = ();

    fn new(_flags: Self::Flags) -> (Self, Command<Self::Message>) {
        (TextViewer{}, Command::none())
    }

    fn title(&self) -> String {
        String::from("Text を複数表示する実験")
    }

    fn update(&mut self, message: Self::Message, _clipboard: &mut Clipboard) -> Command<Self::Message> {
        match message {
            Message::Loading => {}
            Message::Loaded => {}
        }
        Command::none()
    }

    fn view(&mut self) -> Element<'_, Self::Message> {
        let listString = [String::from("ABC"), String::from("DEF")];
        let col = &Column::new();
        for s in listString.iter() {
            col.push(Text::new(s));
        }


        // 参照外ししない場合
        // col.into()
        //      ^^^^ the trait `From<&iced_native::widget::column::Column<'_, _, iced_graphics::renderer::Renderer<iced_wgpu::backend::Backend>>>` is not implemented for `iced_native::element::Element<'_, Message, iced_graphics::renderer::Renderer<iced_wgpu::backend::Backend>>`


        // 参照外しする場合
        *col.into()
//       ----^^^^--
//       |   |   |
//       |   |   cannot infer type for type parameter `T` declared on the trait `Into`
//       |   this method call resolves to `T`

    }
}

試したこと

view 関数内部で Box を利用してみましたが、同様のエラーが発生しました。

fn view(&mut self) -> Element<'_, Self::Message> {
        let listString = [String::from("ABC"), String::from("DEF")];
        let col = Box::new(Column::new());
        for s in listString.iter() {
            col.push(Text::new(s));
        }

        *col.into()
//       ----^^^^--
//       |   |   |
//       |   |   cannot infer type for type parameter `T` declared on the trait `Into`
//       |   this method call resolves to `T`
    }

補足情報（FW/ツールのバージョンなど）

OS

MacOS Big Sur 11.5.2（20G95）

Cargo.toml

[package]
name = "RustWithCLion"
version = "0.1.0"
edition = "2018"
publish = false

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
iced = { version = "0.3", features = ["async-std", "debug"] }
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"

Answer 1

こちらですが、colの参照外ししてからinto()することを狙っているのだと思いますが、意図どおりになっていません。

        // 参照外しする場合
        *col.into()
//       ----^^^^--
//       |   |   |
//       |   |   cannot infer type for type parameter `T` declared on the trait `Into`
//       |   this method call resolves to `T`

単項の*演算子の優先順位はメソッド呼び出し.into()の優先順位よりも低いので、以下のようにカッコ付きで書いたのと同じになります。（Rust Reference — Expression precedence）

        // colをinto()してから参照外しする
        *(col.into())

意図どおりにするには、以下のように書く必要があります。

        // colを参照外ししてからinto()する
        (*col).into()

しかし、これは別のコンパイルエラーになります。

cannot move out of `*col` which is behind a shared reference

これはcolが&Column<_, _>型なことが原因です。

元のコード

    fn view(&mut self) -> Element<'_, Self::Message> {
        let listString = [String::from("ABC"), String::from("DEF")];
        // colは&Column<_, _>型
        let col = &Column::new();
        for s in listString.iter() {
            col.push(Text::new(s));
        }
        // 参照外しできない（cannot move out ...）
        (*col).into()
    }

そこで、以下のようにcolをColumn<_, _>型に変えてみたところコンパイルできました。これで解決したと思います。

    fn view(&mut self) -> Element<'_, Self::Message> {
        let listString = [String::from("ABC"), String::from("DEF")];
        // colをColumn<_, _>型にする
        let mut col = Column::new();
        for s in listString.iter() {
            // pushはColumn<_, _>の所有権を取り、新しいColumn<_, _>を返す
            col = col.push(Text::new(s));
        }
        // Column<_, _>なので参照外しは不要
        col.into()
    }

---

追記
すでに同じような内容の回答が付いていることに気づかずに自分の回答を投稿してしまいました。そちらで紹介されているColumn::with_children()を使うのが便利そうですね。

Comments

[sutonea]

演算子の優先順位など、細かく記載いただきありがとうございます！
理解が深まりました！

Answer 2

ぱっと見, iced::Columnの生成の問題なのかなと思います.

同様の形でやっていくのであれば, Columnの生成からpushのループを以下のようにすると, col.into() が通るようになるかなと思います.

let mut col = Column::new();
for s in listString.iter() {
    col = col.push(Text::new(s));
}

自分でforなどでiter()を回すのも面倒かなと言う場合は, Column::with_children() を利用して,

fn view(&mut self) -> Element<'_, Self::Message> {
    let texts = vec![Text::new("ABC").into(), Text::new("DEF").into()];
    Column::with_children(texts).into()
}

としても大丈夫かと存じます.

Comments

[sutonea]

ありがとうございます、そちらの方法で解決いたしました！