05/05/12 03:28:39
>>497
＞具体的にどういうものを想定しているんですか?
いや，あまりろくなことを考えていないんですが，一応，型がどのコンセプトの
モデルなのかを識別するための手段として使えないか，と想定していました．
型がどのコンセプトのモデルであるかを識別できれば，クラステンプレートの特殊化や
汎用関数のオーバーロード選択をより柔軟にできるんじゃないかという考えです．例えば
template<class Iterator, class T>
void replace(Iterator first, Iterator last, T const &x);
という汎用関数があって，TがIteratorの値型に変換可能な型ならstd::replaceの機能で，
TがIteratorの値型を受ける単項述語ならstd::replace_ifの機能といった具合です．
逆に言うと，STLはこのようなコンセプトに基づいたオーバーロード選択の技術がないので
replaceとreplace_ifとに名前を分けざるを得なかった，とも言えると思います．
で，仮に例えばTのoperator()がIteratorの値型で呼び出せるかどうかを
テストできるような実装技術があれば，traitsの明示的な特殊化に頼ることなく
上記のような高度な振り分けができるんじゃないか，という考えです．
ただ，もちろんメンバ関数の存在テストはコンセプトの必要条件を調べられるだけで，
決してコンセプトのモデルであるための十分条件を調べることにはならないのですが・・・．