Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

What is the syntax: `instance.method::<SomeThing>()`?

Tags:

syntax

rust

I read the below syntax from byteorder:

rdr.read_u16::<BigEndian>()

I can't find any documentation which explains the syntax instance.method::<SomeThing>()

like image 779
周汉成 Avatar asked Sep 17 '18 03:09

周汉成


People also ask

What is the syntax of a method?

Methods are similar to functions: they're declared with the fn keyword and their name, they can have parameters and a return value, and they contain some code that is run when they're called from somewhere else.

What is an instance method?

An instance method is a method that belongs to instances of a class, not to the class itself. To define an instance method, just omit static from the method heading. Within the method definition, you refer to variables and methods in the class by their names, without a dot.

What is the instance method in Python?

Python isinstance() Function The isinstance() function returns True if the specified object is of the specified type, otherwise False . If the type parameter is a tuple, this function will return True if the object is one of the types in the tuple.


1 Answers

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.

like image 120
hellow Avatar answered Dec 25 '22 16:12

hellow