>>494
そうです．traitsというよりはintrospectionといったほうが適切ですかね．
traitsはユーザが明示的に特殊化する分，確実ですけれど一方で面倒な側面もあると思うので，
ある程度は要件を自動的にテストしてくれたほうが楽かなという発想です．

>>495
boost::mpl::has_xxxは内部型の存在テストにしか使えないです．