Question

我想写这样的东西：

use std::{iter, ops};

struct Idx(usize);

fn get_inds() -> iter::Zip<iter::Map<ops::RangeFrom<usize>, fn(usize) -> Idx>, ops::RangeFrom<usize>> {
    (0..).map(Idx).zip(0..)
}

然而，这无法编译：

error: mismatched types [--explain E0308]
 --> src/main.rs:6:9
6 |>         (0..).map(Idx).zip(0..)
  |>         ^^^^^^^^^^^^^^^^^^^^^^^ expected fn pointer, found fn item
note: expected type `std::iter::Zip<std::iter::Map<std::ops::RangeFrom<usize>, fn(usize) -> Idx>, std::ops::RangeFrom<usize>>`
note:    found type `std::iter::Zip<std::iter::Map<std::ops::RangeFrom<usize>, fn(usize) -> Idx {Idx::{{constructor}}}>, std::ops::RangeFrom<_>>`

然后我投出了这个函数：

fn get_inds() -> iter::Zip<iter::Map<ops::RangeFrom<usize>, fn(usize) -> Idx>, ops::RangeFrom<usize>> {
    (0..).map(Idx as fn(usize) -> Idx).zip(0..)
}

生成以下编译器警告。为什么我会收到警告？使用像这样的构造函数的正确方法是什么？

warning: can't cast this type, #[warn(const_err)] on by default
 --> src/main.rs:6:19
6 |>         (0..).map(Idx as fn(usize) -> Idx).zip(0..)
  |>                   ^^^^^^^^^^^^^^^^^^^^^^^

Answer 1

这是由编译器的常量评估程序最近更改引起的虚假警告。请参阅#33452，#33291等。我不担心，但值得向Rust回购提交错误，以便修复。

无法使用或转换构造函数作为fn

1 个答案: