Boost是极有才华的程序员们编写的C++库。Boost中的编程技巧、对C++及泛型的使用方式、以及其最终实现的效果都令人吃惊，甚至叹为观止。C++是强类型语言，有严格的类型检查。而Boost使用C++实现了弱类型的效果，着实在C++的墙上打了一个洞。

C++的强类型特征曾被视为一种优点。至今它仍然也是优点。严格的类型检查可以帮助程序员检测出代码中的错误，可以提醒程序员注意到数据的取值范围，可以规范程序员对变量的使用，并在一定程度上增加程序的易读性。可以说C++编译器对数据类型的检查筑起了一堵类型高墙，对变量任何错误的赋值、错误的使用都会被挡住，任何可能会出错的地方都会被提醒。比如下面的代码，在编译的时候是通不过的。

int i;

i = "I am a string!";

这堵墙被筑在了编译器上，而在这堵墙之后，在程序的运行期，则几乎完全没有类型检查。不仅如此，类型信息似乎已经被抛弃了。程序不能在运行期得到数据的类型信息，因此也无法在运行期依据类型选择相应的操作。

比如在C++中就实现不了像下面这样的语句：

void * makePlace( para)

{

    int len;

    len = para类型数据占用空间的大小;

    return 分配len个字节的内存;

}

在模板被引入之前，C++中只能用函数重载来增加可读性。使多个类型的内存分配功能都使用makePlace这个函数名，如：

void * makePlace (int para)

{

    return new char[sizeof(para)];

}

void * makePlace (float para)

{

    return new char[sizeof(para)];

}

如果有很多类型，那么就要写很多个makePlace。这些makePlace函数都是相似的。这只是一个简单的例子，事实上，有很多算法、结构都是可以应用到多种数据类型的，而为每种类型重写一堆代码，显然麻烦的很。

后来C++增加了泛型特征，可以在程序中使用模板。模板放在类型墙的前面，相当于一个变身器。把一个类型无关的算法放进来，生成一个符合类型法则的新算法，然后再放过到墙的另一边去。比如上面的makePlace代码，可以写成下面这样：

template<typename T>

void * makePlace(T para)

{

    return new char[sizeof(T)];

}

也许在C++中引入泛型模板只是为了这个朴素的目的，让程序员少做些重复的工作。也许泛型标准的设计者当初认为这一点算不上类型墙上的裂缝，不会影响到C++的强类型特征。呵呵，想想IE浏览器忙着封堵的那些漏洞吧。

这世上总会有一些智慧让你惊。Boost就是这样的东西。

Boost没有修改C++的任何规则。它是一个完全符合C++规范的代码库。

但是看看这段代码（摘自刘未鹏的文章：泛型指针类any之海纳百川）：

int i;

long j;

X x; //假设X为用户定义的类

any anyVal=i;

... //use anyVal as a int value

anyVal=j;

... //use anyVal as a long value

anyVal=x;

... //use anyVal as a long value

噢。。。这是什么，那个anyVal是什么类型的？any?它能除了int,long,X，还能赋值成别的类型么？这是C++程序么？ 还是别的什么东东？

any是Boost的泛型指针，它确实可以赋值成任何类型。any其实是一个类。但any确实可以是任何类型。但单纯的any也什么类型也不是。当它是C#中的var好了。

再看看下面这段代码（摘自刘未鹏的文章：泛型指针类any之海纳百川）：

#include "boost/assign/std/vector.hpp"

using namespace boost::assign;

vector i_v;

i_v += 1,2,3,4,5;

看看上面代码中最后一句的赋值语句。你真的还相信这是C++程序么？这样的代码能通过编译么？在C++编译器这堵墙还竖立在那里的时候，Boost能让这些代码顺利穿过么？

Boost做到了！

我想知道Boost是怎么做到的，我下载了Boost的源文件，我看到了Boost的源代码，我看到了复杂的模板，我看到了自己想像不出的高超技巧！ Boost确实能在C++中实现这些代码。

事实上Boost实现的效果远不止文中描述的这些。Boost的源代码似乎也高于我的智慧，以至于我仍没有完全弄清楚它是怎么实现的，只能以后慢慢研究了。

C++的类型检查、语法规范等都很严格。它们像墙一样保护了C++程序的安全，并严格限制了C++的代码。Boost是使用C++编写的库，符合C++规范却让弱类型操作和奇怪的语句顺利穿过了这些墙。我觉得Boost不只是在发展C++，也是在C++自己的墙上打洞。

作者：苏林

评论更加精彩：

来自：http://blog.csdn.net/Slin000/archive/2008/03/24/2213220.aspx

分类： C++名库 编程语言