implicitly convert type 'int' to 'short'的原因与解决方法

       请注意上述解释主要针对parse阶段。实际上，到了代码生成阶段，出于性能等目的，类型可能还会得到进一步提升，如s+=1这个例子，实际上在IL代码生成阶段，这个parse阶段识别出来的(short)1最终被提升为了(int)1，这应该便是瑞克观察到的IL参数4字节对齐的现象了。其实，为避免混淆，我觉得一般使用者理解到parser层面便足矣，因为类型的判别和兼容性检查在代码生成阶段已经不是关键问题了，不过当然，只要是良性类型提升，无论哪个阶段都是可以做的，甚至，只要在parse阶段编译器已经获得了正确的类型信息，那么，在代码生成阶段对变量再进行非良性的类型转换，这也是有保障的设计行为。至此，我相信解释应该完整了...