impl - Rust
Description: API documentation for the Rust `impl` keyword in crate `std`.
Keywords: rust, rustlang, rust-lang, impl

# [−]Keyword impl

Implement some functionality for a type.

The `impl` keyword is primarily used to define implementations on types. Inherent implementations are standalone, while trait implementations are used to implement traits for types, or other traits.

Functions and consts can both be defined in an implementation. A function defined in an `impl` block can be standalone, meaning it would be called like `Foo::bar()`. If the function takes `self`, `&self`, or `&mut self` as its first argument, it can also be called using method-call syntax, a familiar feature to any object oriented programmer, like `foo.bar()`.

    struct Example {
        number: i32,
    }

    impl Example {
        fn boo() {
            println!("boo! Example::boo() was called!");
        }

        fn answer(&mut self) {
            self.number += 42;
        }

        fn get_number(&self) -> i32 {
            self.number
        }
    }

    trait Thingy {
        fn do_thingy(&self);
    }

    impl Thingy for Example {
        fn do_thingy(&self) {
            println!("doing a thing! also, number is {}!", self.number);
        }
    }Run

For more information on implementations, see the Rust book or the Reference.

The other use of the `impl` keyword is in `impl Trait` syntax, which can be seen as a shorthand for "a concrete type that implements this trait". Its primary use is working with closures, which have type definitions generated at compile time that can't be simply typed out.

    fn thing_returning_closure() -> impl Fn(i32) -> bool {
        println!("here's a closure for you!");
        |x: i32| x % 3 == 0
    }Run

For more information on `impl Trait` syntax, see the Rust book.

# Help

## Keyboard Shortcuts

`?`
  Show this help dialog
`S`
  Focus the search field
`↑`
  Move up in search results
`↓`
  Move down in search results
`↹`
  Switch tab
`⏎`
  Go to active search result
`+`
  Expand all sections
`-`
  Collapse all sections

## Search Tricks

Prefix searches with a type followed by a colon (e.g., `fn:`) to restrict the search to a given type.

Accepted types are: `fn`, `mod`, `struct`, `enum`, `trait`, `type`, `macro`, and `const`.

Search functions by type signature (e.g., `vec -> usize` or `* -> vec`)

Search multiple things at once by splitting your query with comma (e.g., `str,u8` or `String,struct:Vec,test`)