Breaking News: Grepper is joining You.com. Read the official announcement!

armanriazi•rust•trait•object•safe

ArmanRiazi answered on June 7, 2022 Popularity 1/10 Helpfulness 1/10

answer armanriazi•rust•trait•object•safe

armanriazi•rust•trait•object•safe

Comment

Object safe traits can be the base trait of a trait object. A trait is object safe if it has the following qualities (defined in RFC 255):

All supertraits must also be object safe.
Sized must not be a supertrait. In other words, it must not require Self: Sized.
It must not have any associated constants.
All associated functions must either be dispatchable from a trait object or be explicitly non-dispatchable(means cannot call method or func):
*Dispatchable functions require:
Not have any type parameters (although lifetime parameters are allowed),
Be a method that does not use Self except in the type of the receiver.
Have a receiver with one of the following types:
  &Self (i.e. &self)
  &mut Self (i.e &mut self)
  Box<Self>
  Rc<Self>
  Arc<Self>
  Pin<P> where P is one of the types above
Does not have a where Self: Sized bound (receiver type of Self (i.e. self) implies this).
*Explicitly non-dispatchable functions require:
Have a where Self: Sized bound (receiver type of Self (i.e. self) implies this).
{
include the requirement that object-safe traits do not require Self:Sized and (2) specify that methods may include where Self:Sized to overcome object safety restrictions.
}

Popularity 1/10 Helpfulness 1/10 Language rust

Source: github.com

Tags: rust

Link to this answer
Share Copy Link

Contributed on Jun 07 2022

ArmanRiazi

0 Answers Avg Quality 2/10

armanriazi•rust•trait•object•safe

Contents

More Related Answers

armanriazi•rust•trait•object•safe

Grepper

Documentation

Social

Legal

Contact

Oops, You will need to install Grepper and log-in to perform this action.