How can I specify the type of a closure argument?

Question

I'm trying to do something like this, but it fails to compile on inspect's closure arguments:

fn main() {
    vec!(1, 2, 3, 4)
        .windows(2)
        .inspect(|&&a[]| println!("{} {}", a[0], a[1]))
        .count();
}

I've tried moving the slice name a around, but couldn't find the sweet spot of the compiler's understanding.

Thank you, it's working! It's so simple, I've really overcomplicated. — user7357536, Dec 30 '16 at 10:47

score 3 · Accepted Answer · answered Dec 30 '16 at 14:58

The direct answer is to use a colon, just like everywhere else you define an arguments type:

fn main() {
    vec!(1, 2, 3, 4)
        .windows(2)
        .inspect(|a: &&[u8]| println!("{} {}", a[0], a[1]))
        .count();
}

As pointed out by Matthieu M., there's no reason to specify a type here at all as type inference will handle it:

fn main() {
    vec!(1, 2, 3, 4)
        .windows(2)
        .inspect(|a| println!("{} {}", a[0], a[1]))
        .count();
}

For completeness, you can also specify the return type of the closure, although doing so requires braces for the closure body. Again, this is rarely needed:

fn main() {
    vec!(1, 2, 3, 4)
        .windows(2)
        .map(|a: &[u8]| -> bool { a[0] % 2 == 0 })
        .inspect(|a| println!("{}", a))
        .count();
}

How can I specify the type of a closure argument?

1 Answers1

Linked