about summary refs log tree commit diff
path: root/src/libcore
diff options
context:
space:
mode:
authorTobias Bucher <tobiasbucher5991@gmail.com>2015-08-29 18:30:05 +0200
committerTobias Bucher <tobiasbucher5991@gmail.com>2015-08-31 10:55:39 +0200
commit4d2709def2ecd7f4752a598a01280eef17be08e1 (patch)
treedf3ecd82ed835ed0d35f8cc48b0e73db32aaeabc /src/libcore
parent811868ec6fcde0a2e43025542e8fd87e74f64d0b (diff)
downloadrust-4d2709def2ecd7f4752a598a01280eef17be08e1.tar.gz
rust-4d2709def2ecd7f4752a598a01280eef17be08e1.zip
Implement `FixedSizeArray` for all fixed size arrays
Do so by using the fact that fixed size arrays (like `[u8; 8]` can be coerced
to slices `&[u8]`, this is expressed through the trait `Unsize<[T]>` that all
fixed size arrays implement.
Diffstat (limited to 'src/libcore')
-rw-r--r--src/libcore/array.rs24
1 files changed, 12 insertions, 12 deletions
diff --git a/src/libcore/array.rs b/src/libcore/array.rs
index 85a2d2c23f8..0959029b953 100644
--- a/src/libcore/array.rs
+++ b/src/libcore/array.rs
@@ -26,7 +26,7 @@ use default::Default;
 use fmt;
 use hash::{Hash, self};
 use iter::IntoIterator;
-use marker::{Copy, Sized};
+use marker::{Copy, Sized, Unsize};
 use option::Option;
 use slice::{Iter, IterMut, SliceExt};
 
@@ -41,21 +41,21 @@ pub trait FixedSizeArray<T> {
     fn as_mut_slice(&mut self) -> &mut [T];
 }
 
+impl<T, A: Unsize<[T]>> FixedSizeArray<T> for A {
+    #[inline]
+    fn as_slice(&self) -> &[T] {
+        self
+    }
+    #[inline]
+    fn as_mut_slice(&mut self) -> &mut [T] {
+        self
+    }
+}
+
 // macro for implementing n-ary tuple functions and operations
 macro_rules! array_impls {
     ($($N:expr)+) => {
         $(
-            impl<T> FixedSizeArray<T> for [T; $N] {
-                #[inline]
-                fn as_slice(&self) -> &[T] {
-                    &self[..]
-                }
-                #[inline]
-                fn as_mut_slice(&mut self) -> &mut [T] {
-                    &mut self[..]
-                }
-            }
-
             impl<T> AsRef<[T]> for [T; $N] {
                 #[inline]
                 fn as_ref(&self) -> &[T] {