I read the below syntax from byteorder:
rdr.read_u16::<BigEndian>()
I can't find any documentation which explains the syntax instance.method::<SomeThing>()
I read the below syntax from byteorder:
rdr.read_u16::<BigEndian>()
I can't find any documentation which explains the syntax instance.method::<SomeThing>()
This construct is called turbofish. If you search for this statement, you will discover its definition and its usage.
Although the first edition of The Rust Programming Language is outdated, I feel that this particular section is better than in the second book.
Quoting the second edition:
path::<...>
,method::<...>
Specifies parameters to generic type, function, or method in an expression; often referred to as turbofish (e.g.,"42".parse::<i32>()
)
You can use it in any kind of situation where the compiler is not able to deduce the type parameter, e.g.
fn main () {
let a = (0..255).sum();
let b = (0..255).sum::<u32>();
let c: u32 = (0..255).sum();
}
a
does not work because it cannot deduce the variable type.
b
does work because we specify the type parameter directly with the turbofish syntax.
c
does work because we specify the type of c
directly.
::
is required in expressions is that it avoids a syntax ambiguity with the less-than and greater-than operators. This is different from types, where you write Vec<i32>
and not Vec::<i32>
(less-than and greater-than don't exist in the syntax for types).
::
out some day. It's a trickier problem than it might seem at first glance, though :)
b
nor c
are inherently better than the other. Each have times that they are useful and more succinct. Both are equally idiomatic.
Sep 17, 2018 at 13:26