ありゃ？そういえばExpression Templateには演算子のオーバーロードを制限するためにCRTPが必須だと今までずっと思い込んでいたけれど，よくよく考えてみればSFINAEで制限出来るじゃん．演算子の場合引数の個数が固定されるからSFINAEが使えないとばかり勘違いしてた．何のことはない，戻り値の型にenable_if使えば良いだけじゃないか．何で今まで気が付かなかったんだろ？
あ〜
でも下位のクラスから実装を吸い上げる必要があるから結局CRTP要るのか・・・．
いや
ちゃうちゃう，やっぱりCRTP不要なんだって．
うむ
書いてみないと分からんな．
