C++: интерфейс без наследования

Так можно сделать только если T будет наследником I1. Альтернативным вариантом будет использование шаблонной функции f, с ограничением на то, каким может быть принимаемый объект типа typename T. Ограничение лучше всего делать с помощью концептов, которых пока в языке нет. Поэтому делать их придётся с использованием различных техник метапрограммирования. Но не ясно, насколько Вам это реально нужно, т.к. в большом количестве случаев можно обойтись просто неограниченным T, который даст ошибку компиляции, если у него нет соответствующей функции. Т.е. вот такой простой вариант:

template <typename I>
void f(I& i) {
  i.M1();
}