Tobias Schwinger wrote:
Rob Stewart wrote:
From: Tobias Schwinger <tschwinger@neoscientists.org>
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.