S
SainTiss
Hi,
I've been looking into the standard for a clear statement on whether partial
specialization of member functions of class templates is allowed or not.
14.7.3/4 says that explicit specialization of a member function is legal,
but doesn't state that partial specialization is not.
One might argue that the standard indicates that partial specialization
implies a distinct template, and therefore defining a member function
requires the specialized class to be defined as well (explicitly
instantiated).
However, I don't find that very clear in the standard...
Did I just misinterpret some sections, or is this really somewhat blurry?
Thanks,
Hans
I've been looking into the standard for a clear statement on whether partial
specialization of member functions of class templates is allowed or not.
14.7.3/4 says that explicit specialization of a member function is legal,
but doesn't state that partial specialization is not.
One might argue that the standard indicates that partial specialization
implies a distinct template, and therefore defining a member function
requires the specialized class to be defined as well (explicitly
instantiated).
However, I don't find that very clear in the standard...
Did I just misinterpret some sections, or is this really somewhat blurry?
Thanks,
Hans