Zusammenführung von Schnittstellen, ohne Zusammenführung

Question

Ich habe mir überlegt, ob es in C++ oder Java eine Möglichkeit gibt, so etwas zu tun

Interface IF1{
    ....
};

Interface IF2{
    ....
};

function f(Object o : Implements IF1, IF2){
    ...
}

d.h. ein Typsystem, das es erlaubt, die Implementierung von Schnittstellen zu verlangen.