[LLVMbugs] [Bug 14995] New: Too eagerly rejects operator function templates

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=14995

             Bug #: 14995
           Summary: Too eagerly rejects operator function templates
           Product: clang
           Version: 3.2
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++11
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: schaub.johannes at googlemail.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Clang rejects this code:

#include <iostream>
#include <utility>

struct B { 
  // ...
};

template<typename ...T>
void operator++(B, T...) {
  std::cout << ((sizeof...(T) == 0) ? "prefix" : "postfix") << std::endl;
}

int main() {
  B b;
  b++;
  ++b;
}

Saying

main.cpp:9:24: error: parameter of overloaded post-increment operator must have
type 'int' (not 'T...')

However a valid specialization (operator function), where the parameter type is
"int", can be generated for the template. So it appears to be wrong to me that
clang rejects it. 

GCC accepts.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.