Шаблонные функции c++, кастование

[pwturbenn]

Имеется шаблонная функция

template <class T>
T max(T a, T b){
if(a<b) return b; return a;
}

вызываем ее со следующими аргументами:
max('a',3);

вызовется:
max<int>(int('a'),3)

вопрос: почему не
max<char>('a',char(3)) ?

и вообще, чем пользуется компиллятор когда выносит решение в подобной ситуации?

[Stilet]

Я не знаток компилятора си, но любой символ - число, он же код символа. потому его все равно придется хранить в виде числа.
if(a<b) - ведь не символы сравнивает, а их коды, потому компилятор и приводит к типу, который максимально удобно подходит для процессора чтоб сравнивать.
Если код а минус код б дает положительное число то а больше б, отрицательное - меньше, ноль - они равны. Но, заметь, операция сравнения - банальное вычитание целых.

[Пепел Феникса]

по умолчанию численные константы, имеют тип int(символы в '' тоже число)

[pproger]

#include <iostream>
#include <typeinfo>

using namespace std;

template <typename T, typename U>
void foo(T t, U u)
{
	cout << typeid(t).name() << endl;
	cout << typeid(u).name() << endl;
}

int main()
{
	foo('c', 1);
	return 0;
}

первый - char, второй - int. как и должно быть. в ansi c действительно, константный литерал символа приводился к int. (даже его размер был равен размеру int). в плюсах не так
небось пользуешься микрософтским компилятором

не заметил, что у тебя один шаблонный параметр. такая функйия напрямую вообще не должна была вызваться. передаешь 2 разных типа, а работаешь, как с одним и тем же.

[pwturbenn]

не заметил, что у тебя один шаблонный параметр. такая функйия напрямую вообще не должна была вызваться. передаешь 2 разных типа, а работаешь, как с одним и тем же.

Да, я только что это тоже увидел. Действительно - с одним вызываться не должна.


Но в общем суть я уловил - спасибо!

[pproger]

2pwturbenn
ну она вызывается только потому, что константный литерал кастуется к int, как это было в ansi c.
попробуй вызвать так
char a = 'a';
max(a,3);
должен обломаться. иначе я не пойму, чем руководствовались разработчики твоего компиля)