Boost logo

Boost :

From: David Abrahams (dave_at_[hidden])
Date: 2004-12-02 10:36:03


Arkadiy Vertleyb wrote:
> "David Abrahams" <dave_at_[hidden]> wrote
>
>
>>Peder Holt wrote:
>>
>>
>>>given a metafunction is_iterator<> there may be a way around this
>
> problem:
>
>>Problem is, it's impossible to write that metafunction.
>
>
> Well, it's not possible in general case, but for the purpose of typeof, a
> rough approximation may be enough. We can just assume that, if the type was
> not caught by all the specializations (generated by registration), then it
> *might be* one of the standard iterators. We can use SFINAE, examining
> value_type, distance_type, etc., to increase the probability of that
> assumption.

As long as you don't mind access violations when one of those typedefs
happens to be present, but private.

-- 
Dave Abrahams
Boost Consulting
http://www.boost-consulting.com

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk