Trait std::ops::Shl1.0.0[−][src]

pub trait Shl<Rhs = Self> {
    type Output;
    #[must_use]
    fn shl(self, rhs: Rhs) -> Self::Output;
}
Expand description

左移位运算符 <<。 请注意，因为此 trait 是针对具有多个右侧类型的所有整数类型实现的，所以 Rust 的类型检查器对 _ << _ 具有特殊的处理方式，将整数运算的结果类型设置为左侧操作数的类型。

这意味着尽管从评估的角度来看，a << b 和 a.shl(b) 是相同的，但是在类型推断方面它们是不同的。

Examples

Shl 的实现，将整数的 << 操作提升为 usize 的包装器。

use std::ops::Shl;

#[derive(PartialEq, Debug)]
struct Scalar(usize);

impl Shl<Scalar> for Scalar {
    type Output = Self;

    fn shl(self, Self(rhs): Self) -> Self::Output {
        let Self(lhs) = self;
        Self(lhs << rhs)
    }
}

assert_eq!(Scalar(4) << Scalar(2), Scalar(16));
Run

Shl 的实现，将 vector 向左旋转给定的数量。

use std::ops::Shl;

#[derive(PartialEq, Debug)]
struct SpinVector<T: Clone> {
    vec: Vec<T>,
}

impl<T: Clone> Shl<usize> for SpinVector<T> {
    type Output = Self;

    fn shl(self, rhs: usize) -> Self::Output {
        // 将 vector 旋转 `rhs` 个位置。
        let (a, b) = self.vec.split_at(rhs);
        let mut spun_vector = vec![];
        spun_vector.extend_from_slice(b);
        spun_vector.extend_from_slice(a);
        Self { vec: spun_vector }
    }
}

assert_eq!(SpinVector { vec: vec![0, 1, 2, 3, 4] } << 2,
           SpinVector { vec: vec![2, 3, 4, 0, 1] });
Run

Associated Types

应用 << 运算符后的结果类型。

Required methods

执行 << 操作。

Examples

assert_eq!(5u8 << 1, 10);
assert_eq!(1u8 << 1, 2);
Run

Implementors