读loki有感 ： 编译事（而不是运行时）的断言(assert)

本文环境：VS2005(VC8)
问题一：如果int不是64位，编译无法通过。
char test[sizeof(int)==8];//如果此行编译不过，原因：系统不是64位
原理：
数组的元素不能为0。
类似情况：
Window的int低位在前，高为在后。linux相反，安卓是基于linux的。
问题二：较大类别不能转化成较小类别，比如：int到char。
template<class FROM,class TO>
TO Change(const FROM& from)
{
    {
        char test[sizeof(TO)>=sizeof(FROM)];//如果此行编译不过，原因：FROM比TO长
    }
    return from;
}
如下使用没问题：
long i = Change<short,long>(1);
如下使用有问题：
short l = Change<long,short>(2);
VC8的错误信息如下：
1>f:\test\testdlg.cpp(630) : error C2466: 不能分配常量大小为 0 的数组
1>        f:\test\testdlg.cpp(645): 参见对正在编译的函数 模板 实例化“TO Change<long,short>(const FROM &)”的引用
1>        with
1>        [
1>            TO=short,
1>            FROM=long
1>        ]

试了一下loki的方法，VC8下提示过于相信。反而不好找错误。