Proposed resolution (February, 2010): Change 13.9.4 [temp.expl.spec] paragraph 1 as follows: An explicit specialization of any of the following:
class template
static data member of a class template member class of a class template member class template of a class or class template
can be declared...
non-deleted function templatenon-deleted member function of a class templatenon-deleted member function template of a class or
class template
According to 13.9.4 [temp.expl.spec] paragraph 1, only non-deleted
function templates may be explicitly specialized. There doesn't appear to
be a compelling need for this restriction, however, and it could be useful
to forbid use of implicitly-instantiated specializations while still
allowing use of explicitly-specialized versions.