What is the purpose of the unit type in Rust?

by

() is a value of the type () and its purpose is to be useless.

Everything in Rust is an expression, and expressions that return “nothing” actually return (). The compiler will give an error if you have a function without a return type but return something other than () anyway. For example

fn f() {
    1i32 // error: mismatched types: expected `()` but found `int`
}

There are practical uses for () too. Sometimes we don’t care about a generic type, and () makes this explicit.

For example, a Result<(), String> can be used as return type for a function that either completes successfully or fails for a variety of reasons.

More Related Contents:

  1. Traits and Rust
  2. Why do try!() and ? not compile when used in a function that doesn’t return Option or Result?
  3. Why do I need to import a trait to use the methods it defines for a type?
  4. Should trait bounds be duplicated in struct and impl?
  5. How do I collect into an array?
  6. Can I do type introspection with trait objects and then downcast it?
  7. Cannot borrow as mutable more than once at a time in one code – but can in another very similar
  8. How can I perform parallel asynchronous HTTP GET requests with reqwest?
  9. Is it considered a bad practice to implement Deref for newtypes?
  10. Implementing a trait for multiple types at once
  11. Convert a String to int?
  12. How do I get an owned value out of a `Box`?
  13. How can I store a Chars iterator in the same struct as the String it is iterating on?
  14. Converting from Option to Option
  15. How to disable unused code warnings in Rust?
  16. What is the difference between `e1` and `&e2` when used as the for-loop variable?
  17. Why doesn’t println! work in Rust unit tests?
  18. How do you use parent module imports in Rust?
  19. What does ‘let x = x’ do in Rust?
  20. Why is the `Sized` bound necessary in this trait?
  21. How do I overcome match arms with incompatible types for structs implementing same trait?
  22. Is there a way to perform an index access to an instance of a struct?
  23. How to take ownership of T from Arc?
  24. Is there any trait that specifies numeric functionality?
  25. How to use a local unpublished crate?
  26. Why do I get “type annotations needed” when using Iterator::collect?
  27. Why can I iterate over a slice twice, but not a vector?
  28. When is it necessary to circumvent Rust’s borrow checker?
  29. How to print structs and arrays?
  30. Can Rust optimise away the bit-wise copy during move of an object someday?

Leave a Comment