读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下提示过于相信。反而不好找错误。