请求解释这段Brainfuck if/else分支代码无法实现正确逻辑的原因

先把你提供的代码和问题背景贴出来：

// 若x = y则执行{if_code}；否则执行{else_code}

,>,< / 空内存
[-<-]>/ (x)'y
[->->]< / 0'(y-x)
+[ {if_code} ->> ]< / 【若x=y时】(0)'0；【若x≠y时】0'y-x'(1)
[ {else_code} [-] ]< / 0'(y-x)
/ 空内存

注释规则说明：/ 用于展示内存应有的状态，'用于分隔内存中的值，()用于标记指针所在位置，//用于添加注释，{}用于描述说明
实际运行时发现，无论输入何种值，if_code代码块与else_code代码块都会被执行，请求解释该代码无法正常实现分支逻辑的原因。

咱们一步步拆解这段代码的核心问题，本质是内存计算逻辑错误、分支标记位不互斥、指针管理混乱三者共同导致的：

1. 前置内存操作完全不符合预期 #

你的注释里说[-<-]>执行后会得到(x)'y，但实际Brainfuck执行时，这段指令的逻辑完全走偏了：
当前指针在第一个单元格（x的初始值），进入循环（因为x>0），循环体是- < -——也就是先把当前单元格减1，然后左移（此时会创建一个新的空白单元格，值为0），再把这个新单元格减1（变成-1），最后右移回到原位置？这完全不是你想要的保留x和y的操作，反而凭空造出负数值的单元格，彻底打乱后续的内存布局。

同样，后面的[->->]<也没有正确计算出y-x，这段指令的循环体是- > - >：每次把x减1，右移把y减1，再右移到新单元格——这根本不是计算差值的逻辑，反而会把x和y都往清零的方向改，最后得到的内存状态和你注释里写的0'(y-x)完全不沾边。

2. 分支标记位没有做到互斥 #

你试图用+来标记是否进入if分支，但不管x和y是否相等，执行+后对应的单元格值都会变成非零，导致[ {if_code} ... ]这个循环一定会触发，if_code必然执行。

而else分支的[ {else_code} [-] ]，因为前置内存操作错误，用来判断的单元格值也不是预期的0（当x=y时）或非零（当x≠y时），而是始终非零，所以这个循环也会被触发，else_code也跟着执行。

简单说，你没有设计一个“当if条件满足时，else的触发条件自动置零；反之亦然”的逻辑，反而让两个分支的触发条件都处于满足状态。

3. 指针位置混乱导致循环判断错位 #

Brainfuck的循环[是检查当前指针所在单元格的值，你的代码在每次循环后指针位置完全没有回到预期的判断单元格：
比如执行完+[ {if_code} ->> ]后，指针已经跳到了无关的单元格，此时]判断的是这个无关单元格的值，而不是你原本想用来分支判断的单元格；后续的<也没能把指针拉回正确的位置，导致else分支的[同样判断了错误的单元格值，进而触发不该执行的循环。

内容的提问来源于stack exchange，提问作者user17301834