[ConceptGCC]|
[ConceptGCC] |
ConceptGCC :Type computations in concepts? |
From: Marcin Zalewski (zalewski_at_[hidden])
Date: 2007-07-10 05:15:47
I have been looking at the latest proposal for concepts and the proposal
for utility libraries:
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2307.pdf
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2322.pdf
It seems that the proposal for utility library includes a rebind member
in the allocator concept (p. 11 of n2322) with a note on a possible
default implementation. From the description in n2322 it seems that
template<ObjectType T> class rebind;
would be a type of a new allocator directly, i.e., the new allocator
would be rebind<U> rather than rebind<U>::other.
My question to the list is: does anyone know how will associated
templates work? N2307 does not seem to explain that yet but it seems
that in n2322 one can request type computations.
Sorry if this is not a good place to ask that question but I could not
think of a better one.
-m