[Bug c++/29427] New: uncallable constructor template should be warned.

[Bug c++/29427] New: uncallable constructor template should be warned.

[igodard at pacbell dot net]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1117 bytes --]

class foo {
public:
    template<typename T>
        foo(int i) : j(i) {}
    template<typename T>
    void bar(int i) { j = i; }
    template<typename T>
    static
    void baz(int i) {}
    int j;
    };
int main() {
    foo::baz<bool>(3);
    foo* p; p->bar<bool>(3);
    new foo<bool>(3);
    return 0;
    }


gets you:
~/ootbc/chips$ g++ foo.cc
foo.cc: In function âint main()â:
foo.cc:8: error: âfooâ is not a template
foo.cc:8: error: no matching function for call to âfoo::foo(int)â
foo.cc:1: note: candidates are: foo::foo(const foo&)


The problem is that the constructor was declared as a template, hence cannot be
called (see bug# 29008). This can be detected at the declaration and a warning
should issue.
OK.


-- 
           Summary: uncallable constructor template should be warned.
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: igodard at pacbell dot net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29427

[Bug c++/29427] uncallable constructor template should be warned.

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29427

[Bug c++/29427] uncallable constructor template should be warned.

[redi at gcc dot gnu dot org]

------- Comment #1 from redi at gcc dot gnu dot org  2009-12-08 20:45 -------
diagnosing this would be useful and shouldn't require instantiation, it should
be detectable during phase 1

reduced:
struct foo {
  template<typename T> foo(int);
};


-- 

redi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |diagnostic
      Known to fail|                            |4.4.2
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-08 20:45:06
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29427