方が適切であり、こちらを使うべきである。[7]実はこういったトレイトの実装抜けは、たまに発見されては実装が追加されたりなどしている。実に多くの種類がある。いった見落としのひとつである。等することで未定義動作を阻止するという実装は可能である。このような実装ではどのような処理の前にも必ず検査をする必要があり、検査コストが軽くない場合にそのようなことをすると大変ありがたくない。!」としてしまうのが定石である。