// C++N4741 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n741.pdf
const char* msg= "C++N4741(228)17.9.3 Overload resolution [temp.over]p387.cpp";
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>
#include <cstdlib>

using namespace std;

namespace N {
  template<class T> T max(T a, T b) {
    return a>b?a:b;
  }
  void f(int a, int b, char c, char d) {
    int m1 = max(a,b); // max(int a, int b)
    char m2 = max(c,d); // max(char a, char b)
    int m3 = max(a,c); // error: cannot generate max(int,char)
  }
}

namespace M {
  int max(int,int);
}

namespace P {
  template<class T> struct B { /* ... */
  };
  template<class T> struct D : public B<T> { /* ... */
  };
  template<class T> void f(B<T>&);
  void g(B<int>& bi, D<int>& di) {
    f(bi); // f(bi)
    f(di); // f((B<int>&)di)
  }
}

namespace Q {
  template<class T> void f(T*,int); // #1
  template<class T> void f(T,char); // #2
  void h(int* pi, int i, char c) {
    f(pi,i); // #1: f<int>(pi,i)
    f(pi,c); // #2: f<int*>(pi,c)
    f(i,c); // #2: f<int>(i,c);
    f(i,i); // #2: f<int>(i,char(i))
  }
}

namespace R {
  template<class T> void f(T); // declaration
  void g() {
    f("Annemarie"); // call of f<const char*>
  }
}

int main() {

  cout << msg << endl;
  return EXIT_SUCCESS;
}

$ ../c1.sh p387
$ clang++ p387.cpp  -std=c++2a -Wall
p387.cpp:16:10: error: no matching function for call to 'max'
int m3 = max(a,c); // error: cannot generate max(int,char)
         ^~~
p387.cpp:12:21: note: candidate template ignored: deduced conflicting types for parameter
      'T' ('int' vs. 'char')
template<class T> T max(T a, T b) { return a>b?a:b; }
                    ^
1 error generated.

// C++N4741 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n741.pdf
const char* msg= "C++N4741(228)17.9.3 Overload resolution [temp.over]p387.cpp";
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>
#include <cstdlib>

using namespace std;

namespace N {
  template<class T> T max(T a, T b) {
    return a>b?a:b;
  }
  void f(int a, int b, char c, char d) {
    int m1 = max(a,b); // max(int a, int b)
    char m2 = max(c,d); // max(char a, char b)
///int m3 = max(a,c); // error: cannot generate max(int,char)
    cout << "m1=" << m1 << " m2="<<m2 <<endl;
  }
}

namespace M {
  int max(int,int);
}

namespace P {
  template<class T> struct B { /* ... */
  };
  template<class T> struct D : public B<T> { /* ... */
  };
  template<class T> void f(B<T>&) {}; /// add {} for link error
  void g(B<int>& bi, D<int>& di) {
    f(bi); // f(bi)
    f(di); // f((B<int>&)di)
  }
}

namespace Q {
  template<class T> void f(T*,int) {}; // #1/// add {} for link error
  template<class T> void f(T,char) {}; // #2/// add {} for link error
  void h(int* pi, int i, char c) {
    f(pi,i); // #1: f<int>(pi,i)
    f(pi,c); // #2: f<int*>(pi,c)
    f(i,c); // #2: f<int>(i,c);
    f(i,i); // #2: f<int>(i,char(i))
  }
}

namespace R {
  template<class T> void f(T) {}; // declaration/// add {} for link error
  void g() {
    f("Annemarie"); // call of f<const char*>
  }
}

int main() {
  int i = 3;
  int j = 9;
  char c = 'c';
  char h = 'h';
  N::f(i,j,c,h);
  cout << msg << endl;
  return EXIT_SUCCESS;
}

$ ../cpla.sh p387a
$ clang++ p387a.cpp -std=c++03 -Wall
m1=9 m2=h
C++N4741(228)17.9.3 Overload resolution [temp.over]p387a.cpp
$ clang++ p387a.cpp -std=c++2a -Wall
m1=9 m2=h
C++N4741(228)17.9.3 Overload resolution [temp.over]p387a.cpp

$ g++-8 p387a.cpp -std=c++03  -Wall
m1=9 m2=h
C++N4741(228)17.9.3 Overload resolution [temp.over]p387a.cpp

$ g++-8 p387a.cpp -std=c++2a  -Wall
m1=9 m2=h
C++N4741(228)17.9.3 Overload resolution [temp.over]p387a.cpp