Impossible is nothing  
  爱过知情重醉过知酒浓   花开花谢终是空   缘份不停留像春风来又走   女人如花花似梦
公告
日历
<2024年3月>
252627282912
3456789
10111213141516
17181920212223
24252627282930
31123456
统计
  • 随笔 - 8
  • 文章 - 91
  • 评论 - 16
  • 引用 - 0

导航

常用链接

留言簿(4)

随笔分类(4)

随笔档案(8)

文章分类(77)

文章档案(91)

相册

搜索

  •  

最新评论

阅读排行榜

评论排行榜

 
所谓的compile-time Constraints就是在编译期使用C++的语法规则对设计进行约束检查,尽量在编译期把程序的问题暴露出来,节省成本。

常用的规则:
1.大小为0的数组在编译期会报错
template<typename T1,typename T2>
void check_size()
{
     
int dmp[sizeof(T1)==sizeof(T2)];
}

比如
check_size<int,long>();//ok
check_size<int,char>();//compile error:cannot allocate an array of constant size 0

2.不同类型的指针需要强制转换
以此可以用来判断两个对象是否有继承关系
template<typename T1,typename T2>
void is_derived(T1 *pd =0 ,T2 *pb=0)
{
    pb 
= pd;
}
比如:
is_derived<int,char>()  //compile failed

3.union的成员不能是非POD
union Test
{
    std::string s; //illegal
};
这一点可以用来测试一个类型是否是POD
template<typename T>
void check_pod()
{
    union {
        T data;
    };
};
比如:
check_pod<int>();//ok
check_pod<std::string>();//failed


常用的技巧:

1.利用模板特化
Loki里面的例子
namespace Loki
{
    template
<int> struct CompileTimeError;
    template
<> struct CompileTimeError<true> {};
}

#define LOKI_STATIC_CHECK(expr, msg) \
    { Loki::CompileTimeError
<((expr) != 0)> ERROR_##msg; (void)ERROR_##msg; } 
利用特化来定制错误信息

2.利用空函数来实现0开销
编译器可能将空函数优化掉

3.利用enum无开销的取得编译期的所得到的整数值
Loki里面的例子:
template <class TList> struct Length;
        template 
<> struct Length<NullType>
        {
            
enum { value = 0 };
        };
        
        template 
<class T, class U>
        
struct Length< Typelist<T, U> >
        {
            
enum { value = 1 + Length<U>::value };
        };
posted on 2006-02-27 18:42 笑笑生 阅读(129) 评论(0)  编辑 收藏 引用 所属分类: C++语言

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


 
Copyright © 笑笑生 Powered by: 博客园 模板提供:沪江博客