Welcome to OStack Knowledge Sharing Community for programmer and developer-Open, Learning and Share
Welcome To Ask or Share your Answers For Others

Categories

0 votes
796 views
in Technique[技术] by (71.8m points)

rust - What does an empty set of parentheses mean when used in a generic type declaration?

The Display trait is defined as follows:

pub trait Display {
    fn fmt(&self, &mut Formatter) -> Result<(), Error>;
}

The most mysterious thing to me is the empty set of parentheses, (), in the type declaration Result<(), Error>. What is it and its purpose?

See Question&Answers more detail:os

与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
Welcome To Ask or Share your Answers For Others

1 Answer

0 votes
by (71.8m points)

() is an empty tuple, a simple zero-sized type (it uses no memory) with only one value possible, (). It’s also known as the unit type. Its use in a return type of Result<(), E> means “if nothing goes wrong, there’s no further value produced”. The semantics are what’s important—the call was OK.

Result<(), ()> would also make sense as a return type—either something succeeded, or it failed, with nothing more to report in either case.


与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
Welcome to OStack Knowledge Sharing Community for programmer and developer-Open, Learning and Share
Click Here to Ask a Question

...