现在的位置: 首页 > 综合 > 正文

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

2018年02月12日 ⁄ 综合 ⁄ 共 639字 ⁄ 字号 评论关闭

本文环境: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下提示过于相信。反而不好找错误。

抱歉!评论已关闭.