pub trait BitXor<RHS = Self> {
type Output;
fn bitxor(self, rhs: RHS) -> Self::Output;
}
The BitXor trait is used to specify the functionality of ^.
In this example, the ^ operator is lifted to a trivial Scalar type.
use std::ops::BitXor;
#[derive(Debug, PartialEq)]
struct Scalar(bool);
impl BitXor for Scalar {
type Output = Self;
// rhs is the "right-hand side" of the expression `a ^ b`
fn bitxor(self, rhs: Self) -> Self {
Scalar(self.0 ^ rhs.0)
}
}
fn main() {
assert_eq!(Scalar(true) ^ Scalar(true), Scalar(false));
assert_eq!(Scalar(true) ^ Scalar(false), Scalar(true));
assert_eq!(Scalar(false) ^ Scalar(true), Scalar(true));
assert_eq!(Scalar(false) ^ Scalar(false), Scalar(false));
} In this example, the BitXor trait is implemented for a BooleanVector struct.
use std::ops::BitXor;
#[derive(Debug, PartialEq)]
struct BooleanVector(Vec<bool>);
impl BitXor for BooleanVector {
type Output = Self;
fn bitxor(self, BooleanVector(rhs): Self) -> Self {
let BooleanVector(lhs) = self;
assert_eq!(lhs.len(), rhs.len());
BooleanVector(lhs.iter()
.zip(rhs.iter())
.map(|(x, y)| (*x || *y) && !(*x && *y))
.collect())
}
}
fn main() {
let bv1 = BooleanVector(vec![true, true, false, false]);
let bv2 = BooleanVector(vec![true, false, true, false]);
let expected = BooleanVector(vec![false, true, true, false]);
assert_eq!(bv1 ^ bv2, expected);
} type OutputThe resulting type after applying the ^ operator
impl<'a, 'b, T> BitXor<&'b BTreeSet<T>> for &'a BTreeSet<T> where T: Ord + Cloneimpl<E> BitXor<EnumSet<E>> for EnumSet<E> where E: CLikeimpl BitXor<Wrapping<usize>> for std::num::Wrapping<usize>impl BitXor<Wrapping<u8>> for std::num::Wrapping<u8>impl BitXor<Wrapping<u16>> for std::num::Wrapping<u16>impl BitXor<Wrapping<u32>> for std::num::Wrapping<u32>impl BitXor<Wrapping<u64>> for std::num::Wrapping<u64>impl BitXor<Wrapping<isize>> for std::num::Wrapping<isize>impl BitXor<Wrapping<i8>> for std::num::Wrapping<i8>impl BitXor<Wrapping<i16>> for std::num::Wrapping<i16>impl BitXor<Wrapping<i32>> for std::num::Wrapping<i32>impl BitXor<Wrapping<i64>> for std::num::Wrapping<i64>impl<'a> BitXor<Wrapping<usize>> for &'a Wrapping<usize>impl<'a> BitXor<&'a Wrapping<usize>> for std::num::Wrapping<usize>impl<'a, 'b> BitXor<&'a Wrapping<usize>> for &'b Wrapping<usize>impl<'a> BitXor<Wrapping<u8>> for &'a Wrapping<u8>impl<'a> BitXor<&'a Wrapping<u8>> for std::num::Wrapping<u8>impl<'a, 'b> BitXor<&'a Wrapping<u8>> for &'b Wrapping<u8>impl<'a> BitXor<Wrapping<u16>> for &'a Wrapping<u16>impl<'a> BitXor<&'a Wrapping<u16>> for std::num::Wrapping<u16>impl<'a, 'b> BitXor<&'a Wrapping<u16>> for &'b Wrapping<u16>impl<'a> BitXor<Wrapping<u32>> for &'a Wrapping<u32>impl<'a> BitXor<&'a Wrapping<u32>> for std::num::Wrapping<u32>impl<'a, 'b> BitXor<&'a Wrapping<u32>> for &'b Wrapping<u32>impl<'a> BitXor<Wrapping<u64>> for &'a Wrapping<u64>impl<'a> BitXor<&'a Wrapping<u64>> for std::num::Wrapping<u64>impl<'a, 'b> BitXor<&'a Wrapping<u64>> for &'b Wrapping<u64>impl<'a> BitXor<Wrapping<isize>> for &'a Wrapping<isize>impl<'a> BitXor<&'a Wrapping<isize>> for std::num::Wrapping<isize>impl<'a, 'b> BitXor<&'a Wrapping<isize>> for &'b Wrapping<isize>impl<'a> BitXor<Wrapping<i8>> for &'a Wrapping<i8>impl<'a> BitXor<&'a Wrapping<i8>> for std::num::Wrapping<i8>impl<'a, 'b> BitXor<&'a Wrapping<i8>> for &'b Wrapping<i8>impl<'a> BitXor<Wrapping<i16>> for &'a Wrapping<i16>impl<'a> BitXor<&'a Wrapping<i16>> for std::num::Wrapping<i16>impl<'a, 'b> BitXor<&'a Wrapping<i16>> for &'b Wrapping<i16>impl<'a> BitXor<Wrapping<i32>> for &'a Wrapping<i32>impl<'a> BitXor<&'a Wrapping<i32>> for std::num::Wrapping<i32>impl<'a, 'b> BitXor<&'a Wrapping<i32>> for &'b Wrapping<i32>impl<'a> BitXor<Wrapping<i64>> for &'a Wrapping<i64>impl<'a> BitXor<&'a Wrapping<i64>> for std::num::Wrapping<i64>impl<'a, 'b> BitXor<&'a Wrapping<i64>> for &'b Wrapping<i64>impl BitXor<Wrapping<u128>> for std::num::Wrapping<u128>impl BitXor<Wrapping<i128>> for std::num::Wrapping<i128>impl<'a> BitXor<Wrapping<u128>> for &'a Wrapping<u128>impl<'a> BitXor<&'a Wrapping<u128>> for std::num::Wrapping<u128>impl<'a, 'b> BitXor<&'a Wrapping<u128>> for &'b Wrapping<u128>impl<'a> BitXor<Wrapping<i128>> for &'a Wrapping<i128>impl<'a> BitXor<&'a Wrapping<i128>> for std::num::Wrapping<i128>impl<'a, 'b> BitXor<&'a Wrapping<i128>> for &'b Wrapping<i128>impl BitXor<bool> for boolimpl BitXor<usize> for usizeimpl BitXor<u8> for u8impl BitXor<u16> for u16impl BitXor<u32> for u32impl BitXor<u64> for u64impl BitXor<isize> for isizeimpl BitXor<i8> for i8impl BitXor<i16> for i16impl BitXor<i32> for i32impl BitXor<i64> for i64impl<'a> BitXor<bool> for &'a boolimpl<'a> BitXor<&'a bool> for boolimpl<'a, 'b> BitXor<&'a bool> for &'b boolimpl<'a> BitXor<usize> for &'a usizeimpl<'a> BitXor<&'a usize> for usizeimpl<'a, 'b> BitXor<&'a usize> for &'b usizeimpl<'a> BitXor<u8> for &'a u8impl<'a> BitXor<&'a u8> for u8impl<'a, 'b> BitXor<&'a u8> for &'b u8impl<'a> BitXor<u16> for &'a u16impl<'a> BitXor<&'a u16> for u16impl<'a, 'b> BitXor<&'a u16> for &'b u16impl<'a> BitXor<u32> for &'a u32impl<'a> BitXor<&'a u32> for u32impl<'a, 'b> BitXor<&'a u32> for &'b u32impl<'a> BitXor<u64> for &'a u64impl<'a> BitXor<&'a u64> for u64impl<'a, 'b> BitXor<&'a u64> for &'b u64impl<'a> BitXor<isize> for &'a isizeimpl<'a> BitXor<&'a isize> for isizeimpl<'a, 'b> BitXor<&'a isize> for &'b isizeimpl<'a> BitXor<i8> for &'a i8impl<'a> BitXor<&'a i8> for i8impl<'a, 'b> BitXor<&'a i8> for &'b i8impl<'a> BitXor<i16> for &'a i16impl<'a> BitXor<&'a i16> for i16impl<'a, 'b> BitXor<&'a i16> for &'b i16impl<'a> BitXor<i32> for &'a i32impl<'a> BitXor<&'a i32> for i32impl<'a, 'b> BitXor<&'a i32> for &'b i32impl<'a> BitXor<i64> for &'a i64impl<'a> BitXor<&'a i64> for i64impl<'a, 'b> BitXor<&'a i64> for &'b i64impl BitXor<u128> for u128impl BitXor<i128> for i128impl<'a> BitXor<u128> for &'a u128impl<'a> BitXor<&'a u128> for u128impl<'a, 'b> BitXor<&'a u128> for &'b u128impl<'a> BitXor<i128> for &'a i128impl<'a> BitXor<&'a i128> for i128impl<'a, 'b> BitXor<&'a i128> for &'b i128impl<'a, 'b, T, S> BitXor<&'b HashSet<T, S>> for &'a HashSet<T, S> where T: Eq + Hash + Clone,
S: BuildHasher + Default
© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/std/ops/trait.BitXor.html