[Bug c++/45132] New: Inconsistant function overloading between template and non-template functions

[Bug c++/45132] New: Inconsistant function overloading between template and non-template functions

[g_sauthoff at web dot de]

Consider following test-case:

$ cat templorder.cc
#include <iostream>

struct Foo {
  int a;
  char b;
};

template<typename T> inline int match(const T &x)
{
  return 23;
}

template <typename T> inline int not_match(const T &x)
{
  return match(x) + 1;
}

template <> inline int match<int>(const int &x)
{
  return 42;
}

inline int match(const Foo & x)
{
  return 52;
}

inline int match(const double &d)
{
  return 62;
}


#define CHECK_EQ(A, B) if (!((A) == (B))) { ++r; std::cerr << "Error: " << (A)
<< " != " << (B) << '\n'; }

int main()
{
  int r = 0;

  int i = 0;
  CHECK_EQ(not_match(i), 43);
  char c = 0;
  Foo f;
  CHECK_EQ(not_match(f), 53);

  double d = 0;

  // BANG
  CHECK_EQ(not_match(d), 63);

  return r;
}
$ g++ temporder.cc
$ ./a.out
Error: 24 != 63

This behavior is inconsistant, because either 'CHECK_EQ(not_match(f), 53)'
should fail, too or 'CHECK_EQ(not_match(d), 63)' should not fail.

I would expect that 'CHECK_EQ(not_match(d), 63)' should not fail. But perhaps I
am missing some rule in the C++ standard.

Compiling the test case with the C++ Sun Workshop Pro CC and executing prints
no errors.

$ cat /etc/issue
Ubuntu 10.04.1 LTS

But I got the same output with g++ under the previous two Ubuntu versions.


-- 
           Summary: Inconsistant function overloading between template and
                    non-template functions
           Product: gcc
           Version: 4.4.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: g_sauthoff at web dot de


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

[Bug c++/45132] Inconsistant function overloading between template and non-template functions

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2010-07-29 15:17 -------
>But perhaps I am missing some rule in the C++ standard.

Yes you are.  You are missing that fundamental types in C++ don't have an
associated namespace.


-- 


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

[Bug c++/45132] Inconsistant function overloading between template and non-template functions

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2010-07-29 15:19 -------


*** This bug has been marked as a duplicate of 29131 ***


-- 

pinskia at gcc dot gnu dot org changed:

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


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