Возникла проблема при изучении шаблонов, а именно не понимаю, как передатся указатель в шаблонную функцию. 


В этом коде, как я понимаю, на основе  шаблона генерируется функция типа:

Потому что T заменилось на int*.

Тогда вопрос, почему если шаблон сделать таким:

то функция работает по прежнему? На мой взгляд после замены T на int* должна получиться несуразица типа:

Потому что в первом случае T подставилось как int*, а во 2м - как int (без звездочки). Результат получился одинаковым - void foo(int* x, int size);

Судя по тому, как работает функция, да. Но почему именно так происходит? Я же передал в функцию аргумент типа int* а не int...

Вы просто вызвали функцию. Аргументы шаблона (в функции) выводятся из спецификации параметров, а не берутся из первых попавшихся параметров, и не задаются явно   
Ваша спецификация функции была void foo(T* x, int size), а вызов void foo(int* x, int size), откуда следует, что T это int, т.к. указатель уже присутствовал в формальном параметре, и следовательно он в шаблонный тип T не попал.

Если вы явно попробуете вызвать такую функцию с шаблонным параметром int*, то вы получите ошибку:
 

потому что путаете ваш х и Т.
http://liveworkspace.org/code/4rnQ4D$0

Спасибо, попробую разобраться, в книге вроде бы дальше подробнее этот момент объяснен. Но пока я не совсем понял механизм, что и куда подставляется и как создается конкретный вариант функции.

если явно указаны типы шаблона, то тип берется из этого указания, иначе включается механизм детекции.  При детекции выбирается подходящая функция и по ней детектируется тип.. 
так  в случае:

при передачe int *,  "формируется" void fn(int *); где Т детектируется как int.

а  в случае:

при передачe int *,  также "формируется" void fn(int *); но Т детектируется как int*. 


Это сообщение отредактировал(а) mes - 21.1.2013, 23:05

neocpp, в вашем (первом) случае вывод типа основывается лишь на одном: у типа должен быть operator[](int)
под этот тип подходят указатели на int и более сложные типы, имеющие упомянутую функцию, например std::vector
http://codepad.org/b4nakONH

во втором случае указатель присутствует явно, операция [] ему тоже соответствует, но уже как явному указателю. 
(и что-то типа vector уже не передашь)

а чтобы тип вывелся как int** требуется двойное разыменование - **x или x[i][j] и т.п.

"вывод типа"  в данном контексте совсем не подходит...    

Добавлено через 33 секунды

в теле функции ?!   

хотел прояснить, но видимо только запутал))
конечно не из тела, а из фактического параметра. параметр у меня за кадром остался

и в первой части - не вывод, конечно, а соответствие