(JavaCard)由bipush引申出的类型转化

在jcvm规范中关于命令bipush的描述如下：

 

7.5.14 bipush

Push byte

 

Format

    bipush

    byte

 

Forms

    bipush = 18 (0x12)

 

Stack

…->

…, value.word1, value.word2

 

Description

The immediate byte is sign-extended to an int, and the resulting value is pushed 

onto the operand stack.

 

看描述很简单，就是将一个byte带负号扩展为一个int类型，并压入操作栈。很容易写出实现逻辑：

 

void VMBc_BiPush(void)

{

    VMFrame_StackPushInt(oprand[0]);    

}

进行调试，逻辑如下：

byte b = -1;

int a = b;

 

惊奇的发现，a居然是255！！！，检查一下，原来是符号扩展在作怪。

作为操作数，oprand在JVM的实现中被定义为unsigned char(注意这个char是C语言的)，也就是一个8位的无符号数，

而PushInt希望的是一个32位的有负号数，此时就发生了一次隐式的类型转化。-1被转化为255。在网上找到了下面这段描述：

 

多重转型
转型被用来将一个数值从一种类型转换到另一种类型。下面的程序连续使用了三
个转型。那么它到底会打印出什么呢？
public class Multicast{
public static void main (String[] args){
System.out.println((int)(char)(byte) -1);
}
}
无论你怎样分析这个程序，都会感到很迷惑。它以int 数值-1 开始，然后从int
转型为byte，之后转型为char，最后转型回int。第一个转型将数值从32 位窄
化到了8 位，第二个转型将数值从8 位拓宽到了16 位，最后一个转型又将数值
从16 位拓宽回了32 位。这个数值最终是回到了起点吗？如果你运行该程序，你
就会发现不是。它打印出来的是65535，但是这是为什么呢？
该程序的行为紧密依赖于转型的符号扩展行为。Java 使用了基于2 的补码的二
进制运算，因此int 类型的数值-1 的所有32 位都是置位的。从int 到byte 的
转型是很简单的，它执行了一个窄化原始类型转化（narrowing primitive
conversion），直接将除低8 位之外的所有位全部砍掉。这样做留下的是一个8
位都被置位了的byte，它仍旧表示-1。
从byte 到char 的转型稍微麻烦一点，因为byte 是一个有符号类型，而char
是一个无符号类型。在将一个整数类型转换成另一个宽度更宽的整数类型时，通
常是可以保持其数值的，但是却不可能将一个负的byte 数值表示成一个char。
因此，从byte 到char 的转换被认为不是一个拓宽原始类型的转换，而是一个拓
宽并窄化原始类型的转换（widening and narrowing primitive conversion）：
byte 被转换成了int，而这个int 又被转换成了char。
所有这些听起来有点复杂，幸运的是，有一条很简单的规则能够描述从较窄的整
型转换成较宽的整型时的符号扩展行为：如果最初的数值类型是有符号的，那么
就执行符号扩展；如果它是char，那么不管它将要被转换成什么类型，都执行
零扩展。了解这条规则可以使我们很容易地解决这个谜题。
因为byte 是一个有符号的类型，所以在将byte 数值-1 转换成char 时，会发生
符号扩展。作为结果的char 数值的16 个位就都被置位了，因此它等于216-1，
即65535。从char 到int 的转型也是一个拓宽原始类型转换，所以这条规则告
诉我们，它将执行零扩展而不是符号扩展。作为结果的int 数值也就成了65535，
这正是程序打印出的结果。
尽管这条简单的规则描述了在有符号和无符号整型之间进行拓宽原始类型时的
符号扩展行为，你最好还是不要编写出依赖于它的程序。如果你正在执行一个转
型到char 或从char 转型的拓宽原始类型转换，并且这个char 是仅有的无符号
整型，那么你最好将你的意图明确地表达出来。
如果你在将一个char 数值c 转型为一个宽度更宽的类型，并且你不希望有符号
扩展，那么为清晰表达意图，可以考虑使用一个位掩码，即使它并不是必需的：
int i = c & 0xffff;
或者，书写一句注释来描述转换的行为：
int i = c; //不会执行符号扩展
如果你在将一个char 数值c 转型为一个宽度更宽的整型，并且你希望有符号扩
展，那么就先将char 转型为一个short，它与char 具有同样的宽度，但是它是
有符号的。在给出了这种细微的代码之后，你应该也为它书写一句注释：
int i = (short) c; //转型将引起符号扩展
如果你在将一个byte 数值b 转型为一个char，并且你不希望有符号扩展，那么
你必须使用一个位掩码来限制它。这是一种通用做法，所以不需要任何注释：
char c = (char) (b & 0xff);
这个教训很简单：如果你通过观察不能确定程序将要做什么，那么它做的就很有
可能不是你想要的。要为明白清晰地表达你的意图而努力。尽管有这么一条简单
的规则，描述了涉及有符号和无符号整型拓宽转换的符号扩展行为，但是大多数
程序员都不知道它。如果你的程序依赖于它，那么你就应该把你的意图表达清楚。

 

修改代码为

void VMBc_BiPush(void)

{

    VMFrame_StackPushInt((char)oprand[0]);    

}

运行成功～