Explicit specialization in non-namespace scope [duplicate]

by

VC++ is non-compliant in this case – explicit specializations have to be at namespace scope. C++03, §14.7.3/2:

An explicit specialization shall be declared in the namespace of which the template is a member, or, for member templates, in the namespace of which the enclosing class or enclosing class template is a member.
An explicit specialization of a member function, member class or static data member of a class template shall be declared in the namespace of which the class template is a member.

Additionally you have the problem that you can’t specialize member functions without explicitly specializing the containing class due to C++03, §14.7.3/3, so one solution would be to let Verify() forward to a, possibly specialized, free function:

namespace detail {
    template <typename TL> void Verify     (int, int[]) {}
    template <>            void Verify<int>(int, int[]) {}
}

template<typename T> class CConstraint {
    // ...
    template <typename TL> void Verify(int position, int constraints[]) {
        detail::Verify<TL>(position, constraints);
    }
};

More Related Contents:

  1. C++ syntax for explicit specialization of a template function in a template class?
  2. “invalid use of incomplete type” error with partial template specialization
  3. explicit specialization of template class member function
  4. Explicit specialization in non-namespace scope does not compile in GCC
  5. C++ : friend declaration ‘declares a non-template function
  6. Template instantiation details of GCC and MS compilers
  7. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  8. gcc can compile a variadic template while clang cannot
  9. Why do the usual access control checking applies to names used to specify explicit instantiation when accessed through template parameters?
  10. Can we see the templates instantiated by the C++ compiler?
  11. Where and why do I have to put the “template” and “typename” keywords?
  12. overloading friend operator
  13. “Undefined reference to” template class constructor [duplicate]
  14. How does #include work in C++? [duplicate]
  15. Compiling a C++ program with GCC
  16. Metaprograming: Failure of Function Definition Defines a Separate Function
  17. Template specialization of particular members?
  18. c++ template partial specialization member function [duplicate]
  19. What is the partial ordering procedure in template deduction
  20. Templates polymorphism
  21. GCC style weak linking in Visual Studio?
  22. Default template arguments for function templates
  23. Linking libstdc++ statically: any gotchas?
  24. Why can I call base template class method from derived class
  25. Template typedefs – What’s your work around?
  26. GCC: Difference between -O3 and -Os
  27. Using bts assembly instruction with gcc compiler
  28. Will I be able to declare a constexpr lambda inside a template parameter?
  29. What is the order of evaluation in a member initializer list?
  30. How do I use google mock in C?

Leave a Comment