Why was the dyn syntax introduced?

syntax rust keyword
Timon Post picture Timon Post · Jun 22, 2018 · Viewed 8.1k times · Source

In Rust 1.27.0 a new syntax is introduced - the dyn keyword was added.

  // old => new
  Box<Foo> => Box<dyn Foo>
  &Foo => &dyn Foo
  &mut Foo => &mut dyn Foo

What does it actually do and why was it added?

Answer

ljedrz picture ljedrz · Jun 22, 2018

This helps differentiate between traits/trait objects and structs; &Foo, Box<Foo> and impl Bar for Foo were ambiguous, because in all of them Foo could have been a trait or a struct.

With the addition of dyn this is no longer ambiguous, as traits are distinguished by the dyn keyword:

// trait objects (new dyn syntax)
&Foo     => &dyn Foo
&mut Foo => &mut dyn Foo
Box<Foo> => Box<dyn Foo>

// structs (no change)
&Bar
&mut Bar
Box<Bar>

Related questions

What is the r#""# operator in Rust?

I saw the operator r#"" in Rust but I can't find what it does. It came in handy for creating JSON: let var1 = "test1"; let json = r#"{"type": "type1", "type2": var1}"#; println!("{}", json) // => {"type2": "type1", "type2": var1} What's the …

Read More
What's the difference between placing "mut" before a variable name and after the ":"?

Here are two function signatures I saw in the Rust documentation: fn modify_foo(mut foo: Box<i32>) { *foo += 1; *foo } fn modify_foo(foo: &mut i32) { *foo += 1; *foo } Why the different placement of mut? It seems that …

Read More
How to concatenate string variables in Bash

In PHP, strings are concatenated together as follows: $foo = "Hello"; $foo .= " World"; Here, $foo becomes "Hello World". How is this accomplished in Bash?

Read More