概念不能递归地在函数的主体或变量的初始化器中引用它们自己: 二次 template<typenameT>conceptboolF(){returnF<typenameT::type>();}//errortemplate