这个问题需要一些功底，大佬来

yeweiyang

问题如图，当传递字节集下标超过256时，参数在内存中多了一个 01 字节，为 42 01 00 00，字节集下标小于等于256都正常，内存中是 x 00 00 00

我怀疑是数组下标超过了256的问题，但是以我多年的编程经验来看，你数组下标超过了255，和你取出值数组的值传递给其他函数，这两者怎么会联系到一起？？？？

百思不得解，大佬来分析一下~~~~

图片字节集自己随便导入一个就可以，不影响本问题，本问题核心本质是数组下标取值后的传递竟然不是原值。




补充内容 (2022-11-28 11:50):
这个函数要怎么修改我也知道，取第一个字节就可以，不管多出来的01，现在我不是想知道如何修复，我是想知道为什么数组下标超出256以后会多01

同学麻烦让让

测试确实是这样的，不知道算不算BUG，push不满4个字节的参数到栈里的时候没有用movzx命令零位扩展到32位再压栈，而是直接给低8个字节赋值然后把整个32位压栈，这样高24位的数据都是垃圾数据，所以会影响结果，取513下标的值前面多的数据就不是1而是2了，取769下标的值前面多的数据就是3了，只有在256下标以下的才不受影响。
VS就不是这样，把一个字节压栈的时候首先零扩展为32位再压栈，这样栈里的4个字节的数据就没有垃圾数据了。



只能说两种语言的处理方式不同，我觉得VS的更合理，易语言里的那种只给al赋值然后把eax都压栈的明显有问题。

yeweiyang

感谢各位大佬，总结一下，确实是易语言字节集数组的一个特性的问题，不知道算不算bug。至少和C++中是不一样的

如图，易语言从字节集数组中取第x个字节，特性是每256次一个循环，这个循环次数插入到高字节序



举个通俗易懂的例子，假如一个长度无限的重复字节集数组 {66}

bin[256] = {42,0,0,0}
bin[257] = {42,01,0,0}
bin[513] = {42,02,0,0}
bin[769] = {42,03,0,0}
bin[769] = {42,04,0,0}

依次类推，这个是栈中的实际数据格式

如果自己汇编处理，没有处理好字节数，那么就会出现问题，因为多了一个扩展字节

在其他编译器中，是用 movzx 来消除








补充内容 (2022-11-28 15:23):
42就是66，严谨的来说，这里{}应该是66，实际内存中十六进制是42，这些细节不重要

真冬

我觉得应该是表示只有一个字节

凌哥

你用汇编读的是4字节，而不是1个字节

陽陽陽

会不会是自动找了一块其它变量？
还是说要四字节对齐（把所有相关的知识搬上来蒙一蒙）

yeweiyang

凌哥 发表于 2022-11-28 11:20
你用汇编读的是4字节，而不是1个字节

我意思是参数栈中的数据为什么是 42 01 00 00 ，数组下标256以内就是 42 00 00 00，高于256就会多一个01 字节，很奇怪，按理来说取字节集下标数据，怎么可能会影响到入栈的数据

yeweiyang

真冬 发表于 2022-11-28 11:09
我觉得应该是表示只有一个字节

但是下标 256 以内就是正常的，也是一个字节，就没有多一个 01

第八号当铺

这个汇编代码 是什么支持库插件吗

福仔

既然你传递进去的是一个字节, 那就应该只读一个字节, 而不是4个字节, 你这样处理的话, al的值就是你传递进来的值
如果你要怎么处理, 那ret前应该加上 and eax, 0xff

福仔

yeweiyang 发表于 2022-11-28 11:46
我意思是参数栈中的数据为什么是 42 01 00 00 ，数组下标256以内就是 42 00 00 00，高于256就会多一个01  ...

不要认为栈数据会自动清0, 你push的一个字节, 那你就应该认为只有一个字节有效, 而不是4个字节都有效
编译器会优化, 你只传递了一个字节, 那传递的时候就只改变一个字节, 所以你在使用的时候就只能使用一个字节



反汇编一下就知道为什么你取到的值是错的了, push的时候只修改了一个字节, 但是push的时候是把整个寄存器push进去
所以在读参数的时候只有一个字节有效