确保严格正多头的XOR操作仅产生严格的正多头

时间:2015-10-04 09:12:23

标签: java binary binary-operators

我想确保对严格正数的多重操作只能产生严格的正数。

我的问题基于以下java代码:

import java.nio.ByteBuffer;
import java.util.ArrayList;
import java.util.List;
import java.util.ListIterator;
import java.util.Random;

public class Test {

    static Random r = new Random();

    static class Data {
        long id = Math.abs(r.nextLong());

        @Override
        public String toString() {
            return "Data {" + "id=" + id + '}';
        }
    }

    public static void main(String[] args) {
        List<Data> data = new ArrayList<>();
        for (int i = 0; i < 10; i++) {
            data.add(new Data());
        }

        final String password = "don't you ever tell them";

        byte[] passwordBytes = password.getBytes();
        long[] passwordLongs = new long[passwordBytes.length / 8];

        for (int i = 0; i < passwordLongs.length; i++) {
            ByteBuffer buffer = ByteBuffer.allocate(Long.BYTES);
            byte[] chunk = new byte[Long.BYTES];
            System.arraycopy(passwordBytes, i * Long.BYTES, chunk, 0, Long.BYTES);
            buffer.put(chunk);
            buffer.flip();//need flip
            passwordLongs[i] = buffer.getLong();
        }

        System.out.println(data);

        ListIterator<Data> encryptIterator = data.listIterator();
        while (encryptIterator.hasNext()) {
            Data next = encryptIterator.next();
            next.id = next.id ^ passwordLongs[(encryptIterator.nextIndex() - 1) % passwordLongs.length];//XOR here
        }

        System.out.println(data);
    }
}

有人可以用一些理论提供答案吗?

2 个答案:

答案 0 :(得分:2)

  • 不变量1:正整数的最高有效位为零。

  • 不变量2:0 XOR 0 = 0。

结论:正整数XOR正整数=正整数。

答案 1 :(得分:1)

鉴于Java中的longs总是签名,你应该确保你的“密码”中的每个long都不会切换符号位。

也就是说,long中的所有password都应该像0b0xxxxxxx xxxxxxxx xxxxxxxx xxxxxxxx一样。

这会稍微削弱“加密”(确切),但你不应该担心这一点。

但是应该注意,除非你想比较它们大于0,否则没有理由这样做;实际数字将始终相同,即0xff0b11111111始终相同,只有十进制表示根据您是否使用无符号或带符号的短整数来存储它({{分别为1}}和255