One could also implement the same by using the std::unique_ptr<Cal_BddManagerStruct, int(*)(Cal_BddManager)> but this...
... is simpler and makes for slightly cleaner code (there is no need to add a .get() everywhere.
... keeps the dependency on the std as small as possible. In fact, we may want to also eliminate the dependency on the std::vector<_>? This does not really create any issues, since calObj.hh is header-only and id always compiled by the user; hence, one does not run into any issues with different versions of the std library.
One could also implement the same by using the
std::unique_ptr<Cal_BddManagerStruct, int(*)(Cal_BddManager)>but this....get()everywhere.stdas small as possible. In fact, we may want to also eliminate the dependency on thestd::vector<_>? This does not really create any issues, sincecalObj.hhis header-only and id always compiled by the user; hence, one does not run into any issues with different versions of thestdlibrary.