软讯网络 > 编程语言 > C/C++ > Modern C++ Design(MCD)学习笔记 && 测试代码(一)

【标题】：Modern C++ Design(MCD)学习笔记 && 测试代码(一)
【关键字】：Modern,C++,Design,MCD
【来源】：http://www.cppblog.com/converse/archive/2007/02/04/18325.html

Modern C++ Design(MCD)学习笔记 && 测试代码(一)

MCD里面给我们展现了许多高阶的C++ template技巧，大部分都是天才级别的人才能想出来的，与此同时，这些技巧也稍显前卫了，至少根据我对国内C++程序员的了解，能把STL玩的很好的已经少见了，并且里面的大部分技巧是在“挑战编译器”。

但是，我还是决定好好把这本书看完，一边看一边摘录书中以及loki库中的代码进行测试，权当开阔自己的视野。

一.compile assert编译器断言技巧

//?以下是书中的代码

template<bool>?struct?CompileTimeError;

template<>?struct?CompileTimeError<true>{};

#define?STATIC_CHECK(expr)??\

????(CompileTimeError<?(expr)?!=?0>()?)

template<bool>?struct?CompileTimeChecker

{

????CompileTimeChecker(

);

};

template<>?struct?CompileTimeChecker<false>?{};

#define?STATIC_CHECK_MSG(expr,?msg)?\

????{\

????????class?ERROR_##msg?{};\

????????(void)sizeof(CompileTimeChecker<(expr)>?(ERROR_##msg()));\

????}

//?以下是loki中的代码

namespace?Loki

{

????template<int>?struct?CompileTimeError;

????template<>?struct?CompileTimeError<true>?{};

}

#define?STATIC_CHECK_LOKI(expr,?msg)?\

{?Loki::CompileTimeError<((expr)?!=?0)>?ERROR_##msg;?(void)ERROR_##msg;}?

int?main(int?argc,?char?*argv[])

{

????//?gcc不能编译，VC7编译通过

????STATIC_CHECK(1);

????//?gcc，VC7都不能编译

????//STATIC_CHECK_MSG(1,?Error_Msg);

????//?gcc，VC7都能编译

????STATIC_CHECK_LOKI(1,?Error_Msg);

????return?0;

}

这个东东的技巧在于：定义一个模版类，这个模版的模版参数是bool类型，对true的特化模版类进行了定义，而false的特化类没有定义，在使用的时候把需要断言的表达式作为模版参数来初始化这个模版类，如果为false，因为false的特化类没有定义，此时编译器会报错。

注意：这里的断言是在编译期进行的，与一般的运行时断言有区别。

未完待续....

inger源码分析－－错误报告模块：【上一篇】
从今天开始分析编译器inger的源代码：【下一篇】

【相关文章】

Modern C++ Design(MCD)学习笔记 && 测试代码(二)

将 Visual Studio C 和 C++ 项目迁移到 Eclipse CDT

c++里关于cerr,clog,cout三者的区别

几个c++语句的汇编实现(H1指令)

My understanding of Object Oriented C++

获得当前系统时间(C/C++)