GDI+库提供了GC,但是在我看来,这没什么好处,反而让本来就不太容易的C++编程变得更困难。
库使用GC管理其对象的话,那么它应该了解对所有对象的引用,当存在引用的时候不去回收,但是这样做的代价是很大的,很多库确实就没有这样去做(例如GDI+)。这给库的使用者带来了很大的对象管理问题。C++程序员遵循一些良好的编程管理,在不需要对象的时候释放掉它,哪怕是被GC管理的,也应该主动让GC回收。拿GDI+来说,new了一个Image,在不再需要它的时候就应该delete,GDI+重载了new和delete,这两个操作隐式的使用GC来管理对象。被GDI+的GC管理的对象和离其最近的GdiplusStartup和GdiplusShutdown相关,其声明周期最长就是在最近的这两个调用之间。如果一个Image不了解其最近的GdiplusStartup和GdiplusShutdown调用,那么很可能会在其声明结束后还对其进行访问,带来的问题可想而知。
GDI+这样的问题在使用动态库的程序中更加混乱,不同的模块很难获知其他模块的GdiplusStartup和GdiplusShutdown调用,这就可能导致模块1的GDI+对象创建在模块2的GdiplusStartup和GdiplusShutdown调用之间,那么模块2的GdiplusStartup和GdiplusShutdown作用域一结束,模块1的这个对象就将被回收,而模块1却不得而知。
当然解决的方法不是没有,那需要让每个模块在初始化GDI+(也就是初始化GC)的时候先测试一下是否已经有GC在运行(也就是已经初始化过了GDI+),这样来保证全局只有一个GC,再保证这个GC生命周期在全局范围内最大就可以了。
但是,这样已经很明显的给C++程序员带来了更多的麻烦,其实这GC的好处和性能的提升可能根本就不抵这些麻烦。
C++编程是比较困难的,对于对象管理这样的事情最好还是交给程序员,库最好别去代劳,这样才能让程序更清晰简洁,程序员也将更少的去面对隐式的东西。