https://zzy979.github.io/posts/cpp-redefinition/