#include <iostream>
#include <string>

using namespace std;

/* can't have these - differ only in return type
double dValue(int x) {
  return x+x;
  }

int dValue(int x) {
  return x+x;
  }
*/

template <typename RET, typename ARG>
RET doubleValue(ARG x) {
  return x+x;
  }

template <typename T>
T doubleValue(T x) {
  return x+x;
  }

int main() {
/* ambiguous
  cout<<doubleValue<int>(111)<<endl;
  cout<<doubleValue<double>(111.1)<<endl;
  cout<<doubleValue<char>('!')<<endl;  // 'B'
*/
// These match the two parameter function template
  cout<<doubleValue<int,int>(111)<<endl;
  cout<<doubleValue<double,double>(111.1)<<endl;
  cout<<doubleValue<char,char>('!')<<endl;  // 'B'

  cout<<doubleValue<double,int>(222)<<endl;
  cout<<doubleValue<int,double>(222.7)<<endl;

// These match the single parameter function template, but not the two parameter one
// (SFINAE)
  int intVal=doubleValue(111);
  double doubVal=doubleValue(111.1);
  char charVal=doubleValue('!');

  cout<<intVal<<endl<<doubVal<<endl<<charVal<<endl;
  }