编写一个程序/函数，该程序需要一个介于$0$到$255$两个整数，并返回数字的二进制形式是否恰好相差一位。

例如，$1$和$0$具有二进制形式00000001和00000000，它们相差一比特。同样，$152$和$24$是010011000和000011000，因此它们返回true。

但是，您的代码必须是原始的，以便如果程序中的任何一位被翻转，它都将引发错误。例如，如果您的程序是单个字节a（01100001），则所有8种可能的修改程序：

á ! A q i e c `

必须抛出一个错误。确保您按字节进行修改（例如，á实际上是在上面表示字节$225$，而不是实际的两个字节字符á）。

测试用例：

0,1     => Truthy
1,0     => Truthy
152,24  => Truthy
10,10   => Falsey
10,11   => Truthy
11,12   => Falsey
255,0   => Falsey

规则：

• 提供一个可以验证您的程序是否正确的测试框架，因为会有很多可能的程序（字节数* 8），或者完整的原始证明。
  • 发布程序前，请确保您的程序有效。
• 输出需要为真/假（两种方法都可以），或者两个截然不同的非错误值
• 错误可以是运行时，编译器，解释器等。

Python 2，35个字节

lambda a,b:(a^b)&-(a^b)in[a^b or[]]

在线尝试！

使用二次幂校验n&-n==n，消除n==0误报。

作为参考，这些是一对一字符的二进制运算符，它们彼此分开一位，使其难以使用：

+ /
- /
* +
% -
< |
< >

幸运的是，&并^没有在这些之中。

还请注意，==可以成为<=，并且+可以成为注释字符#。

Python 2 2，41个字节

lambda a,b:bin(a^b).count(`+True`)is+True

在线尝试！

取TFeld lambda a,b:bin(a^b).count('1')==1并将其1更改为to +True和==to 使其变为纯正is。感谢Jo King提供1个字节。

Python 2中，72个 67 50字节

lambda a,b:sum(map(int,'{:b}'.format(a^b)))is+True

在线尝试！

_{-5字节，感谢Jo King}

为真/假返回True/ False。

该程序基本上与相同lambda a,b:bin(a^b).count('1')==1，但是没有数字和其他字符，在翻转时可以工作。

通过确保几乎所有内容都是命名函数（都非常原始）来工作

最后的原始测试会翻转一位（每一位），然后在输入上尝试该功能。如果该方法有效（正确与否），则会打印该变化。没有打印的程序=原始功能。

Java 8，68 61 56 45字节

a->b->(a.bitCount(a^b)+"").equals(-~(a^a)+"")

-11字节由于@EmbodimentOfIgnorance，取代常数 java.awt.Font.BOLD与-~(a^a)。

在线尝试。

说明：

最短的基本函数是：

a->b->a.bitCount(a^b)==1

在线尝试。

对此进行了修改，因此其中没有数字，=也没有其中的一个+/*操作数可用于数值计算（因此，+用于String级联的罚款）：

该+""和.equals是通过比较String.equals(String)来代替int==int。
注意：Integer.equals(int)可以在这里使用，但会占用更多字节，因为.bitCount和和java.awt.Font.BOLD都是原始对象int而不是Integer-objects，因此在使用。之前，new Integer(...)需要另外一个将两者之一转换为-object Integer的方法.equals。

C（gcc），56个字节

d(a,b){return(sizeof((char)d))^__builtin_popcount(a^b);}

在线尝试！

0如果该对相差1，则返回，否则返回非零。对于C来说有点不寻常，除非您认为EXIT_SUCCESS如果该对相差1，则返回C，否则返回其他值。

用于sizeof((char)d))以1原始方式生成常数，同时也强制函数名称为原始。

然后，将1与参数XOR的popcount进行XOR运算。幸运的是，^符号很容易保持原始，很长的标识符也是如此__builtin_popcount。

同时，这是用于测试解决方案的脚本：

#!/bin/bash

SOURCE_FILE=$1
FOOT_FILE=$2
TMP_SRC=temp.c

LENGTH="$(wc -c <"$SOURCE_FILE")"
BITS=$((LENGTH*8))

cat "$SOURCE_FILE" >"$TMP_SRC"
cat "$FOOT_FILE" >>"$TMP_SRC"
if gcc -w $TMP_SRC -o t.out >/dev/null 2>&1; then
    if ./t.out; then
        echo "Candidate solution..."
    else
        echo "Doesn't even work normally..."
        exit
    fi
else
    echo "Doesn't even compile..."
    exit
fi

for i in $(seq 1 $BITS); do
    ./flipbit "$i" <"$SOURCE_FILE" >"$TMP_SRC"
    cat "$FOOT_FILE" >>"$TMP_SRC"
    if gcc -w $TMP_SRC -o t.out >/dev/null 2>&1; then
        echo "Testing flipped bit $i:"
        cat "$TMP_SRC"

        ./t.out >/dev/null 2>&1
        STATUS=$?
        if [ "$STATUS" -eq 0 ]; then
            echo "It works!"
            exit
        elif [ "$STATUS" -eq 1 ]; then
            echo "It doesn't work..."
            exit
        else
            echo "It crashes"
        fi
    fi
done

使用./flipbit我编写的工具的来源很简单：

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[]) {
    int bittoflip = atoi(argv[1]) - 1;
    int ch;

    while ((ch = fgetc(stdin)) != EOF) {
        if (bittoflip < 8 && bittoflip >= 0) {
            putchar(ch ^ (1 << bittoflip));
        } else {
            putchar(ch);
        }

        bittoflip -= 8;
    }

    return 0;
}

棘手的是：

• 空格：所有空格（包括换行符）都有原始的双胞胎，它们的工作原理类似
• 比较：=效果不好，因为在每种情况下它都可能是一个比较。同样，效果-也不佳。从而^用于断言与1相等。
• 变量名称：f与b冲突，因此必须使用d作为函数名称。

R，38 37字节

-1个字节感谢Nick Kennedy。

dpois(log2(bitwXor(scan(),scan())),T)

在线尝试！（感谢Giuseppe正确设置了TIO。）

证明它是原始的（使用Nick Kennedy的检查器）。

输出0表示错误，而正值表示真实，我理解这是可以接受的，因为R会将其解释为False和True。

说明：bitwXor(a,b)给出a和之间的按位XOR（作为整数）b。要检查其是否为2的幂，请检查其以2为底的日志是否为整数。该函数dpois提供了泊松分布的概率密度函数：对于非整数值，其值为0，对于非负整数，其值为正。之所以T在那里，是因为dpois需要第二个参数（任何积极的实数，并且T被解释为1）。

如果我们坚持要输出到不同的值，则以下版本以42字节输出FALSE或TRUE（感谢-8字节的Giuseppe）：

dpois(log2(bitwXor(scan(),scan())),T)%in%F

并且也是质朴。在线尝试！

R，83字节

t(identical(sum(.<-as.double(intToBits(Reduce(bitwXor,scan())))),sum(T^el(.[-T]))))

在线尝试！

证明这是原始的

回避的事实，工作as.integer，as.double等等都只有一点点距离is.integer，is.double等是最难的一点。最后，我可以做的最好sum(T^el(.[-T])的办法是既生成一个，又检查as.double返回的长度向量大于1。包装t是为了处理否则identical可能成为事实ide~tical。

朱莉娅0.7，20字节

(a,b)->ispow2(a⊻b)

在线尝试！

这是一个原始验证器，尝试对某些输入运行每个已修改的匿名函数，但均未成功通过。请注意，该代码具有多字节unicode字符，并且甚至不包括位翻转的某些可能输出，因为这些输出会产生无效的UTF-8字符串。

C＃（Visual C＃交互式编译器），37字节

a=>b=>a!=b&((a^b)&-(a^b)).Equals(a^b)

该a=>b=>部分不能改变，否则功能无效。

在中a!=b，=不能更改，因为int无法将其转换为bool。

在线尝试！

C＃（Visual C＃中交互式编译器），128 101 77 70 61 74字节

-27字节，感谢 Ascii-Only

a=>b=>{var d=Math.Log(a^b,(int)Math.E);return d.Equals((int)Math.Abs(d));}

在线尝试！

您必须很有创造力才能在不使用文字的情况下获得C＃中的数字。仅使用^运算符。变量a，b彼此之间的距离都超过1位，其他所有内容都是关键字/名称。

JavaScript（严格模式下为ES6），61字节

(y,z,e)=>eval(`(y${(e='^=z)*!(y&~-y)')!='^=z)*!(y&~-y)'||e}`)

在线尝试！或确保所有修改的程序都错误

Groovy，47 36字节

a,b->a.bitCount(a^b).equals(-~(a^a))

在线尝试！

改编版的Kevin Cruijssen的Java答案。

MATLAB，37个字节

@(c,e)eq(nnz(de2bi(bitxor(c,e))),eye)

抱歉，没有TIO链接，因为我无法使测试套件在Octave下工作。感谢@ExpiredData提供一些有用的评论。

测试套件：

program = '@(c,e)eq(nnz(de2bi(bitxor(c,e))),eye)';
number_of_characters = nnz(program);
success = [];
for character_counter = 0 : number_of_characters
    for bit_no = 1:8
        prog_temp = program;
        if(character_counter > 0)
            prog_temp(character_counter) = bitxor(double(prog_temp(character_counter)),2^(bit_no-1));
        elseif(bit_no<8) % Test the unmodified program once
            continue
        end
        try
            eval(prog_temp);
            eval('ans(2,3)');
            disp(prog_temp)
            success(end+1)=1;   
        catch
            success(end+1)=0;
        end 
    end
end
assert(nnz(success)==1)

Perl 6，77 43个字节

感谢Jo King提供-33个字节。

{elems(i)eq(sum [+^](@_).polymod(+@_ xx*))}

这相当于

{1 eq(sum [+^](@_).polymod(2 xx*))}

1被改写为elems([""])。2被改写为sum(elems([""]),elems([""])) ;elems(["",""])可能似乎elems([""-""])有效，但也有效，并且似乎使测试仪挂起。

在线尝试！

JavaScript（Node.js），20字节

b=>d=>[i=d^b][i--&i]

在线尝试！

Arnauld验证器，已修改（不严格使用）