Skip to content

Commit a1d6d28

Browse files
committed
Add comment from Pablo
1 parent 91439ec commit a1d6d28

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

xml/issue4313.xml

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -93,6 +93,17 @@ Given that implementations did not recognize changes of `allocator_arg_t` constr
9393
and special handling of `pair` would significantly complicate these constructors, perhaps we should
9494
explicitly specify that these constructors behave as if special handling for `pair` were missing.
9595
</p>
96+
97+
<note>2025-08-17; Pablo comments</note>
98+
<p>
99+
I don't agree with it or the PR. It seems like the implementations are simply lagging behind.
100+
Since `make_obj_using_allocator` is in the standard, `tuple` is easy enough to implement simply
101+
by delegating to that function. I regard the failure to handle `pair` in a general way to be a
102+
defect in the C++11 specification and that handling it correctly, though technically a change
103+
of behavior, is more likely to fix bugs than to create them. It is exactly this scattershot
104+
restatement of uses-allocator construction for `pair` that I hoped to fix with P0591, even
105+
though I missed `tuple` in my exposition.
106+
</p>
96107
</discussion>
97108

98109
<resolution>

0 commit comments

Comments
 (0)