//这个文件中是的对约束的检来自于SGI-STL 1999年加入的模板类型检查，在GNU-STL(libstdc++)中完全参考了SGI-STL的实现 //当然这种检查在C++11之后被编译器支持的concept，以及静态断言系统取代了，但是还是对于参数宏，模板的检查与模板类型的检查等学习有很大的参考价值
