Contents

• Introduction
• Basics
• Functions
  • Parameters
  • Return value
  • Functions overloading
  • Prototypes and implementations
  • return value type deduction
  • Conditional function presence
• Variables
  • References
  • Mutability
  • Initialization
  • auto variables
  • Global variables
  • Global mutable variables
• Function body elements
  • Variables declaration
  • Auto variable declaration
  • Simple expression
  • Assignment
  • Operation combined with assignment
  • Increment and Decrement
  • Control flow elements
  • static_assert
  • halt
  • Block
  • with operator
• Control flow
  • Conditions
  • Static conditions
  • Conditions combining
  • switch operator
  • while loop
  • for loop
  • simple loop
  • return from function
• Types
  • Fundamental types
  • Arrays
  • Tuples
  • Structs and classes
  • Enums
  • Function pointers
  • Raw pointers
• Fundamental types and operations for them
  • void type
  • boolean type
  • Numeric types
  • bitwise operations for integer types
  • Shifts
  • size_type
  • char types
  • raw data representation types
  • Comparison
  • select
  • operators priority
• Enums
• Function pointers
  • Function pointer conversions
  • Function pointers comparison
• Raw pointers
  • Pointer arithmetic
• Numeric literals
  • Numeric literal type
• String literals
  • String literal type
  • Terminating zero
  • String literals for single character
• Namespaces
  • Name lookup
  • Additional namespace kinds
• Structs
  • Struct functions
  • Methods
  • Other struct contents
• Constructors
  • Constructors effects
  • Constructors generation
  • Conversion constructor
• Destructors
  • Destructors generation
• Classes
  • Visibility labels
• Initialization
  • Expression initialization
  • Sequence initialization
  • constructor initialization
  • Member-by-member initializer
  • Empty initialization
  • Zero initialization
  • Uninitialized initialization
  • Constructor initialization list
  • Fields own initializers
• Methods generation
• Halt
  • halt if
• Constant expressions
  • constexpr types
  • constexpr functions
  • constexpr variables
• static_assert
• Moving
  • move operator
  • take operator
  • moving in return
• Operators overloading
  • Postfix operators
• Inheritance
  • Inheritance rules
  • Abstract and interface classes limitations
  • Reference conversion
  • What is inherited
  • Virtual methods
• Type aliases
• Type templates
  • Struct and class templates
  • Type templates specialization and overloading
  • Template value arguments
  • Template arguments - type templates
  • Type alias templates
• Function templates
  • Function templates specialization and overloading
  • constexpr for template functions
• Reference checking
  • Reference checking rules
  • Derived references
  • Child references
  • Managing derived references in functions
  • Reference pollution
  • Reference notation for fields
  • Reference checking rule violation detection
  • Lifetime violation detection
• Reference casting
  • Mutability conversion
  • Conversion into a reference to parent type
  • Explicit reference conversions
• Type information
  • Type information contents
  • Type information for fundamental types
  • Type information for enums
  • Type information for arrays
  • Type information for tuples
  • Type information for structs/classes
  • Type information for function pointers
  • Type information for raw pointers
• Type comparison
• Unsafe code
  • Unsafe functions
• non_sync Tag
  • non_sync tag usage
  • Safe multithreaded mutability
• Macros
  • Macros definition
  • Macro usage contexts
  • Match block elements
  • Macros expansion
  • Unique macro identifiers
• Modules
  • Build model
  • Import
  • How imports works
  • One definition rule
• Coroutines
  • if_coro_advance
  • Internal representation
  • Coroutine object destruction
• Generators
  • Generator call
  • Generator type
• Async functions
  • Async functions usage
  • await operator
  • Async function type
• Lambdas
  • Variables capture
  • References capture
  • Capture list
    • Explicit initializers in capture list
  • Lambda object mutability
  • byval lambdas
  • Lambdas functionality details
• Mixins
  • mixin usage contexts
  • mixins limitations
• Embed
• C interaction
  • functions without name mangling
  • Calling conventions
  • Structs with ordered fields
  • C interaction limitations and warnings
• alloca
• Unsafe code requirements
  • Uninitialized data
  • Reference checking
  • Non-null references
  • Unsafe reference type casting
  • Immutability
  • Mutation of indirectly-accessible variables in destructors
  • Thread-unsafe mutability
  • Internal representation