>>668
副作用がある場合でも省略されるというのは明記されている。

https://timsong-cpp.github.io/cppwp/n3337/class.copy#31
> even if the copy/move constructor and/or destructor for the object have side effects