> S>>

> S>>int func<>(string("1"));
> S>>

>
> J>И чему в данном случае должен быть равен T1?
>
>

> int
>

Если я все правильно понял, то в исходном примере была опечатка и вместо

template<class T1.class T2>
T2 func(const T2& val)

должно было быть

template<class T1.class T2>
T1 func(const T2& val)

Нет, так не выйдет. Но можно писать

int x = func<int>(string("1"));

Параметр T1 придется задать руками, параметр T2 будет выведен из аргументов.