src/test/run-pass/static-recursive.rs

   1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 #![feature(static_recursion)]
  12
  13 static mut S: *const u8 = unsafe { &S as *const *const u8 as *const u8 };
  14
  15 struct StaticDoubleLinked {
  16     prev: &'static StaticDoubleLinked,
  17     next: &'static StaticDoubleLinked,
  18     data: i32,
  19     head: bool
  20 }
  21
  22 static L1: StaticDoubleLinked = StaticDoubleLinked{prev: &L3, next: &L2, data: 1, head: true};
  23 static L2: StaticDoubleLinked = StaticDoubleLinked{prev: &L1, next: &L3, data: 2, head: false};
  24 static L3: StaticDoubleLinked = StaticDoubleLinked{prev: &L2, next: &L1, data: 3, head: false};
  25
  26
  27 pub fn main() {
  28     unsafe { assert_eq!(S, *(S as *const *const u8)); }
  29
  30     let mut test_vec = Vec::new();
  31     let mut cur = &L1;
  32     loop {
  33         test_vec.push(cur.data);
  34         cur = cur.next;
  35         if cur.head { break }
  36     }
  37     assert_eq!(&test_vec, &[1,2,3]);
  38
  39     let mut test_vec = Vec::new();
  40     let mut cur = &L1;
  41     loop {
  42         cur = cur.prev;
  43         test_vec.push(cur.data);
  44         if cur.head { break }
  45     }
  46     assert_eq!(&test_vec, &[3,2,1]);
  47 }