Skip to content

Latest commit

 

History

History
40 lines (31 loc) · 1.1 KB

traits.md

File metadata and controls

40 lines (31 loc) · 1.1 KB

Traits

A trait defines an interface for a type. Traits can't have fields, but they can define behavior. That behavior is then inherited by all classes that are subtypes of the trait. A class can implement multiple traits by listing them in the base type list. Traits can be subtypes of other types. Trait members that do not provide implementations are not marked "abstract".

public trait Example <: SomeClass
{
}

trait_declaration
    : access_modifier "const"? "move"? "trait" identifier generic_parameters? base_types trait_body
    ;

trait_body
    : "{" trait_member* "}"
    ;

trait_member
    : named_function
    | get_function
    | set_function
    | operator_overload
    ;

Const Traits

A trait may be marked const. This indicates any subtype of it must be const. This allows the compiler to assume all references to such a trait are const. See constant classes and structs for more information.

Move Traits

As with classes and structs, a trait may be declared as a move type. This requires that all subtypes of the trait be a move class, struct, or trait.