He did provide the design behind "these gotchas." It is at 43:40
As for the specific examples which he brings up, those also get the specific goal stated as to why C++ has that strange condition.
Essentially, I don't know what you are complaining about.