継承できない（しない）のはoperator=だけだろ
それとフリー関数で提供した場合は継承は関係ないが
"要求"は保存される
（コンセプトとは要求の集合である、という文脈で）