In section 20.7.9 [construct.element] the Effects clause contains
(options 2 and 3):
- if constructible_with_allocator_prefix<T, A::inner_allocator_type,
Args...> is derived
from true_type,
alloc.construct(alloc.address(r), allocator_arg_t,
alloc.inner_allocator(), args...)
- if constructible_with_allocator_suffix<T, A::inner_allocator_type,
Args...> is derived
from true_type,
alloc.construct(alloc.address(r), args..., alloc.inner_allocator())
However, these constructible_with_allocator_prefix and
constructible_with_allocator_suffix are concept maps, and not traits
derivable from true_type. This makes the section unimplementable at
present.
Bo Persson
--
[ See http://www.gotw.ca/resources/clcm.htm
for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]
|
