Re: [boost] [function types] New tag type logic

From: David Abrahams (dave_at_[hidden])
Date: 2005-06-27 17:18:37

Rob Stewart <stewart_at_[hidden]> writes:

>>    When classifying types, it is often neccessary to match supersets of
>>    possibilities for one aspect:
>> 
>>    The most important case is to match all possibilities which means in fact to
>>    ignore that aspect (the names of the corresponding aspect tags are prefixed with
>>    "unspecified" for this case).
>
>    When classifying types, it is often necessary to match against
>    any of several aspects.  The most important case is to match
>    all possibilities.  In other words, to ignore that aspect.
>    That case is handled by the tag named "unspecified_" plus the
>    aspect name).

I can't understand either phrasing.

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com