Re: [Boost-users] Puzzled: compiler can't find a match for function call

Subject: Re: [Boost-users] Puzzled: compiler can't find a match for function call
From: JOAQUIN M. LOPEZ MUÑOZ (joaquin_at_[hidden])
Date: 2008-09-11 11:13:15

________________________________________
De: boost-users-bounces_at_[hidden] [boost-users-bounces_at_[hidden]] En nombre de Zeljko Vrba [zvrba_at_[hidden]]
Enviado el: jueves, 11 de septiembre de 2008 17:05
Para: boost-users_at_[hidden]
Asunto: Re: [Boost-users] Puzzled: compiler can't find a match for      functioncall

> Indeed it works.  Could you please explain why the compiler can deduce
> K in BF::map<BF::pair<K, int> > , but not in typename id_t<K>::type?

Suppose that id_t<K1>::type == id_t<K2>::type == int (for instance). If
we pass int, how can the compiler figure out whether it's K1 or K2 that
has to be deduced?

Joaquín M López Muñoz
Telefónica, Investigación y Desarrollo