[Bug c++/21661] New: Inconsistent function/constructor template requirements

[Bug c++/21661] New: Inconsistent function/constructor template requirements

[igodard at pacbell dot net]

In:

template<typename T, typename U>
void    foo(U u) {}

template<typename T, typename U>
struct bar {
            bar(U u) {}
    };

int main() {
    foo<int>(true);
    bar<int>(true);
    }

you get:

foo.cc: In function `int main()':
foo.cc:11: error: wrong number of template arguments (1, should be 2)
foo.cc:5: error: provided for `template<class T, class U> struct bar'

Shouldn't both the call and the constructor require two args, or both require
only one? I thought constructors resolved like functions.

Ivan

-- 
           Summary: Inconsistent function/constructor template requirements
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: igodard at pacbell dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/21661] Inconsistent function/constructor template requirements

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-19 12:02 -------
This is how C++ works, in the first case since it is a function template, the second template argument 
can be determined by the function argument.

In the second example, the class template's template arguments cannot be determined by any 
explicated way.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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