难度:

文前说明：文中涉及到的观点并不是要求你去遵循它，而本文只相当于一篇“科普文章”。其中的关于template的语法在这里就不过多介绍了。例如，下文中提到的条件，都是要意识到是编译期常量。

C++ template 为我们提供了编译期计算的功能。编译器在处理template时，实际上相当于一个解释器的作用。充分利用template可以提高代码的运行速度，可以降低代码维护的复杂度，还可以为代码提供更具扩展性的能力。下面就尝试一下这样的编程方式。

一、  C++ template替代if/if-else语句

if(条件)

语句1;

else

语句2;

在C++ template中，我们可以这样写

template<bool cond>

struct my_if{};

template<>

struct my_if<true>{

static void go()

{ 语句1; }

};

template<>

struct my_if<false>{

static void go()

{ 语句2; }

};

例如，我们判断两个整数

my_if<(1<5)>::go();

也许你会觉得这个if/if-else的template有点大提小做的感觉，呵呵，继续往下看

二、  将C++ template版的if/if-else扩展成能应付switch的代码

如果你是一个面向对象编程的高手，你肯定不会在你的代码中安置switch这样的代码，你肯定会用通过抽象、继承、多态和接口来完成这个任务。不过现在要换一个思维，用C++ template来实现。其实这里的代码和上面的if/if-else相差无几，但是在用于switch时，也同样能出色地体现出OC原则。

int i;

switch(i)

{

   case 值1;

       语句1;

       break;

   case 值2;

       语句2;

       break;

     default:

       语句3;

}

下面是C++ template版本

template<int I>

struct my_switch{

    static void go(){

         语句3;

}

};

template<>

struct my_switch<值1>{

static void go()

{ 语句1; }

};

template<>

struct my_switch <值2>{

static void go()

{ 语句2; }

};

调用就是my_switch<值>::go();

你也许仍然找不出C++ template版本的switch好处，因为它要写更多的代码。不过你现在静下来认真的想一想，你会发现当你为switch插入新的值判断时，你要返回到switch处，而且还要修改内部的代码。而用C++ template却不需要你去关心my_switch到底在哪里定义的。要添加新的值判断时，只需要你自己在一个合适的地方添加值判断的代码。

三、  基于C++ template的数值运算

计算一个常数N的阶乘

template<int N>

struct factorial{

    static const int value = N * factorial<N-1>::value;

};

template<>

struct factorial<1>{

    static const int value = 1;

};

当这个类模板实例化factorial<N>，就会接着实例化factorial<N-1>，直到实例化fatorial<1>为止。而你只需要实例化自己想要计算的N就行了，后面的一切全由编译器包办。例如我们要输出10的阶乘答案

std::cout<<factorial<10><<std::endl;

四、  借助上面数值计算的方法以产生更实用的代码

是否考虑过得到指针的原型，比如通过int*，得到int。我们可以写出下面的代码

template<typename T>

struct primitive_type{

    typedef T value_type;

};

template<typename T>

struct primitive_type<T*>{

    typedef T value_type;

};

typedef int* pint;

primitive_type<pint>::value_type obj=5;

std::cout<<obj<<std::endl;

现在可以明确obj不是int*，而是int类型。但是有个缺陷就是但T是int**时却的不到int，而是得到的int*，这并不是我们想要的答案。现在只需要其实稍微对primitive_type的偏特化版本作下简单的修改，就可以满足要求

template<typename T>

struct primitive_type<T*>{

    typedef typename primitive_type<T>::value_type value_type;

};

typedef int**** pint;

primitive_type<pint>::value_type obj=5;  这个obj可以确认他是int，而不是int***

难度:

先阅读下面的代码然后来解答下面的那个问题

struct A

{};

int main()

{

A *p = new A;

p->~A();

free(p);

}

问题：new/delete 和 malloc/free 有哪些区别？

答：new/delete 会在分配的内存上调用对象的构造函数和析构函数来初始化和销毁对象，而 malloc/free 却不能。更重要的是new/delete 和 malloc/free 不能混用。

new 是在自由存储区中分配内存，delete 是负责释放自由存储区中的内存

malloc 是在堆中分配内存，free 则负责释放。

自由存储区和堆的访问方式是不同的，或者说是与平台相关的，如果混用那么必将导致程序崩溃。在某些编译器上也许不会出现问题，但永远相信这是错误的、不可移植的。

现在，上面那段代码有问题吗？