What does “dyn” mean in a type?

by

TL;DR: It’s a syntax for specifying the type of a trait object and must be specified for clarity reasons.

Since Rust 1.0, traits have led a double life. Once a trait has been declared, it can be used either as a trait or as a type:

// As a trait
impl MyTrait for SomeType {}

// As a type!
impl MyTrait {}
impl AnotherTrait for MyTrait {}

As you can imagine, this double meaning can cause some confusion. Additionally, since the MyTrait type is an unsized / dynamically-sized type, this can expose people to very complex error messages.

To ameliorate this problem, RFC 2113 introduced the dyn syntax. This syntax is available starting in Rust 1.27:

use std::{fmt::Display, sync::Arc};

fn main() {
    let display_ref: &dyn Display = &42;
    let display_box: Box<dyn Display> = Box::new(42);
    let display_arc: Arc<dyn Display> = Arc::new(42);
}

This new keyword parallels the impl Trait syntax and strives to make the type of a trait object more obviously distinct from the “bare” trait syntax.

dyn is short for “dynamic” and refers to the fact that trait objects perform dynamic dispatch. This means that the decision of exactly which function is called will occur at program run time. Contrast this to static dispatch which uses the impl Trait syntax.

The syntax without dyn is now deprecated and it’s likely that in a subsequent edition of Rust it will be removed.

More Related Contents:

  1. Are semicolons optional in Rust?
  2. Is there syntax for moving fields between similar structs?
  3. What’s the difference between placing “mut” before a variable name and after the “:”?
  4. YAML: Do I need quotes for strings in YAML?
  5. Comments in Markdown
  6. What are the precise rules for when you can omit parenthesis, dots, braces, = (functions), etc.?
  7. What does an underscore and interface name after keyword var mean?
  8. What is the purpose of async/await in Rust?
  9. How to concatenate strings in twig
  10. What is the RTF syntax for a hyperlink?
  11. What does the “@” symbol do in PowerShell?
  12. What’s the difference between eq, eql, equal and equalp, in Common Lisp?
  13. What is this “err.(*exec.ExitError)” thing in Go code? [duplicate]
  14. how to reference a YAML “setting” from elsewhere in the same YAML file?
  15. Knockout.js containerless “foreach” not working with
  16. What types are valid for the `self` parameter of a method?
  17. Kotlin asterisk operator before variable name or Spread Operator in Kotlin
  18. How to select all leaf nodes using XPath expression?
  19. F# forward type declarations
  20. How can I split a shell command over multiple lines when using an IF statement?
  21. Tuple parameter declaration and assignment oddity
  22. What are some example use cases for symbol literals in Scala?
  23. What does flow {| brace pipe |} syntax do?
  24. Can I get “&&” or “-and” to work in PowerShell?
  25. Meaning of ‘&variable’ in arguments/patterns
  26. LaTeX package for syntax highlighting of code in various languages
  27. Unary minus and floating point number in OCaml
  28. List of Scala’s “magic” functions
  29. What does Rust’s unary || (parallel pipe) mean?
  30. Overloaded inline operators in F#: ( |+| )

Leave a Comment