Replace empty constructors/destructors with C++11 "default" feature

[abhiojha8]

We are closing this because both of these are user-defined destructors, and so they have no difference. Both should work fine.