[(&str, &str); 6]な配列の全要素のタプルについて1番目と2番目を入れ替えvectorに変換するには

Question

const TABLE1: [(&str,  &str); 6] = [
    ("a", "あ"), ("i", "い"), ("u", "う"), ("e", "え"), ("o", "お"),
    ("n", "ん")
];

のような配列があったとき、

vec![
    ("あ", "a"), ("い", "i"), ("う", "u"), ("え", "e"), ("お", "o"),
    ("ん", "n")
]

と等価なVec<(&str, &str)>へ変換したいです。

TABLE1.iter().map(|(s1, s2)| (s2, s1)).cloned().collect::<Vec<(&str,  &str)>>()

のようにすれば行けないかと思いましたが、これでは

error[E0271]: type mismatch resolving `<std::iter::Map<std::slice::Iter<'_, (&str, &str)>, [closure@src\cvt\jis_x_4063_2000.rs:94:27: 94:46]> as std::iter::Iterator>::Item == &_`
  --> src\cvt\jis_x_4063_2000.rs:94:48
   |
94 |         TABLE1.iter().map(|(s1, s2)| (s2, s1)).cloned().collect::<Vec<(&str,  &str)>>(),
   |                                                ^^^^^^ expected tuple, found reference
   |
   = note: expected type `(&&str, &&str)`
              found type `&_`

error[E0599]: no method named `collect` found for type `std::iter::Cloned<std::iter::Map<std::slice::Iter<'_, (&str, &str)>, [closure@src\cvt\jis_x_4063_2000.rs:94:27: 94:46]>>` in the current scope
  --> src\cvt\jis_x_4063_2000.rs:94:57
   |
94 |         TABLE1.iter().map(|(s1, s2)| (s2, s1)).cloned().collect::<Vec<(&str,  &str)>>(),
   |                                                         ^^^^^^^
   |
   = note: the method `collect` exists but the following trait bounds were not satisfied:
           `std::iter::Cloned<std::iter::Map<std::slice::Iter<'_, (&str, &str)>, [closure@src\cvt\jis_x_4063_2000.rs:94:27: 94:46]>> : std::iter::Iterator`
           `&mut std::iter::Cloned<std::iter::Map<std::slice::Iter<'_, (&str, &str)>, [closure@src\cvt\jis_x_4063_2000.rs:94:27: 94:46]>> : std::iter::Iterator`

error: aborting due to 2 previous errors

のようにエラーになってしまいます。というかexpected tuple, found referenceってどういうことなんでしょうか？

Answer 1

すでに動くコードが示されていますが、エラーの原因についてだけ説明します。まず説明のため質問のコードを整形します。

TABLE1
    .iter() // : Iterator<Item = &(&str, &str)>
    // (*)
    .map(|(s1, s2)| {
        (s2, s1) // : (&&str, &&str)
    }) // : Iterator<Item = (&&str, &&str)>
    .cloned() // ERROR
    .collect::<Vec<(&str, &str)>>()

(*)においてこの時点でイテレータのアイテムの型は&(_, _)の形ですが、mapのクロージャの引数は(_, _)の形をしています（つまり&が欠けている）。このような場合、クロージャの引数は&(ref s1, ref s2)のように脱糖されます（これはmatch ergonomicsと呼ばれる機能によるものです）。つまりs1とs2の型は&&strになってしまいます。ここで引数を&(s1, s2)とするか、別の回答のように返り値を(*s2, *s1)とすれば期待通り&strを返すようになります。

また、Iterator::cloneはSelf: Iterator<Item = &'a T>、つまりイテレータのアイテムが参照であることを要求しますが、ここでmap後の要素は参照（&(_, _)）でなく(_, _)であり、clonedは使えません（というより不要です）。

Answer 2

下記コードで目的達成するでしょうか。

const TABLE1: [(&str,  &str); 6] = [
    ("a", "あ"), ("i", "い"), ("u", "う"), ("e", "え"), ("o", "お"),
    ("n", "ん")
];

fn main() {
    let vec = TABLE1.iter().map(|(s1, s2)| (*s2, *s1)).collect::<Vec<_>>();
    for e in vec {
        println!("{} {}", e.0, e.1);
    }
}

追記：.map(|(s1, s2)| (s2, s1)) でも十分ですね。

Comments

[tesaguri]

追記に関して、`.map(|(s1, s2)| (s2, s1))`だけだと`Vec<(&str, &str)`でなく`Vec<(&&str, &&str)>`になってしまいますね（場合によってはそれでも十分かもしれませんが）。

[yohhoy]

はい、その通りですね。コードを色々いじっていて後で気づきました。