From: Tobias Schwinger (tschwinger_at_[hidden])
Date: 2005-06-30 12:22:43
Tobias Schwinger wrote:
> Rob Stewart wrote:
>>From: Tobias Schwinger <tschwinger_at_[hidden]>
>>> is_function< T, variadic >
>>> is_function< T, pointer > // same as is_function_pointer<T>
>>> When classifying types it is often necessary to match against several
>>> variations of one aspect. There are special variations which make this
>>> possible. These are called *abstract variations*.
>> There are special tags that represent groups--or the union--of
>> several variations of a single aspect.
>>Shouldn't "abstract variations" be "abstract tags?"
> Don't think so: "aspects" and "variations" are semantics, the tags are their
> syntactical encapsulation.
But the term "variation" is used too often in this sentence.
When classifying types it is often necessary to match against several
variations of one aspect. There are special, *abstract* variations for that.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk