I'm not sure what you mean when you say "Just in case: C<T>::f()has some compilable definition for any type T, ex: template<class T> void C<T>::f() in library "a"." If this is a .so file, then you...