Specialized template function with deleted “general” case fails to compile with g++

by

I don’t know if the following will be enlightening but I found defect report 941: Explicit specialization of deleted function template with status C++11 that states the following (Emphasis Mine):

According to 14.7.3 [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.

Proposed resolution (February, 2010):

Change 14.7.3 [temp.expl.spec] paragraph 1 as follows:

An explicit specialization of any of the following:

non-deleted function template

class template

non-deleted member function of a class template

static data member of a class template

member class of a class template

member class template of a class or class template

non-deleted member function template of a class or class
template

can be declared…

Now the current state of the draft standard N4527 is 14.7.3 Explicit specialization [temp.expl.spec]:

1 An explicit specialization of any of the following:

(1.1) — function template

(1.2) — class template

(1.3) — variable template

(1.4) — member function of a class template

(1.5) — static data member of a class template

(1.6) — member class of a class template

(1.7) — member enumeration of a class template

(1.8) — member class template of a class or class template

(1.9) — member function template of a class or class template

…

So I guess:

template<typename T>
void foo() = delete;

template<>
void foo<int>(){}

int main() {
    foo<int>();
    return 0;
}

Is C++11 standard compatible code and should be accepted.

More Related Contents:

  1. How to emulate C array initialization “int arr[] = { e1, e2, e3, … }” behaviour with std::array?
  2. using extern template (C++11)
  3. C++11 make_pair with specified template parameters doesn’t compile
  4. How is “=default” different from “{}” for default constructor and destructor?
  5. What is “Expression SFINAE”?
  6. How to initialize std::array elegantly if T is not default constructible?
  7. Why should I avoid std::enable_if in function signatures
  8. Template tuple – calling a function on each element
  9. Calling a function for each variadic template argument and an array
  10. Detecting constexpr with SFINAE
  11. declare template friend function of template class
  12. Is it possible to “store” a template parameter pack without expanding it?
  13. Parameter pack must be at the end of the parameter list… When and why?
  14. Can lambda functions be templated?
  15. C++11: Compile Time Calculation of Array
  16. How to reverse the order of arguments of a variadic template function?
  17. Template specialization and enable_if problems [duplicate]
  18. Disambiguate overloaded member function pointer being passed as template parameter
  19. Why do auto and template type deduction differ for braced initializers?
  20. C++ parameter pack, constrained to have instances of a single type?
  21. Variadic templates
  22. What is the easiest way to print a variadic parameter pack using std::ostream?
  23. Variadic function template with pack expansion not in last parameter
  24. How can I expand call to variadic template base classes?
  25. C++11 is_same type trait for templates
  26. gcc can compile a variadic template while clang cannot
  27. Dependent name resolution & namespace std / Standard Library
  28. How to typedef a template class? [duplicate]
  29. Specializing a template on a lambda in C++0x
  30. Partial specialization of function templates

Leave a Comment