【正确答案】

【答案解析】[解析] 程序中定义了一个无符号整型变量a和一个整型变量b，并且给它赋初值为-1，整型在计算机中都以二进制表示，-1在内存中表示为1111111111111111，所以当表示为无符号整数时转换为十进制数65535，故最后输出的无符号型a的值为65535。所以，4个选项中选项B符合题意。