Conceptは難しい

C++0x の Concept の詳しい説明を書こうとしたが、一体、何から始めるべきなのか。

ConceptGCCのFAQに、concept_mapはメンバ関数はadaptできないと書いてあるけれど、できるんじゃないかなぁ。

if f is a non-static associated member function and the concept map contains one or more member function or member function template definitions in the type X and with the same name as f, E is x.f(parm10, parm20, ..., parmN0), where name lookup of x.f refers to the definitions of X::f in the concept map