explicit specialization of methods of a template class in several .so

Hi All,
I need a confirmation that what I do is perfectly correct and I need to learn documents that confirm that.
I have a template class (

Code:

template <class T> class C

) which is defined in the shared library "a". Some of the methods of the class C are specialized/defined explicitly for some particular type TT in the same shared library "a" and an object of

Code:

C<TT>

is constructed in this library as well. One method ( ex: void

Code:

C::f()

) is not specialized explicitly for type TT in library "a" but specialized in another shared library "b". Just in case:

Code:

C<T>::f()

has some compilable definition for any type T, ex:

Code:

template<class T> void C<T>::f(){}

in library "a".
Library "b" is not always linked to "a". If it's not linked the default

Code:

C<T>::f()

is called (which does nothing).
If "b" is linked to "a" then explicitly specialized

Code:

C<TT>::f()

which resides in "b" is called. This is what I expect.
Is it standard behavior? Is it documented somewhere? Where?
I'm using gcc under linux and the code is compiled for FreeBSD.

Thanks,
Boris

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 don't have any compilable code at all, right? Unless you mean the compilable code is in some header that you can #include.

(EDIT: Or perhaps you mean at the time a is compiled. In that case, when a is compiled, the compiler knows nothing about b, so C<TT>::f would only be created if it is instantiated in the library. If you don't instantiate it, but then do in library b, I wouldn't expect any clashes.)

tabstop, thank you for the reply. To clarify "compilable":

Code:

template<class T> void C<T>::f(){}

is compilable(or rather compiler can generate a code whenever it needs) for any type T. This code is generated for type TT in library "a" and is called when library "b" is not linked "a".
I don't have any clashes but I can't rely just on that. I need some a confirmation(preferably a reference to some documents) that this is a proper behavior and that it does not depend on the sequence of the loading of the libraries, etc.

I got the answer at codeguru forum:
C++0x-draft-n3092, 14.7.3.6
If a template, a member template or the member of a class template is explicitly specialized then that
specialization shall be declared before the first use of that specialization that would cause an implicit instantiation to take place, in every translation unit in which such a use occurs; no diagnostic is required. If the program does not provide a definition for an explicit specialization and either the specialization is used in a way that would cause an implicit instantiation to take place or the member is a virtual member function, the program is ill-formed, no diagnostic required. An implicit instantiation is never generated for an explicit specialization that is declared but not defined.