[Bug c++/12643] New: Can't infer type of pointer-to-member template argument

[Bug c++/12643] New: Can't infer type of pointer-to-member template argument

[braden at endoframe dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: Can't infer type of pointer-to-member template argument
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: braden at endoframe dot com
                CC: gcc-bugs at gcc dot gnu dot org

In some cases, it seems gcc can't infer the type of a pointer-to-member template
argument.

[Bug c++/12643] Can't infer type of pointer-to-member template argument

[braden at endoframe dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From braden at endoframe dot com  2003-10-16 17:23 -------
Created an attachment (id=4944)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=4944&action=view)
Test case

Attempting to compile this yields this error message:

$ g++ -o infer_template_arg_test infer_template_arg_test.cc
infer_template_arg_test.cc: In function `int main()':
infer_template_arg_test.cc:14: error: no matching function for call to `f(
   main()::int_map&, <unknown type>, std::_Rb_tree_iterator<std::pair<const
   int, int>, std::pair<const int, int>&, std::pair<const int, int>*>)'

If the template arguments are explicitly given when invoking the function, this
compiles.

[Bug c++/12643] Can't infer type of pointer-to-member template argument

[bangerth at dealii dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


bangerth at dealii dot org changed:

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


------- Additional Comments From bangerth at dealii dot org  2003-10-16 18:55 -------
std::map has more than one "erase" member function, so taking the address
gives you a set of possible candidates. They can only be matched to a
template type if you explicitly specify the type.

W.