>>31
クラスの継承関係と調べたい関数名がわかってればできるんじゃね？
static_assert(
is_super_sub<sup, sub>::value &&
has_XXX<sup>::value &&
has_XXX<sub>::value);
こんな感じで
継承関係にあって同じメソッド名前を持ってればオーバーライド=trueだよね