CS 410P/510 RUST — Rust Programming (Spring 2018)

The unsafe Keyword

• Turns off some of the compiler checks when applied to a block or function

  • Can call unsafe functions

  • Can dereference raw pointers

  • Can mutate global variables

  • Can use extern Foreign-Function Interface (FFI)

Consequence Of unsafe Abuse

• Undefined Behavior (UB) when a program

  • Reads uninitialized memory

  • Creates invalid primitive values

  1. Invalid (including null) references or Boxes
  2. bool values that are not either 0 or 1
  3. enum values with bogus discriminants
  4. char values that are not Unicode code points
  5. str values that are not UTF-8

  • Violates the lifetime or sharing rules with references

  • Dereferences a bogus pointer

  • Has a data race

  • Unwinds across FFI calls (obscure)

  • Violates standard library function contracts

• UB may do nothing, may cause trouble, or may only cause trouble when the optimizer gets clever

"Contracts"

• Code should be written so that when properly used UB cannot occur

• To inform the user of the code, a natural-language "contract" should be written specifying when an unsafe function can be safely called

• The contract should appear as a rustdoc comment before the function

• unsafe blocks inside a function must be used in such a way that no valid call to the function can cause UB

• e.g. to_utf8_unchecked()

Raw Pointers

• Declared for some type T via *const T or *mut T

• Are essentially just C pointers

• Safe to do anything other than dereference them

• Whole bunch of functions in std::ptr and std::mem for dealing with them

• A raw pointer owns nothing. Watch out for ownership problems

• Can cast back to a ref with as, but be careful: default lifetime is 'static, while the referenced data probably isn't at all

Examples

• RefWithFlag from the book

  https://github.com/ProgrammingRust/examples/blob/master/ref-with-flag/src/lib.rs

• SIVec

  http://github.com/BartMassey/sivec

FFI

• Can declare external stuff with extern

• Watch out for "name mangling"

• A bunch of stuff in std::os for dealing with C types and values

  • Numeric types and sizes

  • Strings

• Mostly outside the scope of this course.

Example

http://gitlab.com/BartMassey/mixy