vec.rs 57.7 KB
Newer Older
B
Brian Anderson 已提交
1 2
#[doc = "Vectors"];

3 4
import option::{some, none};
import ptr::addr_of;
5
import libc::size_t;
6

7 8 9 10 11
export init_op;
export is_empty;
export is_not_empty;
export same_length;
export reserve;
12
export reserve_at_least;
B
Brian Anderson 已提交
13
export capacity;
14
export len;
15 16
export from_fn;
export from_elem;
17 18 19 20
export to_mut;
export from_mut;
export head;
export tail;
21
export tailn;
22 23 24 25
export init;
export last;
export last_opt;
export slice;
26
export view;
27 28 29 30 31 32 33 34 35 36 37
export split;
export splitn;
export rsplit;
export rsplitn;
export shift;
export pop;
export push;
export grow;
export grow_fn;
export grow_set;
export map;
38
export mapi;
39
export map2;
40
export flat_map;
41 42 43 44 45 46 47 48 49
export filter_map;
export filter;
export concat;
export connect;
export foldl;
export foldr;
export any;
export any2;
export all;
E
Eric Holk 已提交
50
export alli;
51 52 53 54
export all2;
export contains;
export count;
export find;
55
export find_between;
56
export rfind;
57
export rfind_between;
58
export position_elem;
59
export position;
60
export position_between;
61
export position_elem;
62
export rposition;
63
export rposition_between;
64 65 66 67 68
export unzip;
export zip;
export swap;
export reverse;
export reversed;
69
export iter, iter_between, each, eachi;
70 71 72 73 74 75 76 77
export iter2;
export iteri;
export riter;
export riteri;
export permute;
export windowed;
export as_buf;
export as_mut_buf;
78
export unpack_slice;
79
export unpack_const_slice;
80 81
export unsafe;
export u8;
82
export extensions;
83

84 85
#[abi = "cdecl"]
native mod rustrt {
86 87 88 89 90 91
    fn vec_reserve_shared(++t: *sys::type_desc,
                          ++v: **unsafe::vec_repr,
                          ++n: libc::size_t);
    fn vec_from_buf_shared(++t: *sys::type_desc,
                           ++ptr: *(),
                           ++count: libc::size_t) -> *unsafe::vec_repr;
92 93
}

B
Brian Anderson 已提交
94
#[doc = "A function used to initialize the elements of a vector"]
N
Niko Matsakis 已提交
95
type init_op<T> = fn(uint) -> T;
96

B
Brian Anderson 已提交
97
#[doc = "Returns true if a vector contains no elements"]
98 99
pure fn is_empty<T>(v: [const T]/&) -> bool {
    unpack_const_slice(v) {|_p, len| len == 0u}
100 101
}

B
Brian Anderson 已提交
102
#[doc = "Returns true if a vector contains some elements"]
103 104 105
pure fn is_not_empty<T>(v: [const T]/&) -> bool {
    unpack_const_slice(v) {|_p, len| len > 0u}
}
106

B
Brian Anderson 已提交
107
#[doc = "Returns true if two vectors have the same length"]
108 109
pure fn same_length<T, U>(xs: [const T]/&, ys: [const U]/&) -> bool {
    len(xs) == len(ys)
110 111
}

B
Brian Anderson 已提交
112
#[doc = "
113
Reserves capacity for exactly `n` elements in the given vector.
114 115 116 117

If the capacity for `v` is already equal to or greater than the requested
capacity, then no action is taken.

B
Brian Anderson 已提交
118
# Arguments
119

B
Brian Anderson 已提交
120 121 122
* v - A vector
* n - The number of elements to reserve space for
"]
123
fn reserve<T>(&v: [const T], n: uint) {
124 125
    // Only make the (slow) call into the runtime if we have to
    if capacity(v) < n {
126
        let ptr = ptr::addr_of(v) as **unsafe::vec_repr;
127 128
        rustrt::vec_reserve_shared(sys::get_type_desc::<T>(),
                                   ptr, n as size_t);
129
    }
130 131
}

132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150
#[doc = "
Reserves capacity for at least `n` elements in the given vector.

This function will over-allocate in order to amortize the allocation costs
in scenarios where the caller may need to repeatedly reserve additional
space.

If the capacity for `v` is already equal to or greater than the requested
capacity, then no action is taken.

# Arguments

* v - A vector
* n - The number of elements to reserve space for
"]
fn reserve_at_least<T>(&v: [const T], n: uint) {
    reserve(v, uint::next_power_of_two(n));
}

B
Brian Anderson 已提交
151 152 153
#[doc = "
Returns the number of elements the vector can hold without reallocating
"]
154
#[inline(always)]
155
pure fn capacity<T>(&&v: [const T]) -> uint unsafe {
B
Brian Anderson 已提交
156 157 158 159
    let repr: **unsafe::vec_repr = ::unsafe::reinterpret_cast(addr_of(v));
    (**repr).alloc / sys::size_of::<T>()
}

B
Brian Anderson 已提交
160
#[doc = "Returns the length of a vector"]
161
#[inline(always)]
162
pure fn len<T>(&&v: [const T]/&) -> uint unsafe {
163
    unpack_const_slice(v) {|_p, len| len}
164
}
165

B
Brian Anderson 已提交
166
#[doc = "
167 168 169 170
Creates and initializes an immutable vector.

Creates an immutable vector of size `n_elts` and initializes the elements
to the value returned by the function `op`.
B
Brian Anderson 已提交
171
"]
172
pure fn from_fn<T>(n_elts: uint, op: init_op<T>) -> [T] {
173
    let mut v = [];
174
    unchecked{reserve(v, n_elts);}
175
    let mut i: uint = 0u;
176 177 178 179
    while i < n_elts { v += [op(i)]; i += 1u; }
    ret v;
}

B
Brian Anderson 已提交
180
#[doc = "
181 182 183 184
Creates and initializes an immutable vector.

Creates an immutable vector of size `n_elts` and initializes the elements
to the value `t`.
B
Brian Anderson 已提交
185
"]
186
pure fn from_elem<T: copy>(n_elts: uint, t: T) -> [T] {
187
    let mut v = [];
188
    unchecked{reserve(v, n_elts)}
189
    let mut i: uint = 0u;
190 191 192 193
    while i < n_elts { v += [t]; i += 1u; }
    ret v;
}

G
Graydon Hoare 已提交
194 195
#[doc = "Produces a mut vector from an immutable vector."]
fn to_mut<T>(+v: [T]) -> [mut T] unsafe {
M
Marijn Haverbeke 已提交
196
    let r = ::unsafe::reinterpret_cast(v);
197
    ::unsafe::forget(v);
M
Marijn Haverbeke 已提交
198
    r
199 200
}

G
Graydon Hoare 已提交
201 202
#[doc = "Produces an immutable vector from a mut vector."]
fn from_mut<T>(+v: [mut T]) -> [T] unsafe {
M
Marijn Haverbeke 已提交
203
    let r = ::unsafe::reinterpret_cast(v);
204
    ::unsafe::forget(v);
M
Marijn Haverbeke 已提交
205
    r
206 207 208 209
}

// Accessors

B
Brian Anderson 已提交
210
#[doc = "Returns the first element of a vector"]
211
pure fn head<T: copy>(v: [const T]/&) -> T { v[0] }
212

213 214
#[doc = "Returns a vector containing all but the first element of a slice"]
fn tail<T: copy>(v: [const T]/&) -> [T] {
215 216 217
    ret slice(v, 1u, len(v));
}

218 219 220
#[doc = "Returns a vector containing all but the first `n` \
         elements of a slice"]
fn tailn<T: copy>(v: [const T]/&, n: uint) -> [T] {
221 222 223
    slice(v, n, len(v))
}

224 225
#[doc = "Returns a vector containing all but the last element of a slice"]
fn init<T: copy>(v: [const T]/&) -> [T] {
226 227 228 229
    assert len(v) != 0u;
    slice(v, 0u, len(v) - 1u)
}

B
Brian Anderson 已提交
230
#[doc = "
231
Returns the last element of the slice `v`, failing if the slice is empty.
B
Brian Anderson 已提交
232
"]
233
pure fn last<T: copy>(v: [const T]/&) -> T {
234 235
    if len(v) == 0u { fail "last_unsafe: empty vector" }
    v[len(v) - 1u]
236 237
}

B
Brian Anderson 已提交
238
#[doc = "
239 240
Returns `some(x)` where `x` is the last element of the slice `v`,
or `none` if the vector is empty.
B
Brian Anderson 已提交
241
"]
242 243
pure fn last_opt<T: copy>(v: [const T]/&) -> option<T> {
    if len(v) == 0u { ret none; }
244
    some(v[len(v) - 1u])
T
Tim Chevalier 已提交
245
}
246

B
Brian Anderson 已提交
247
#[doc = "Returns a copy of the elements from [`start`..`end`) from `v`."]
248
pure fn slice<T: copy>(v: [const T]/&, start: uint, end: uint) -> [T] {
249 250
    assert (start <= end);
    assert (end <= len(v));
251
    let mut result = [];
252
    unchecked{reserve(result, end - start)}
253
    let mut i = start;
254 255 256 257
    while i < end { result += [v[i]]; i += 1u; }
    ret result;
}

258
#[doc = "Return a slice that points into another slice."]
259
pure fn view<T: copy>(v: [T]/&, start: uint, end: uint) -> [T]/&a {
260 261 262 263 264 265 266 267 268 269
    assert (start <= end);
    assert (end <= len(v));
    unpack_slice(v) {|p, _len|
        unsafe {
            ::unsafe::reinterpret_cast(
                (ptr::offset(p, start), (end - start) * sys::size_of::<T>()))
        }
    }
}

B
Brian Anderson 已提交
270
#[doc = "
271
Split the vector `v` by applying each element against the predicate `f`.
B
Brian Anderson 已提交
272
"]
273
fn split<T: copy>(v: [T], f: fn(T) -> bool) -> [[T]] {
274 275 276
    let ln = len(v);
    if (ln == 0u) { ret [] }

277 278
    let mut start = 0u;
    let mut result = [];
279
    while start < ln {
280
        alt position_between(v, start, ln, f) {
281 282 283 284 285 286 287 288 289 290 291
          none { break }
          some(i) {
            push(result, slice(v, start, i));
            start = i + 1u;
          }
        }
    }
    push(result, slice(v, start, ln));
    result
}

B
Brian Anderson 已提交
292
#[doc = "
293 294
Split the vector `v` by applying each element against the predicate `f` up
to `n` times.
B
Brian Anderson 已提交
295
"]
296
fn splitn<T: copy>(v: [T], n: uint, f: fn(T) -> bool) -> [[T]] {
297 298 299
    let ln = len(v);
    if (ln == 0u) { ret [] }

300 301 302
    let mut start = 0u;
    let mut count = n;
    let mut result = [];
303
    while start < ln && count > 0u {
304
        alt position_between(v, start, ln, f) {
305 306 307 308 309 310 311 312 313 314 315 316 317
          none { break }
          some(i) {
            push(result, slice(v, start, i));
            // Make sure to skip the separator.
            start = i + 1u;
            count -= 1u;
          }
        }
    }
    push(result, slice(v, start, ln));
    result
}

B
Brian Anderson 已提交
318
#[doc = "
319 320
Reverse split the vector `v` by applying each element against the predicate
`f`.
B
Brian Anderson 已提交
321
"]
322
fn rsplit<T: copy>(v: [T], f: fn(T) -> bool) -> [[T]] {
323 324 325
    let ln = len(v);
    if (ln == 0u) { ret [] }

326 327
    let mut end = ln;
    let mut result = [];
328
    while end > 0u {
329
        alt rposition_between(v, 0u, end, f) {
330 331 332 333 334 335 336 337 338 339 340
          none { break }
          some(i) {
            push(result, slice(v, i + 1u, end));
            end = i;
          }
        }
    }
    push(result, slice(v, 0u, end));
    reversed(result)
}

B
Brian Anderson 已提交
341
#[doc = "
342 343
Reverse split the vector `v` by applying each element against the predicate
`f` up to `n times.
B
Brian Anderson 已提交
344
"]
345
fn rsplitn<T: copy>(v: [T], n: uint, f: fn(T) -> bool) -> [[T]] {
346 347 348
    let ln = len(v);
    if (ln == 0u) { ret [] }

349 350 351
    let mut end = ln;
    let mut count = n;
    let mut result = [];
352
    while end > 0u && count > 0u {
353
        alt rposition_between(v, 0u, end, f) {
354 355 356 357 358 359 360 361 362 363 364 365
          none { break }
          some(i) {
            push(result, slice(v, i + 1u, end));
            // Make sure to skip the separator.
            end = i;
            count -= 1u;
          }
        }
    }
    push(result, slice(v, 0u, end));
    reversed(result)
}
366 367 368

// Mutators

B
Brian Anderson 已提交
369
#[doc = "Removes the first element from a vector and return it"]
370
fn shift<T: copy>(&v: [T]) -> T {
371 372 373 374 375 376 377
    let ln = len::<T>(v);
    assert (ln > 0u);
    let e = v[0];
    v = slice::<T>(v, 1u, ln);
    ret e;
}

B
Brian Anderson 已提交
378 379
#[doc = "Prepend an element to a vector"]
fn unshift<T: copy>(&v: [const T], +t: T) {
380 381 382
    // n.b.---for most callers, using unshift() ought not to type check, but
    // it does. It's because the type system is unaware of the mutability of
    // `v` and so allows the vector to be covariant.
B
Brian Anderson 已提交
383 384 385
    v = [const t] + v;
}

B
Brian Anderson 已提交
386
#[doc = "Remove the last element from a vector and return it"]
M
Marijn Haverbeke 已提交
387
fn pop<T>(&v: [const T]) -> T unsafe {
388
    let ln = len(v);
M
Marijn Haverbeke 已提交
389 390
    assert ln > 0u;
    let valptr = ptr::mut_addr_of(v[ln - 1u]);
391
    let val <- *valptr;
M
Marijn Haverbeke 已提交
392
    unsafe::set_len(v, ln - 1u);
393
    val
394 395
}

B
Brian Anderson 已提交
396
#[doc = "Append an element to a vector"]
397
fn push<T>(&v: [const T], +initval: T) {
B
Brian Anderson 已提交
398
    v += [initval];
E
Erick Tryzelaar 已提交
399 400
}

401 402 403

// Appending

B
Brian Anderson 已提交
404
#[doc = "
405 406
Expands a vector in place, initializing the new elements to a given value

B
Brian Anderson 已提交
407
# Arguments
408

B
Brian Anderson 已提交
409 410 411 412
* v - The vector to grow
* n - The number of elements to add
* initval - The value for the new elements
"]
413
fn grow<T: copy>(&v: [const T], n: uint, initval: T) {
414
    reserve_at_least(v, len(v) + n);
415
    let mut i: uint = 0u;
416 417 418
    while i < n { v += [initval]; i += 1u; }
}

B
Brian Anderson 已提交
419 420 421
#[doc = "
Expands a vector in place, initializing the new elements to the result of
a function
422

423
Function `init_op` is called `n` times with the values [0..`n`)
424

B
Brian Anderson 已提交
425
# Arguments
426

B
Brian Anderson 已提交
427 428 429 430 431
* v - The vector to grow
* n - The number of elements to add
* init_op - A function to call to retreive each appended element's
            value
"]
432
fn grow_fn<T>(&v: [const T], n: uint, op: init_op<T>) {
433
    reserve_at_least(v, len(v) + n);
434
    let mut i: uint = 0u;
435 436 437
    while i < n { v += [op(i)]; i += 1u; }
}

B
Brian Anderson 已提交
438
#[doc = "
439 440 441 442 443 444
Sets the value of a vector element at a given index, growing the vector as
needed

Sets the element at position `index` to `val`. If `index` is past the end
of the vector, expands the vector by replicating `initval` to fill the
intervening space.
B
Brian Anderson 已提交
445
"]
G
Graydon Hoare 已提交
446
fn grow_set<T: copy>(&v: [mut T], index: uint, initval: T, val: T) {
447
    if index >= len(v) { grow(v, index - len(v) + 1u, initval); }
448 449 450 451 452 453
    v[index] = val;
}


// Functional utilities

B
Brian Anderson 已提交
454
#[doc = "
455
Apply a function to each element of a vector and return the results
B
Brian Anderson 已提交
456
"]
457
pure fn map<T, U>(v: [T]/&, f: fn(T) -> U) -> [U] {
458
    let mut result = [];
459
    unchecked{reserve(result, len(v));}
460
    for each(v) {|elem| result += [f(elem)]; }
461 462 463
    ret result;
}

464 465 466
#[doc = "
Apply a function to each element of a vector and return the results
"]
467
pure fn mapi<T, U>(v: [T]/&, f: fn(uint, T) -> U) -> [U] {
468
    let mut result = [];
469
    unchecked{reserve(result, len(v));}
470 471 472 473
    for eachi(v) {|i, elem| result += [f(i, elem)]; }
    ret result;
}

B
Brian Anderson 已提交
474
#[doc = "
475
Apply a function to each element of a vector and return a concatenation
B
Brian Anderson 已提交
476 477
of each result vector
"]
478
pure fn flat_map<T, U>(v: [T]/&, f: fn(T) -> [U]) -> [U] {
479
    let mut result = [];
480
    for each(v) {|elem| result += f(elem); }
481 482 483
    ret result;
}

B
Brian Anderson 已提交
484
#[doc = "
485
Apply a function to each pair of elements and return the results
B
Brian Anderson 已提交
486
"]
487
pure fn map2<T: copy, U: copy, V>(v0: [T]/&, v1: [U]/&,
488
                                  f: fn(T, U) -> V) -> [V] {
489 490
    let v0_len = len(v0);
    if v0_len != len(v1) { fail; }
491 492
    let mut u: [V] = [];
    let mut i = 0u;
493 494 495 496
    while i < v0_len { u += [f(copy v0[i], copy v1[i])]; i += 1u; }
    ret u;
}

B
Brian Anderson 已提交
497
#[doc = "
498 499 500 501
Apply a function to each element of a vector and return the results

If function `f` returns `none` then that element is excluded from
the resulting vector.
B
Brian Anderson 已提交
502
"]
503
pure fn filter_map<T, U: copy>(v: [T]/&, f: fn(T) -> option<U>)
504
    -> [U] {
505
    let mut result = [];
506
    for each(v) {|elem|
507
        alt f(elem) {
508
          none {/* no-op */ }
509 510 511 512 513 514
          some(result_elem) { result += [result_elem]; }
        }
    }
    ret result;
}

B
Brian Anderson 已提交
515
#[doc = "
516 517 518 519 520
Construct a new vector from the elements of a vector for which some predicate
holds.

Apply function `f` to each element of `v` and return a vector containing
only those elements for which `f` returned true.
B
Brian Anderson 已提交
521
"]
522
pure fn filter<T: copy>(v: [T]/&, f: fn(T) -> bool) -> [T] {
523
    let mut result = [];
524
    for each(v) {|elem|
525 526 527 528 529
        if f(elem) { result += [elem]; }
    }
    ret result;
}

B
Brian Anderson 已提交
530 531
#[doc = "
Concatenate a vector of vectors.
532

B
Brian Anderson 已提交
533 534
Flattens a vector of vectors of T into a single vector of T.
"]
535
pure fn concat<T: copy>(v: [[T]]/&) -> [T] {
536
    let mut r = [];
537
    for each(v) {|inner| r += inner; }
538
    ret r;
539 540
}

B
Brian Anderson 已提交
541
#[doc = "
542
Concatenate a vector of vectors, placing a given separator between each
B
Brian Anderson 已提交
543
"]
544
pure fn connect<T: copy>(v: [[T]]/&, sep: T) -> [T] {
545
    let mut r: [T] = [];
546
    let mut first = true;
547
    for each(v) {|inner|
548
        if first { first = false; } else { r += [sep]; }
549
        r += inner;
550
    }
551
    ret r;
552 553
}

B
Brian Anderson 已提交
554
#[doc = "Reduce a vector from left to right"]
555
pure fn foldl<T: copy, U>(z: T, v: [U]/&, p: fn(T, U) -> T) -> T {
556
    let mut accum = z;
557 558 559 560 561 562
    iter(v) { |elt|
        accum = p(accum, elt);
    }
    ret accum;
}

B
Brian Anderson 已提交
563
#[doc = "Reduce a vector from right to left"]
564
pure fn foldr<T, U: copy>(v: [T]/&, z: U, p: fn(T, U) -> U) -> U {
565
    let mut accum = z;
566 567 568 569 570 571
    riter(v) { |elt|
        accum = p(elt, accum);
    }
    ret accum;
}

B
Brian Anderson 已提交
572
#[doc = "
573 574 575
Return true if a predicate matches any elements

If the vector contains no elements then false is returned.
B
Brian Anderson 已提交
576
"]
577
pure fn any<T>(v: [T]/&, f: fn(T) -> bool) -> bool {
578
    for each(v) {|elem| if f(elem) { ret true; } }
579 580 581
    ret false;
}

B
Brian Anderson 已提交
582
#[doc = "
583 584 585
Return true if a predicate matches any elements in both vectors.

If the vectors contains no elements then false is returned.
B
Brian Anderson 已提交
586
"]
587
pure fn any2<T, U>(v0: [T]/&, v1: [U]/&,
588
                   f: fn(T, U) -> bool) -> bool {
589 590
    let v0_len = len(v0);
    let v1_len = len(v1);
591
    let mut i = 0u;
592 593 594 595 596 597 598
    while i < v0_len && i < v1_len {
        if f(v0[i], v1[i]) { ret true; };
        i += 1u;
    }
    ret false;
}

B
Brian Anderson 已提交
599
#[doc = "
600 601 602
Return true if a predicate matches all elements

If the vector contains no elements then true is returned.
B
Brian Anderson 已提交
603
"]
604
pure fn all<T>(v: [T]/&, f: fn(T) -> bool) -> bool {
605
    for each(v) {|elem| if !f(elem) { ret false; } }
606 607 608
    ret true;
}

609 610 611 612 613
#[doc = "
Return true if a predicate matches all elements

If the vector contains no elements then true is returned.
"]
614
pure fn alli<T>(v: [T]/&, f: fn(uint, T) -> bool) -> bool {
615 616 617 618
    for eachi(v) {|i, elem| if !f(i, elem) { ret false; } }
    ret true;
}

B
Brian Anderson 已提交
619
#[doc = "
620 621 622
Return true if a predicate matches all elements in both vectors.

If the vectors are not the same size then false is returned.
B
Brian Anderson 已提交
623
"]
624
pure fn all2<T, U>(v0: [T]/&, v1: [U]/&,
625
                   f: fn(T, U) -> bool) -> bool {
626 627
    let v0_len = len(v0);
    if v0_len != len(v1) { ret false; }
628
    let mut i = 0u;
629 630 631 632
    while i < v0_len { if !f(v0[i], v1[i]) { ret false; }; i += 1u; }
    ret true;
}

B
Brian Anderson 已提交
633
#[doc = "Return true if a vector contains an element with the given value"]
634
pure fn contains<T>(v: [T]/&, x: T) -> bool {
635
    for each(v) {|elt| if x == elt { ret true; } }
636 637 638
    ret false;
}

B
Brian Anderson 已提交
639
#[doc = "Returns the number of elements that are equal to a given value"]
640
pure fn count<T>(v: [T]/&, x: T) -> uint {
641
    let mut cnt = 0u;
642
    for each(v) {|elt| if x == elt { cnt += 1u; } }
643 644 645
    ret cnt;
}

B
Brian Anderson 已提交
646
#[doc = "
647
Search for the first element that matches a given predicate
648 649 650 651

Apply function `f` to each element of `v`, starting from the first.
When function `f` returns true then an option containing the element
is returned. If `f` matches no elements then none is returned.
B
Brian Anderson 已提交
652
"]
653
pure fn find<T: copy>(v: [T]/&, f: fn(T) -> bool) -> option<T> {
654
    find_between(v, 0u, len(v), f)
655 656
}

B
Brian Anderson 已提交
657
#[doc = "
658 659 660 661 662
Search for the first element that matches a given predicate within a range

Apply function `f` to each element of `v` within the range [`start`, `end`).
When function `f` returns true then an option containing the element
is returned. If `f` matches no elements then none is returned.
B
Brian Anderson 已提交
663
"]
664
pure fn find_between<T: copy>(v: [T]/&, start: uint, end: uint,
665
                      f: fn(T) -> bool) -> option<T> {
666
    option::map(position_between(v, start, end, f)) { |i| v[i] }
667 668
}

B
Brian Anderson 已提交
669
#[doc = "
670 671 672 673 674
Search for the last element that matches a given predicate

Apply function `f` to each element of `v` in reverse order. When function `f`
returns true then an option containing the element is returned. If `f`
matches no elements then none is returned.
B
Brian Anderson 已提交
675
"]
676
pure fn rfind<T: copy>(v: [T]/&, f: fn(T) -> bool) -> option<T> {
677
    rfind_between(v, 0u, len(v), f)
678 679
}

B
Brian Anderson 已提交
680
#[doc = "
681 682 683 684 685
Search for the last element that matches a given predicate within a range

Apply function `f` to each element of `v` in reverse order within the range
[`start`, `end`). When function `f` returns true then an option containing
the element is returned. If `f` matches no elements then none is returned.
B
Brian Anderson 已提交
686
"]
687
pure fn rfind_between<T: copy>(v: [T]/&, start: uint, end: uint,
688
                               f: fn(T) -> bool) -> option<T> {
689
    option::map(rposition_between(v, start, end, f)) { |i| v[i] }
690 691
}

B
Brian Anderson 已提交
692
#[doc = "Find the first index containing a matching value"]
693
pure fn position_elem<T>(v: [T]/&, x: T) -> option<uint> {
694
    position(v) { |y| x == y }
695 696
}

B
Brian Anderson 已提交
697
#[doc = "
698 699 700 701 702
Find the first index matching some predicate

Apply function `f` to each element of `v`.  When function `f` returns true
then an option containing the index is returned. If `f` matches no elements
then none is returned.
B
Brian Anderson 已提交
703
"]
704
pure fn position<T>(v: [T]/&, f: fn(T) -> bool) -> option<uint> {
705
    position_between(v, 0u, len(v), f)
706 707
}

B
Brian Anderson 已提交
708
#[doc = "
709 710 711 712 713
Find the first index matching some predicate within a range

Apply function `f` to each element of `v` between the range [`start`, `end`).
When function `f` returns true then an option containing the index is
returned. If `f` matches no elements then none is returned.
B
Brian Anderson 已提交
714
"]
715
pure fn position_between<T>(v: [T]/&, start: uint, end: uint,
716
                            f: fn(T) -> bool) -> option<uint> {
717 718
    assert start <= end;
    assert end <= len(v);
719
    let mut i = start;
720
    while i < end { if f(v[i]) { ret some::<uint>(i); } i += 1u; }
721 722 723
    ret none;
}

B
Brian Anderson 已提交
724
#[doc = "Find the last index containing a matching value"]
725
pure fn rposition_elem<T>(v: [T]/&, x: T) -> option<uint> {
726 727 728
    rposition(v) { |y| x == y }
}

B
Brian Anderson 已提交
729
#[doc = "
730
Find the last index matching some predicate
731

732 733 734
Apply function `f` to each element of `v` in reverse order.  When function
`f` returns true then an option containing the index is returned. If `f`
matches no elements then none is returned.
B
Brian Anderson 已提交
735
"]
736
pure fn rposition<T>(v: [T]/&, f: fn(T) -> bool) -> option<uint> {
737
    rposition_between(v, 0u, len(v), f)
738 739
}

B
Brian Anderson 已提交
740
#[doc = "
741 742 743 744 745
Find the last index matching some predicate within a range

Apply function `f` to each element of `v` in reverse order between the range
[`start`, `end`). When function `f` returns true then an option containing
the index is returned. If `f` matches no elements then none is returned.
B
Brian Anderson 已提交
746
"]
747
pure fn rposition_between<T>(v: [T]/&, start: uint, end: uint,
748
                             f: fn(T) -> bool) -> option<uint> {
749 750
    assert start <= end;
    assert end <= len(v);
751
    let mut i = end;
752 753 754 755
    while i > start {
        if f(v[i - 1u]) { ret some::<uint>(i - 1u); }
        i -= 1u;
    }
756 757 758 759 760 761 762
    ret none;
}

// FIXME: if issue #586 gets implemented, could have a postcondition
// saying the two result lists have the same length -- or, could
// return a nominal record with a constraint saying that, instead of
// returning a tuple (contingent on issue #869)
B
Brian Anderson 已提交
763
#[doc = "
764 765 766 767 768 769
Convert a vector of pairs into a pair of vectors

Returns a tuple containing two vectors where the i-th element of the first
vector contains the first element of the i-th tuple of the input vector,
and the i-th element of the second vector contains the second element
of the i-th tuple of the input vector.
B
Brian Anderson 已提交
770
"]
771
pure fn unzip<T: copy, U: copy>(v: [(T, U)]/&) -> ([T], [U]) {
772
    let mut as = [], bs = [];
773
    for each(v) {|p| let (a, b) = p; as += [a]; bs += [b]; }
774 775 776
    ret (as, bs);
}

B
Brian Anderson 已提交
777
#[doc = "
778 779 780 781
Convert two vectors to a vector of pairs

Returns a vector of tuples, where the i-th tuple contains contains the
i-th elements from each of the input vectors.
B
Brian Anderson 已提交
782
"]
783
pure fn zip<T: copy, U: copy>(v: [const T], u: [const U]) -> [(T, U)] {
784 785 786
    let mut zipped = [];
    let sz = len(v);
    let mut i = 0u;
787
    assert sz == len(u);
788 789 790 791
    while i < sz { zipped += [(v[i], u[i])]; i += 1u; }
    ret zipped;
}

B
Brian Anderson 已提交
792
#[doc = "
793 794
Swaps two elements in a vector

B
Brian Anderson 已提交
795 796 797 798 799 800
# Arguments

* v  The input vector
* a - The index of the first element
* b - The index of the second element
"]
801
fn swap<T>(&&v: [mut T], a: uint, b: uint) {
802 803 804
    v[a] <-> v[b];
}

B
Brian Anderson 已提交
805
#[doc = "Reverse the order of elements in a vector, in place"]
G
Graydon Hoare 已提交
806
fn reverse<T>(v: [mut T]) {
807
    let mut i: uint = 0u;
808 809 810 811 812
    let ln = len::<T>(v);
    while i < ln / 2u { v[i] <-> v[ln - i - 1u]; i += 1u; }
}


B
Brian Anderson 已提交
813
#[doc = "Returns a vector with the order of elements reversed"]
814
fn reversed<T: copy>(v: [const T]/&) -> [T] {
815 816
    let mut rs: [T] = [];
    let mut i = len::<T>(v);
817 818 819 820 821 822
    if i == 0u { ret rs; } else { i -= 1u; }
    while i != 0u { rs += [v[i]]; i -= 1u; }
    rs += [v[0]];
    ret rs;
}

B
Brian Anderson 已提交
823
#[doc = "
824
Iterates over a slice
825

826
Iterates over slice `v` and, for each element, calls function `f` with the
827
element's value.
B
Brian Anderson 已提交
828
"]
829
#[inline(always)]
830
pure fn iter<T>(v: [T]/&, f: fn(T)) {
831 832 833 834 835 836
    iter_between(v, 0u, vec::len(v), f)
}

/*
Function: iter_between

837
Iterates over a slice
838

839
Iterates over slice `v` and, for each element, calls function `f` with the
840 841 842 843
element's value.

*/
#[inline(always)]
844 845 846 847 848 849 850 851 852 853 854 855
pure fn iter_between<T>(v: [T]/&, start: uint, end: uint, f: fn(T)) {
    unpack_slice(v) { |base_ptr, len|
        assert start <= end;
        assert end <= len;
        unsafe {
            let mut n = end;
            let mut p = ptr::offset(base_ptr, start);
            while n > start {
                f(*p);
                p = ptr::offset(p, 1u);
                n -= 1u;
            }
856 857
        }
    }
858 859
}

860 861
#[doc = "
Iterates over a vector, with option to break
862 863

Return true to continue, false to break.
864 865
"]
#[inline(always)]
866
pure fn each<T>(v: [T]/&, f: fn(T) -> bool) unsafe {
867 868 869 870 871 872 873 874
    vec::unpack_slice(v) {|p, n|
        let mut n = n;
        let mut p = p;
        while n > 0u {
            if !f(*p) { break; }
            p = ptr::offset(p, 1u);
            n -= 1u;
        }
875 876 877 878 879
    }
}

#[doc = "
Iterates over a vector's elements and indices
880 881

Return true to continue, false to break.
882 883
"]
#[inline(always)]
884
pure fn eachi<T>(v: [T]/&, f: fn(uint, T) -> bool) unsafe {
885 886 887 888 889 890 891 892
    vec::unpack_slice(v) {|p, n|
        let mut i = 0u;
        let mut p = p;
        while i < n {
            if !f(i, *p) { break; }
            p = ptr::offset(p, 1u);
            i += 1u;
        }
893 894 895
    }
}

896 897 898 899 900 901 902
#[doc = "
Iterates over two vectors simultaneously

# Failure

Both vectors must have the same length
"]
903
#[inline]
904
fn iter2<U, T>(v1: [U]/&, v2: [T]/&, f: fn(U, T)) {
905
    assert len(v1) == len(v2);
906
    for uint::range(0u, len(v1)) {|i|
907 908
        f(v1[i], v2[i])
    }
909 910
}

B
Brian Anderson 已提交
911
#[doc = "
912 913 914 915
Iterates over a vector's elements and indexes

Iterates over vector `v` and, for each element, calls function `f` with the
element's value and index.
B
Brian Anderson 已提交
916
"]
917
#[inline(always)]
918
pure fn iteri<T>(v: [T]/&, f: fn(uint, T)) {
919 920
    let mut i = 0u;
    let l = len(v);
921 922 923
    while i < l { f(i, v[i]); i += 1u; }
}

B
Brian Anderson 已提交
924
#[doc = "
925 926 927 928
Iterates over a vector in reverse

Iterates over vector `v` and, for each element, calls function `f` with the
element's value.
B
Brian Anderson 已提交
929
"]
930
pure fn riter<T>(v: [T]/&, f: fn(T)) {
931
    riteri(v) { |_i, v| f(v) }
932 933
}

B
Brian Anderson 已提交
934
#[doc ="
935 936 937 938
Iterates over a vector's elements and indexes in reverse

Iterates over vector `v` and, for each element, calls function `f` with the
element's value and index.
B
Brian Anderson 已提交
939
"]
940
pure fn riteri<T>(v: [T]/&, f: fn(uint, T)) {
941
    let mut i = len(v);
942 943 944 945 946 947
    while 0u < i {
        i -= 1u;
        f(i, v[i]);
    };
}

B
Brian Anderson 已提交
948 949
#[doc = "
Iterate over all permutations of vector `v`.
950

B
Brian Anderson 已提交
951 952 953
Permutations are produced in lexicographic order with respect to the order of
elements in `v` (so if `v` is sorted then the permutations are
lexicographically sorted).
954 955 956

The total number of permutations produced is `len(v)!`.  If `v` contains
repeated elements, then some permutations are repeated.
B
Brian Anderson 已提交
957
"]
958
pure fn permute<T: copy>(v: [T]/&, put: fn([T])) {
959 960 961 962
  let ln = len(v);
  if ln == 0u {
    put([]);
  } else {
963
    let mut i = 0u;
964 965 966 967 968 969 970 971 972
    while i < ln {
      let elt = v[i];
      let rest = slice(v, 0u, i) + slice(v, i+1u, ln);
      permute(rest) {|permutation| put([elt] + permutation)}
      i += 1u;
    }
  }
}

973
pure fn windowed<TT: copy>(nn: uint, xx: [TT]/&) -> [[TT]] {
974 975 976 977 978 979 980 981 982
    let mut ww = [];
    assert 1u <= nn;
    vec::iteri (xx, {|ii, _x|
        let len = vec::len(xx);
        if ii+nn <= len {
            ww += [vec::slice(xx, ii, ii+nn)];
        }
    });
    ret ww;
983 984
}

B
Brian Anderson 已提交
985 986
#[doc = "
Work with the buffer of a vector.
987

B
Brian Anderson 已提交
988 989 990
Allows for unsafe manipulation of vector contents, which is useful for native
interop.
"]
991 992
fn as_buf<E,T>(v: [E]/&, f: fn(*E) -> T) -> T unsafe {
    unpack_slice(v) { |buf, _len| f(buf) }
993 994
}

995 996
fn as_mut_buf<E,T>(v: [mut E]/&, f: fn(*mut E) -> T) -> T unsafe {
    unpack_mut_slice(v) { |buf, _len| f(buf) }
997 998
}

999 1000 1001
#[doc = "
Work with the buffer and length of a slice.
"]
1002
#[inline(always)]
1003 1004
pure fn unpack_slice<T,U>(s: [T]/&,
                          f: fn(*T, uint) -> U) -> U unsafe {
1005 1006 1007 1008 1009
    let v : *(*T,uint) = ::unsafe::reinterpret_cast(ptr::addr_of(s));
    let (buf,len) = *v;
    f(buf, len / sys::size_of::<T>())
}

1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031
#[doc = "
Work with the buffer and length of a slice.
"]
#[inline(always)]
pure fn unpack_const_slice<T,U>(s: [const T]/&,
                                f: fn(*const T, uint) -> U) -> U unsafe {
    let v : *(*const T,uint) = ::unsafe::reinterpret_cast(ptr::addr_of(s));
    let (buf,len) = *v;
    f(buf, len / sys::size_of::<T>())
}

#[doc = "
Work with the buffer and length of a slice.
"]
#[inline(always)]
pure fn unpack_mut_slice<T,U>(s: [mut T]/&,
                              f: fn(*mut T, uint) -> U) -> U unsafe {
    let v : *(*const T,uint) = ::unsafe::reinterpret_cast(ptr::addr_of(s));
    let (buf,len) = *v;
    f(buf, len / sys::size_of::<T>())
}

1032
#[doc = "Extension methods for vectors"]
1033
impl extensions/&<T> for [const T]/& {
1034 1035 1036 1037 1038 1039
    #[doc = "Returns true if a vector contains no elements"]
    #[inline]
    fn is_empty() -> bool { is_empty(self) }
    #[doc = "Returns true if a vector contains some elements"]
    #[inline]
    fn is_not_empty() -> bool { is_not_empty(self) }
1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070
    #[doc = "Returns the length of a vector"]
    #[inline]
    pure fn len() -> uint { len(self) }
}

#[doc = "Extension methods for vectors"]
impl extensions/&<T: copy> for [const T]/& {
    #[doc = "Returns the first element of a vector"]
    #[inline]
    fn head() -> T { head(self) }
    #[doc = "Returns all but the last elemnt of a vector"]
    #[inline]
    fn init() -> [T] { init(self) }
    #[doc = "
    Returns the last element of a `v`, failing if the vector is empty.
    "]
    #[inline]
    fn last() -> T { last(self) }
    #[doc = "Returns a copy of the elements from [`start`..`end`) from `v`."]
    #[inline]
    fn slice(start: uint, end: uint) -> [T] { slice(self, start, end) }
    #[doc = "Returns all but the first element of a vector"]
    #[inline]
    fn tail() -> [T] { tail(self) }
}

#[doc = "Extension methods for vectors"]
impl extensions/&<T> for [T]/& {
    #[doc = "Reduce a vector from right to left"]
    #[inline]
    fn foldr<U: copy>(z: U, p: fn(T, U) -> U) -> U { foldr(self, z, p) }
1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127
    #[doc = "
    Iterates over a vector

    Iterates over vector `v` and, for each element, calls function `f` with
    the element's value.
    "]
    #[inline]
    fn iter(f: fn(T)) { iter(self, f) }
    #[doc = "
    Iterates over a vector's elements and indexes

    Iterates over vector `v` and, for each element, calls function `f` with
    the element's value and index.
    "]
    #[inline]
    fn iteri(f: fn(uint, T)) { iteri(self, f) }
    #[doc = "
    Find the first index matching some predicate

    Apply function `f` to each element of `v`.  When function `f` returns true
    then an option containing the index is returned. If `f` matches no
    elements then none is returned.
    "]
    #[inline]
    fn position(f: fn(T) -> bool) -> option<uint> { position(self, f) }
    #[doc = "Find the first index containing a matching value"]
    #[inline]
    fn position_elem(x: T) -> option<uint> { position_elem(self, x) }
    #[doc = "
    Iterates over a vector in reverse

    Iterates over vector `v` and, for each element, calls function `f` with
    the element's value.
    "]
    #[inline]
    fn riter(f: fn(T)) { riter(self, f) }
    #[doc ="
    Iterates over a vector's elements and indexes in reverse

    Iterates over vector `v` and, for each element, calls function `f` with
    the element's value and index.
    "]
    #[inline]
    fn riteri(f: fn(uint, T)) { riteri(self, f) }
    #[doc = "
    Find the last index matching some predicate

    Apply function `f` to each element of `v` in reverse order.  When function
    `f` returns true then an option containing the index is returned. If `f`
    matches no elements then none is returned.
    "]
    #[inline]
    fn rposition(f: fn(T) -> bool) -> option<uint> { rposition(self, f) }
    #[doc = "Find the last index containing a matching value"]
    #[inline]
    fn rposition_elem(x: T) -> option<uint> { rposition_elem(self, x) }
    #[doc = "
1128
    Apply a function to each element of a vector and return the results
1129 1130
    "]
    #[inline]
1131
    fn map<U>(f: fn(T) -> U) -> [U] { map(self, f) }
1132
    #[doc = "
N
Niko Matsakis 已提交
1133 1134 1135 1136
    Apply a function to the index and value of each element in the vector
    and return the results
    "]
    fn mapi<U>(f: fn(uint, T) -> U) -> [U] {
1137
        mapi(self, f)
N
Niko Matsakis 已提交
1138
    }
1139 1140 1141
    #[doc = "Returns true if the function returns true for all elements.

    If the vector is empty, true is returned."]
1142
    pure fn alli(f: fn(uint, T) -> bool) -> bool {
1143 1144
        alli(self, f)
    }
N
Niko Matsakis 已提交
1145
    #[doc = "
1146 1147
    Apply a function to each element of a vector and return a concatenation
    of each result vector
1148 1149
    "]
    #[inline]
1150
    fn flat_map<U>(f: fn(T) -> [U]) -> [U] { flat_map(self, f) }
1151 1152 1153 1154 1155 1156 1157 1158 1159 1160
    #[doc = "
    Apply a function to each element of a vector and return the results

    If function `f` returns `none` then that element is excluded from
    the resulting vector.
    "]
    #[inline]
    fn filter_map<U: copy>(f: fn(T) -> option<U>) -> [U] {
        filter_map(self, f)
    }
1161
}
1162

1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193
#[doc = "Extension methods for vectors"]
impl extensions/&<T: copy> for [T]/& {
    #[doc = "
    Construct a new vector from the elements of a vector for which some
    predicate holds.

    Apply function `f` to each element of `v` and return a vector containing
    only those elements for which `f` returned true.
    "]
    #[inline]
    fn filter(f: fn(T) -> bool) -> [T] { filter(self, f) }
    #[doc = "
    Search for the first element that matches a given predicate

    Apply function `f` to each element of `v`, starting from the first.
    When function `f` returns true then an option containing the element
    is returned. If `f` matches no elements then none is returned.
    "]
    #[inline]
    fn find(f: fn(T) -> bool) -> option<T> { find(self, f) }
    #[doc = "
    Search for the last element that matches a given predicate

    Apply function `f` to each element of `v` in reverse order. When function
    `f` returns true then an option containing the element is returned. If `f`
    matches no elements then none is returned.
    "]
    #[inline]
    fn rfind(f: fn(T) -> bool) -> option<T> { rfind(self, f) }
}

B
Brian Anderson 已提交
1194
#[doc = "Unsafe operations"]
1195
mod unsafe {
T
Tim Chevalier 已提交
1196
    // FIXME: This should have crate visibility (#1893 blocks that)
B
Brian Anderson 已提交
1197
    #[doc = "The internal representation of a vector"]
1198 1199 1200 1201 1202 1203
    type vec_repr = {
        box_header: (uint, uint, uint, uint),
        mut fill: uint,
        mut alloc: uint,
        data: u8
    };
1204

B
Brian Anderson 已提交
1205
    #[doc = "
1206 1207
    Constructs a vector from an unsafe pointer to a buffer

B
Brian Anderson 已提交
1208
    # Arguments
1209

B
Brian Anderson 已提交
1210 1211 1212
    * ptr - An unsafe pointer to a buffer of `T`
    * elts - The number of elements in the buffer
    "]
1213
    #[inline(always)]
1214
    unsafe fn from_buf<T>(ptr: *T, elts: uint) -> [T] {
1215 1216 1217
        ret ::unsafe::reinterpret_cast(
            rustrt::vec_from_buf_shared(sys::get_type_desc::<T>(),
                                        ptr as *(),
1218
                                        elts as size_t));
1219 1220
    }

B
Brian Anderson 已提交
1221
    #[doc = "
1222 1223
    Sets the length of a vector

1224
    This will explicitly set the size of the vector, without actually
1225 1226
    modifing its buffers, so it is up to the caller to ensure that
    the vector is actually the specified size.
B
Brian Anderson 已提交
1227
    "]
1228
    #[inline(always)]
1229
    unsafe fn set_len<T>(&&v: [const T], new_len: uint) {
1230 1231 1232 1233
        let repr: **vec_repr = ::unsafe::reinterpret_cast(addr_of(v));
        (**repr).fill = new_len * sys::size_of::<T>();
    }

B
Brian Anderson 已提交
1234
    #[doc = "
1235 1236 1237 1238 1239 1240 1241
    Returns an unsafe pointer to the vector's buffer

    The caller must ensure that the vector outlives the pointer this
    function returns, or else it will end up pointing to garbage.

    Modifying the vector may cause its buffer to be reallocated, which
    would also make any pointers to it invalid.
B
Brian Anderson 已提交
1242
    "]
1243
    #[inline(always)]
1244 1245 1246 1247
    unsafe fn to_ptr<T>(v: [const T]) -> *T {
        let repr: **vec_repr = ::unsafe::reinterpret_cast(addr_of(v));
        ret ::unsafe::reinterpret_cast(addr_of((**repr).data));
    }
1248 1249 1250 1251 1252 1253 1254 1255


    #[doc = "
    Form a slice from a pointer and length (as a number of units, not bytes).
    "]
    #[inline(always)]
    unsafe fn form_slice<T,U>(p: *T, len: uint, f: fn([T]/&) -> U) -> U {
        let pair = (p, len * sys::size_of::<T>());
1256 1257 1258
        // FIXME: should use &blk not &static here, but a snapshot is req'd
        let v : *([T]/&static) =
            ::unsafe::reinterpret_cast(ptr::addr_of(pair));
1259 1260
        f(*v)
    }
1261 1262
}

B
Brian Anderson 已提交
1263
#[doc = "Operations on `[u8]`"]
1264 1265 1266 1267 1268
mod u8 {
    export cmp;
    export lt, le, eq, ne, ge, gt;
    export hash;

B
Brian Anderson 已提交
1269
    #[doc = "Bytewise string comparison"]
1270 1271 1272
    pure fn cmp(&&a: [u8], &&b: [u8]) -> int unsafe {
        let a_len = len(a);
        let b_len = len(b);
1273
        let n = uint::min(a_len, b_len) as libc::size_t;
1274 1275
        let r = libc::memcmp(unsafe::to_ptr(a) as *libc::c_void,
                             unsafe::to_ptr(b) as *libc::c_void, n) as int;
1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287

        if r != 0 { r } else {
            if a_len == b_len {
                0
            } else if a_len < b_len {
                -1
            } else {
                1
            }
        }
    }

B
Brian Anderson 已提交
1288
    #[doc = "Bytewise less than or equal"]
1289 1290
    pure fn lt(&&a: [u8], &&b: [u8]) -> bool { cmp(a, b) < 0 }

B
Brian Anderson 已提交
1291
    #[doc = "Bytewise less than or equal"]
1292 1293
    pure fn le(&&a: [u8], &&b: [u8]) -> bool { cmp(a, b) <= 0 }

B
Brian Anderson 已提交
1294
    #[doc = "Bytewise equality"]
1295 1296
    pure fn eq(&&a: [u8], &&b: [u8]) -> bool unsafe { cmp(a, b) == 0 }

B
Brian Anderson 已提交
1297
    #[doc = "Bytewise inequality"]
1298 1299
    pure fn ne(&&a: [u8], &&b: [u8]) -> bool unsafe { cmp(a, b) != 0 }

B
Brian Anderson 已提交
1300
    #[doc ="Bytewise greater than or equal"]
1301 1302
    pure fn ge(&&a: [u8], &&b: [u8]) -> bool { cmp(a, b) >= 0 }

B
Brian Anderson 已提交
1303
    #[doc = "Bytewise greater than"]
1304 1305
    pure fn gt(&&a: [u8], &&b: [u8]) -> bool { cmp(a, b) > 0 }

B
Brian Anderson 已提交
1306
    #[doc = "String hash function"]
1307
    fn hash(&&s: [u8]) -> uint {
T
Tim Chevalier 已提交
1308 1309 1310
        /* Seems to have been tragically copy/pasted from str.rs,
           or vice versa. But I couldn't figure out how to abstract
           it out. -- tjc */
1311

1312
        let mut u: uint = 5381u;
1313 1314 1315 1316 1317
        vec::iter(s, { |c| u *= 33u; u += c as uint; });
        ret u;
    }
}

1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351
// ___________________________________________________________________________
// ITERATION TRAIT METHODS
//
// This cannot be used with iter-trait.rs because of the region pointer
// required in the slice.
impl extensions/&<A> of iter::base_iter<A> for [A]/& {
    fn each(blk: fn(A) -> bool) { each(self, blk) }
    fn size_hint() -> option<uint> { some(len(self)) }
    fn eachi(blk: fn(uint, A) -> bool) { iter::eachi(self, blk) }
    fn all(blk: fn(A) -> bool) -> bool { iter::all(self, blk) }
    fn any(blk: fn(A) -> bool) -> bool { iter::any(self, blk) }
    fn foldl<B>(+b0: B, blk: fn(B, A) -> B) -> B {
        iter::foldl(self, b0, blk)
    }
    fn contains(x: A) -> bool { iter::contains(self, x) }
    fn count(x: A) -> uint { iter::count(self, x) }
}
impl extensions/&<A:copy> for [A]/& {
    fn filter_to_vec(pred: fn(A) -> bool) -> [A] {
        iter::filter_to_vec(self, pred)
    }
    fn map_to_vec<B>(op: fn(A) -> B) -> [B] { iter::map_to_vec(self, op) }
    fn to_vec() -> [A] { iter::to_vec(self) }

    // FIXME--bug in resolve prevents this from working
    // fn flat_map_to_vec<B:copy,IB:base_iter<B>>(op: fn(A) -> IB) -> [B] {
    //     iter::flat_map_to_vec(self, op)
    // }

    fn min() -> A { iter::min(self) }
    fn max() -> A { iter::max(self) }
}
// ___________________________________________________________________________

1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364
#[cfg(test)]
mod tests {

    fn square(n: uint) -> uint { ret n * n; }

    fn square_ref(&&n: uint) -> uint { ret n * n; }

    pure fn is_three(&&n: uint) -> bool { ret n == 3u; }

    pure fn is_odd(&&n: uint) -> bool { ret n % 2u == 1u; }

    pure fn is_equal(&&x: uint, &&y:uint) -> bool { ret x == y; }

1365
    fn square_if_odd(&&n: uint) -> option<uint> {
1366 1367 1368 1369 1370 1371 1372 1373 1374
        ret if n % 2u == 1u { some(n * n) } else { none };
    }

    fn add(&&x: uint, &&y: uint) -> uint { ret x + y; }

    #[test]
    fn test_unsafe_ptrs() unsafe {
        // Test on-stack copy-from-buf.
        let a = [1, 2, 3];
1375
        let mut ptr = unsafe::to_ptr(a);
1376 1377 1378 1379 1380 1381 1382 1383
        let b = unsafe::from_buf(ptr, 3u);
        assert (len(b) == 3u);
        assert (b[0] == 1);
        assert (b[1] == 2);
        assert (b[2] == 3);

        // Test on-heap copy-from-buf.
        let c = [1, 2, 3, 4, 5];
1384
        ptr = unsafe::to_ptr(c);
1385 1386 1387 1388 1389 1390 1391 1392 1393 1394
        let d = unsafe::from_buf(ptr, 5u);
        assert (len(d) == 5u);
        assert (d[0] == 1);
        assert (d[1] == 2);
        assert (d[2] == 3);
        assert (d[3] == 4);
        assert (d[4] == 5);
    }

    #[test]
1395 1396
    fn test_from_fn() {
        // Test on-stack from_fn.
1397
        let mut v = from_fn(3u, square);
1398 1399 1400 1401 1402
        assert (len(v) == 3u);
        assert (v[0] == 0u);
        assert (v[1] == 1u);
        assert (v[2] == 4u);

1403 1404
        // Test on-heap from_fn.
        v = from_fn(5u, square);
1405 1406 1407 1408 1409 1410 1411 1412 1413
        assert (len(v) == 5u);
        assert (v[0] == 0u);
        assert (v[1] == 1u);
        assert (v[2] == 4u);
        assert (v[3] == 9u);
        assert (v[4] == 16u);
    }

    #[test]
1414 1415
    fn test_from_elem() {
        // Test on-stack from_elem.
1416
        let mut v = from_elem(2u, 10u);
1417 1418 1419 1420
        assert (len(v) == 2u);
        assert (v[0] == 10u);
        assert (v[1] == 10u);

1421 1422
        // Test on-heap from_elem.
        v = from_elem(6u, 20u);
1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450
        assert (v[0] == 20u);
        assert (v[1] == 20u);
        assert (v[2] == 20u);
        assert (v[3] == 20u);
        assert (v[4] == 20u);
        assert (v[5] == 20u);
    }

    #[test]
    fn test_is_empty() {
        assert (is_empty::<int>([]));
        assert (!is_empty([0]));
    }

    #[test]
    fn test_is_not_empty() {
        assert (is_not_empty([0]));
        assert (!is_not_empty::<int>([]));
    }

    #[test]
    fn test_head() {
        let a = [11, 12];
        assert (head(a) == 11);
    }

    #[test]
    fn test_tail() {
1451
        let mut a = [11];
1452 1453 1454 1455 1456 1457 1458 1459
        assert (tail(a) == []);

        a = [11, 12];
        assert (tail(a) == [12]);
    }

    #[test]
    fn test_last() {
1460
        let mut n = last_opt([]);
1461
        assert (n == none);
1462
        n = last_opt([1, 2, 3]);
1463
        assert (n == some(3));
1464
        n = last_opt([1, 2, 3, 4, 5]);
1465 1466 1467 1468 1469 1470
        assert (n == some(5));
    }

    #[test]
    fn test_slice() {
        // Test on-stack -> on-stack slice.
1471
        let mut v = slice([1, 2, 3], 1u, 3u);
1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495
        assert (len(v) == 2u);
        assert (v[0] == 2);
        assert (v[1] == 3);

        // Test on-heap -> on-stack slice.
        v = slice([1, 2, 3, 4, 5], 0u, 3u);
        assert (len(v) == 3u);
        assert (v[0] == 1);
        assert (v[1] == 2);
        assert (v[2] == 3);

        // Test on-heap -> on-heap slice.
        v = slice([1, 2, 3, 4, 5, 6], 1u, 6u);
        assert (len(v) == 5u);
        assert (v[0] == 2);
        assert (v[1] == 3);
        assert (v[2] == 4);
        assert (v[3] == 5);
        assert (v[4] == 6);
    }

    #[test]
    fn test_pop() {
        // Test on-stack pop.
1496 1497
        let mut v = [1, 2, 3];
        let mut e = pop(v);
1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516
        assert (len(v) == 2u);
        assert (v[0] == 1);
        assert (v[1] == 2);
        assert (e == 3);

        // Test on-heap pop.
        v = [1, 2, 3, 4, 5];
        e = pop(v);
        assert (len(v) == 4u);
        assert (v[0] == 1);
        assert (v[1] == 2);
        assert (v[2] == 3);
        assert (v[3] == 4);
        assert (e == 5);
    }

    #[test]
    fn test_push() {
        // Test on-stack push().
1517
        let mut v = [];
1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531
        push(v, 1);
        assert (len(v) == 1u);
        assert (v[0] == 1);

        // Test on-heap push().
        push(v, 2);
        assert (len(v) == 2u);
        assert (v[0] == 1);
        assert (v[1] == 2);
    }

    #[test]
    fn test_grow() {
        // Test on-stack grow().
1532
        let mut v = [];
1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549
        grow(v, 2u, 1);
        assert (len(v) == 2u);
        assert (v[0] == 1);
        assert (v[1] == 1);

        // Test on-heap grow().
        grow(v, 3u, 2);
        assert (len(v) == 5u);
        assert (v[0] == 1);
        assert (v[1] == 1);
        assert (v[2] == 2);
        assert (v[3] == 2);
        assert (v[4] == 2);
    }

    #[test]
    fn test_grow_fn() {
1550
        let mut v = [];
1551 1552 1553 1554 1555 1556 1557 1558 1559
        grow_fn(v, 3u, square);
        assert (len(v) == 3u);
        assert (v[0] == 0u);
        assert (v[1] == 1u);
        assert (v[2] == 4u);
    }

    #[test]
    fn test_grow_set() {
G
Graydon Hoare 已提交
1560
        let mut v = [mut 1, 2, 3];
1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572
        grow_set(v, 4u, 4, 5);
        assert (len(v) == 5u);
        assert (v[0] == 1);
        assert (v[1] == 2);
        assert (v[2] == 3);
        assert (v[3] == 4);
        assert (v[4] == 5);
    }

    #[test]
    fn test_map() {
        // Test on-stack map.
1573 1574
        let mut v = [1u, 2u, 3u];
        let mut w = map(v, square_ref);
1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597
        assert (len(w) == 3u);
        assert (w[0] == 1u);
        assert (w[1] == 4u);
        assert (w[2] == 9u);

        // Test on-heap map.
        v = [1u, 2u, 3u, 4u, 5u];
        w = map(v, square_ref);
        assert (len(w) == 5u);
        assert (w[0] == 1u);
        assert (w[1] == 4u);
        assert (w[2] == 9u);
        assert (w[3] == 16u);
        assert (w[4] == 25u);
    }

    #[test]
    fn test_map2() {
        fn times(&&x: int, &&y: int) -> int { ret x * y; }
        let f = times;
        let v0 = [1, 2, 3, 4, 5];
        let v1 = [5, 4, 3, 2, 1];
        let u = map2::<int, int, int>(v0, v1, f);
1598
        let mut i = 0;
1599 1600 1601 1602 1603 1604
        while i < 5 { assert (v0[i] * v1[i] == u[i]); i += 1; }
    }

    #[test]
    fn test_filter_map() {
        // Test on-stack filter-map.
1605 1606
        let mut v = [1u, 2u, 3u];
        let mut w = filter_map(v, square_if_odd);
1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618
        assert (len(w) == 2u);
        assert (w[0] == 1u);
        assert (w[1] == 9u);

        // Test on-heap filter-map.
        v = [1u, 2u, 3u, 4u, 5u];
        w = filter_map(v, square_if_odd);
        assert (len(w) == 3u);
        assert (w[0] == 1u);
        assert (w[1] == 9u);
        assert (w[2] == 25u);

1619
        fn halve(&&i: int) -> option<int> {
1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644
            if i % 2 == 0 {
                ret option::some::<int>(i / 2);
            } else { ret option::none::<int>; }
        }
        fn halve_for_sure(&&i: int) -> int { ret i / 2; }
        let all_even: [int] = [0, 2, 8, 6];
        let all_odd1: [int] = [1, 7, 3];
        let all_odd2: [int] = [];
        let mix: [int] = [9, 2, 6, 7, 1, 0, 0, 3];
        let mix_dest: [int] = [1, 3, 0, 0];
        assert (filter_map(all_even, halve) == map(all_even, halve_for_sure));
        assert (filter_map(all_odd1, halve) == []);
        assert (filter_map(all_odd2, halve) == []);
        assert (filter_map(mix, halve) == mix_dest);
    }

    #[test]
    fn test_filter() {
        assert filter([1u, 2u, 3u], is_odd) == [1u, 3u];
        assert filter([1u, 2u, 4u, 8u, 16u], is_three) == [];
    }

    #[test]
    fn test_foldl() {
        // Test on-stack fold.
1645 1646
        let mut v = [1u, 2u, 3u];
        let mut sum = foldl(0u, v, add);
1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659
        assert (sum == 6u);

        // Test on-heap fold.
        v = [1u, 2u, 3u, 4u, 5u];
        sum = foldl(0u, v, add);
        assert (sum == 15u);
    }

    #[test]
    fn test_foldl2() {
        fn sub(&&a: int, &&b: int) -> int {
            a - b
        }
1660
        let mut v = [1, 2, 3, 4];
1661 1662 1663 1664 1665 1666 1667 1668 1669
        let sum = foldl(0, v, sub);
        assert sum == -10;
    }

    #[test]
    fn test_foldr() {
        fn sub(&&a: int, &&b: int) -> int {
            a - b
        }
1670
        let mut v = [1, 2, 3, 4];
1671 1672 1673 1674 1675 1676
        let sum = foldr(v, 0, sub);
        assert sum == -2;
    }

    #[test]
    fn test_iter_empty() {
1677
        let mut i = 0;
1678 1679 1680 1681 1682 1683
        iter::<int>([], { |_v| i += 1 });
        assert i == 0;
    }

    #[test]
    fn test_iter_nonempty() {
1684
        let mut i = 0;
1685 1686 1687 1688 1689 1690
        iter([1, 2, 3], { |v| i += v });
        assert i == 6;
    }

    #[test]
    fn test_iteri() {
1691
        let mut i = 0;
1692 1693 1694 1695 1696 1697 1698 1699 1700 1701
        iteri([1, 2, 3], { |j, v|
            if i == 0 { assert v == 1; }
            assert j + 1u == v as uint;
            i += v;
        });
        assert i == 6;
    }

    #[test]
    fn test_riter_empty() {
1702
        let mut i = 0;
1703 1704 1705 1706 1707 1708
        riter::<int>([], { |_v| i += 1 });
        assert i == 0;
    }

    #[test]
    fn test_riter_nonempty() {
1709
        let mut i = 0;
1710 1711 1712 1713 1714 1715 1716 1717 1718
        riter([1, 2, 3], { |v|
            if i == 0 { assert v == 3; }
            i += v
        });
        assert i == 6;
    }

    #[test]
    fn test_riteri() {
1719
        let mut i = 0;
1720 1721 1722 1723 1724 1725 1726 1727 1728 1729
        riteri([0, 1, 2], { |j, v|
            if i == 0 { assert v == 2; }
            assert j == v as uint;
            i += v;
        });
        assert i == 3;
    }

    #[test]
    fn test_permute() {
1730
        let mut results: [[int]];
1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794

        results = [];
        permute([]) {|v| results += [v]; }
        assert results == [[]];

        results = [];
        permute([7]) {|v| results += [v]; }
        assert results == [[7]];

        results = [];
        permute([1,1]) {|v| results += [v]; }
        assert results == [[1,1],[1,1]];

        results = [];
        permute([5,2,0]) {|v| results += [v]; }
        assert results == [[5,2,0],[5,0,2],[2,5,0],[2,0,5],[0,5,2],[0,2,5]];
    }

    #[test]
    fn test_any_and_all() {
        assert (any([1u, 2u, 3u], is_three));
        assert (!any([0u, 1u, 2u], is_three));
        assert (any([1u, 2u, 3u, 4u, 5u], is_three));
        assert (!any([1u, 2u, 4u, 5u, 6u], is_three));

        assert (all([3u, 3u, 3u], is_three));
        assert (!all([3u, 3u, 2u], is_three));
        assert (all([3u, 3u, 3u, 3u, 3u], is_three));
        assert (!all([3u, 3u, 0u, 1u, 2u], is_three));
    }

    #[test]
    fn test_any2_and_all2() {

        assert (any2([2u, 4u, 6u], [2u, 4u, 6u], is_equal));
        assert (any2([1u, 2u, 3u], [4u, 5u, 3u], is_equal));
        assert (!any2([1u, 2u, 3u], [4u, 5u, 6u], is_equal));
        assert (any2([2u, 4u, 6u], [2u, 4u], is_equal));

        assert (all2([2u, 4u, 6u], [2u, 4u, 6u], is_equal));
        assert (!all2([1u, 2u, 3u], [4u, 5u, 3u], is_equal));
        assert (!all2([1u, 2u, 3u], [4u, 5u, 6u], is_equal));
        assert (!all2([2u, 4u, 6u], [2u, 4u], is_equal));
    }

    #[test]
    fn test_zip_unzip() {
        let v1 = [1, 2, 3];
        let v2 = [4, 5, 6];

        let z1 = zip(v1, v2);

        assert ((1, 4) == z1[0]);
        assert ((2, 5) == z1[1]);
        assert ((3, 6) == z1[2]);

        let (left, right) = unzip(z1);

        assert ((1, 4) == (left[0], right[0]));
        assert ((2, 5) == (left[1], right[1]));
        assert ((3, 6) == (left[2], right[2]));
    }

    #[test]
1795 1796
    fn test_position_elem() {
        assert position_elem([], 1) == none;
1797 1798

        let v1 = [1, 2, 3, 3, 2, 5];
1799 1800 1801 1802
        assert position_elem(v1, 1) == some(0u);
        assert position_elem(v1, 2) == some(1u);
        assert position_elem(v1, 5) == some(5u);
        assert position_elem(v1, 4) == none;
1803 1804 1805
    }

    #[test]
1806
    fn test_position() {
1807 1808
        fn less_than_three(&&i: int) -> bool { ret i < 3; }
        fn is_eighteen(&&i: int) -> bool { ret i == 18; }
1809 1810 1811 1812 1813 1814

        assert position([], less_than_three) == none;

        let v1 = [5, 4, 3, 2, 1];
        assert position(v1, less_than_three) == some(3u);
        assert position(v1, is_eighteen) == none;
1815 1816 1817
    }

    #[test]
1818 1819
    fn test_position_between() {
        assert position_between([], 0u, 0u, f) == none;
1820 1821

        fn f(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'b' }
1822
        let mut v = [(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
1823

1824 1825 1826 1827 1828
        assert position_between(v, 0u, 0u, f) == none;
        assert position_between(v, 0u, 1u, f) == none;
        assert position_between(v, 0u, 2u, f) == some(1u);
        assert position_between(v, 0u, 3u, f) == some(1u);
        assert position_between(v, 0u, 4u, f) == some(1u);
1829

1830 1831 1832 1833
        assert position_between(v, 1u, 1u, f) == none;
        assert position_between(v, 1u, 2u, f) == some(1u);
        assert position_between(v, 1u, 3u, f) == some(1u);
        assert position_between(v, 1u, 4u, f) == some(1u);
1834

1835 1836 1837
        assert position_between(v, 2u, 2u, f) == none;
        assert position_between(v, 2u, 3u, f) == none;
        assert position_between(v, 2u, 4u, f) == some(3u);
1838

1839 1840
        assert position_between(v, 3u, 3u, f) == none;
        assert position_between(v, 3u, 4u, f) == some(3u);
1841

1842
        assert position_between(v, 4u, 4u, f) == none;
1843 1844
    }

1845 1846 1847 1848 1849 1850
    #[test]
    fn test_find() {
        assert find([], f) == none;

        fn f(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'b' }
        fn g(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'd' }
1851
        let mut v = [(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
1852 1853 1854 1855 1856 1857

        assert find(v, f) == some((1, 'b'));
        assert find(v, g) == none;
    }

    #[test]
1858 1859
    fn test_find_between() {
        assert find_between([], 0u, 0u, f) == none;
1860 1861

        fn f(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'b' }
1862
        let mut v = [(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
1863

1864 1865 1866 1867 1868
        assert find_between(v, 0u, 0u, f) == none;
        assert find_between(v, 0u, 1u, f) == none;
        assert find_between(v, 0u, 2u, f) == some((1, 'b'));
        assert find_between(v, 0u, 3u, f) == some((1, 'b'));
        assert find_between(v, 0u, 4u, f) == some((1, 'b'));
1869

1870 1871 1872 1873
        assert find_between(v, 1u, 1u, f) == none;
        assert find_between(v, 1u, 2u, f) == some((1, 'b'));
        assert find_between(v, 1u, 3u, f) == some((1, 'b'));
        assert find_between(v, 1u, 4u, f) == some((1, 'b'));
1874

1875 1876 1877
        assert find_between(v, 2u, 2u, f) == none;
        assert find_between(v, 2u, 3u, f) == none;
        assert find_between(v, 2u, 4u, f) == some((3, 'b'));
1878

1879 1880
        assert find_between(v, 3u, 3u, f) == none;
        assert find_between(v, 3u, 4u, f) == some((3, 'b'));
1881

1882
        assert find_between(v, 4u, 4u, f) == none;
1883 1884
    }

1885 1886 1887 1888 1889 1890
    #[test]
    fn test_rposition() {
        assert find([], f) == none;

        fn f(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'b' }
        fn g(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'd' }
1891
        let mut v = [(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
1892 1893 1894 1895 1896 1897

        assert position(v, f) == some(1u);
        assert position(v, g) == none;
    }

    #[test]
1898 1899
    fn test_rposition_between() {
        assert rposition_between([], 0u, 0u, f) == none;
1900 1901

        fn f(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'b' }
1902
        let mut v = [(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
1903

1904 1905 1906 1907 1908
        assert rposition_between(v, 0u, 0u, f) == none;
        assert rposition_between(v, 0u, 1u, f) == none;
        assert rposition_between(v, 0u, 2u, f) == some(1u);
        assert rposition_between(v, 0u, 3u, f) == some(1u);
        assert rposition_between(v, 0u, 4u, f) == some(3u);
1909

1910 1911 1912 1913
        assert rposition_between(v, 1u, 1u, f) == none;
        assert rposition_between(v, 1u, 2u, f) == some(1u);
        assert rposition_between(v, 1u, 3u, f) == some(1u);
        assert rposition_between(v, 1u, 4u, f) == some(3u);
1914

1915 1916 1917
        assert rposition_between(v, 2u, 2u, f) == none;
        assert rposition_between(v, 2u, 3u, f) == none;
        assert rposition_between(v, 2u, 4u, f) == some(3u);
1918

1919 1920
        assert rposition_between(v, 3u, 3u, f) == none;
        assert rposition_between(v, 3u, 4u, f) == some(3u);
1921

1922
        assert rposition_between(v, 4u, 4u, f) == none;
1923
    }
1924 1925 1926 1927 1928 1929 1930

    #[test]
    fn test_rfind() {
        assert rfind([], f) == none;

        fn f(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'b' }
        fn g(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'd' }
1931
        let mut v = [(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
1932 1933 1934 1935 1936 1937

        assert rfind(v, f) == some((3, 'b'));
        assert rfind(v, g) == none;
    }

    #[test]
1938 1939
    fn test_rfind_between() {
        assert rfind_between([], 0u, 0u, f) == none;
1940 1941

        fn f(xy: (int, char)) -> bool { let (_x, y) = xy; y == 'b' }
1942
        let mut v = [(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
1943

1944 1945 1946 1947 1948
        assert rfind_between(v, 0u, 0u, f) == none;
        assert rfind_between(v, 0u, 1u, f) == none;
        assert rfind_between(v, 0u, 2u, f) == some((1, 'b'));
        assert rfind_between(v, 0u, 3u, f) == some((1, 'b'));
        assert rfind_between(v, 0u, 4u, f) == some((3, 'b'));
1949

1950 1951 1952 1953
        assert rfind_between(v, 1u, 1u, f) == none;
        assert rfind_between(v, 1u, 2u, f) == some((1, 'b'));
        assert rfind_between(v, 1u, 3u, f) == some((1, 'b'));
        assert rfind_between(v, 1u, 4u, f) == some((3, 'b'));
1954

1955 1956 1957
        assert rfind_between(v, 2u, 2u, f) == none;
        assert rfind_between(v, 2u, 3u, f) == none;
        assert rfind_between(v, 2u, 4u, f) == some((3, 'b'));
1958

1959 1960
        assert rfind_between(v, 3u, 3u, f) == none;
        assert rfind_between(v, 3u, 4u, f) == some((3, 'b'));
1961

1962
        assert rfind_between(v, 4u, 4u, f) == none;
1963 1964 1965 1966
    }

    #[test]
    fn reverse_and_reversed() {
G
Graydon Hoare 已提交
1967
        let v: [mut int] = [mut 10, 20];
1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981
        assert (v[0] == 10);
        assert (v[1] == 20);
        reverse(v);
        assert (v[0] == 20);
        assert (v[1] == 10);
        let v2 = reversed::<int>([10, 20]);
        assert (v2[0] == 20);
        assert (v2[1] == 10);
        v[0] = 30;
        assert (v2[0] == 20);
        // Make sure they work with 0-length vectors too.

        let v4 = reversed::<int>([]);
        assert (v4 == []);
G
Graydon Hoare 已提交
1982
        let v3: [mut int] = [mut];
1983 1984 1985 1986 1987
        reverse::<int>(v3);
    }

    #[test]
    fn reversed_mut() {
G
Graydon Hoare 已提交
1988
        let v2 = reversed::<int>([mut 10, 20]);
1989 1990 1991 1992 1993 1994 1995 1996 1997 1998
        assert (v2[0] == 20);
        assert (v2[1] == 10);
    }

    #[test]
    fn test_init() {
        let v = init([1, 2, 3]);
        assert v == [1, 2];
    }

1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040
    #[test]
    fn test_split() {
        fn f(&&x: int) -> bool { x == 3 }

        assert split([], f) == [];
        assert split([1, 2], f) == [[1, 2]];
        assert split([3, 1, 2], f) == [[], [1, 2]];
        assert split([1, 2, 3], f) == [[1, 2], []];
        assert split([1, 2, 3, 4, 3, 5], f) == [[1, 2], [4], [5]];
    }

    #[test]
    fn test_splitn() {
        fn f(&&x: int) -> bool { x == 3 }

        assert splitn([], 1u, f) == [];
        assert splitn([1, 2], 1u, f) == [[1, 2]];
        assert splitn([3, 1, 2], 1u, f) == [[], [1, 2]];
        assert splitn([1, 2, 3], 1u, f) == [[1, 2], []];
        assert splitn([1, 2, 3, 4, 3, 5], 1u, f) == [[1, 2], [4, 3, 5]];
    }

    #[test]
    fn test_rsplit() {
        fn f(&&x: int) -> bool { x == 3 }

        assert rsplit([], f) == [];
        assert rsplit([1, 2], f) == [[1, 2]];
        assert rsplit([1, 2, 3], f) == [[1, 2], []];
        assert rsplit([1, 2, 3, 4, 3, 5], f) == [[1, 2], [4], [5]];
    }

    #[test]
    fn test_rsplitn() {
        fn f(&&x: int) -> bool { x == 3 }

        assert rsplitn([], 1u, f) == [];
        assert rsplitn([1, 2], 1u, f) == [[1, 2]];
        assert rsplitn([1, 2, 3], 1u, f) == [[1, 2], []];
        assert rsplitn([1, 2, 3, 4, 3, 5], 1u, f) == [[1, 2, 3, 4], [5]];
    }

2041
    #[test]
B
Brian Anderson 已提交
2042
    #[should_fail]
2043 2044
    #[ignore(cfg(target_os = "win32"))]
    fn test_init_empty() {
B
Brian Anderson 已提交
2045
        init::<int>([]);
2046 2047 2048 2049 2050 2051 2052
    }

    #[test]
    fn test_concat() {
        assert concat([[1], [2,3]]) == [1, 2, 3];
    }

2053 2054 2055 2056 2057 2058 2059
    #[test]
    fn test_connect() {
        assert connect([], 0) == [];
        assert connect([[1], [2, 3]], 0) == [1, 0, 2, 3];
        assert connect([[1], [2], [3]], 0) == [1, 0, 2, 0, 3];
    }

2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072
    #[test]
    fn test_windowed () {
        assert [[1u,2u,3u],[2u,3u,4u],[3u,4u,5u],[4u,5u,6u]]
              == windowed (3u, [1u,2u,3u,4u,5u,6u]);

        assert [[1u,2u,3u,4u],[2u,3u,4u,5u],[3u,4u,5u,6u]]
              == windowed (4u, [1u,2u,3u,4u,5u,6u]);

        assert [] == windowed (7u, [1u,2u,3u,4u,5u,6u]);
    }

    #[test]
    #[should_fail]
2073
    #[ignore(cfg(target_os = "win32"))]
2074 2075 2076
    fn test_windowed_() {
        let _x = windowed (0u, [1u,2u,3u,4u,5u,6u]);
    }
2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094

    #[test]
    fn to_mut_no_copy() unsafe {
        let x = [1, 2, 3];
        let addr = unsafe::to_ptr(x);
        let x_mut = to_mut(x);
        let addr_mut = unsafe::to_ptr(x_mut);
        assert addr == addr_mut;
    }

    #[test]
    fn from_mut_no_copy() unsafe {
        let x = [mut 1, 2, 3];
        let addr = unsafe::to_ptr(x);
        let x_imm = from_mut(x);
        let addr_imm = unsafe::to_ptr(x_imm);
        assert addr == addr_imm;
    }
B
Brian Anderson 已提交
2095 2096 2097

    #[test]
    fn test_unshift() {
2098
        let mut x = [1, 2, 3];
B
Brian Anderson 已提交
2099 2100 2101
        unshift(x, 0);
        assert x == [0, 1, 2, 3];
    }
B
Brian Anderson 已提交
2102 2103 2104 2105 2106 2107 2108 2109 2110 2111

    #[test]
    fn test_capacity() {
        let mut v = [0u64];
        reserve(v, 10u);
        assert capacity(v) == 10u;
        let mut v = [0u32];
        reserve(v, 10u);
        assert capacity(v) == 10u;
    }
2112 2113 2114 2115 2116 2117 2118 2119 2120

    #[test]
    fn test_view() {
        let v = [1, 2, 3, 4, 5];
        let v = view(v, 1u, 3u);
        assert(len(v) == 2u);
        assert(v[0] == 2);
        assert(v[1] == 3);
    }
2121 2122
}

2123 2124 2125 2126 2127 2128 2129
// Local Variables:
// mode: rust;
// fill-column: 78;
// indent-tabs-mode: nil
// c-basic-offset: 4
// buffer-file-coding-system: utf-8-unix
// End: