In message <uekscadmf.fsf@boost-consulting.com>, David Abrahams <dave@boost-consulting.com> writes
Kevlin Henney <kevlin@curbralan.com> writes:
Another distinction that needs to be made is that not all conversions fit into the widening/narrowing model. Some conversions are better considered as reinterpreting or translating conversions (eg lexical_cast and reinterpret_cast). These are useful where some notion of subtyping is not applicable, eg between int and string, as opposed to where one is, eg between numeric types.
I'm sympathetic to the idea that any should use implicit conversions, but, really, are you saying that any has a subtype relationship with everything it can hold? If it did, then we could use any_cast on any argument type, right?
I'm not sure that I understand this wording. Is there another way of phrasing this or perhaps a code fragment that would illustrate the point? Thanks, Kevlin. -- ____________________________________________________________ Kevlin Henney phone: +44 117 942 2990 mailto:kevlin@curbralan.com mobile: +44 7801 073 508 http://www.curbralan.com fax: +44 870 052 2289 Curbralan: Consultancy + Training + Development + Review ____________________________________________________________