2008-09-19から1日間の記事一覧

C++0x コンセプト - 特定の型を持っているか

C++

// Tはresult_typeを持っていなければならない、というコンセプト auto concept HasResultType<typename T> { typename result_type = T::result_type; } struct hoge { typedef int result_type; }; struct hage {}; template <HasResultType T> T::result_type foo() { } int main() { f</hasresulttype></typename>…