Skip to content

Commit e313ef8

Browse files
jensmaurerjensmaurer
committed
[specialized.algorithms] Qualify declarator-id with sub-namespace.
Also qualify return types where necessary.
1 parent 3d14247 commit e313ef8

File tree

1 file changed

+66
-94
lines changed

1 file changed

+66
-94
lines changed

‎source/algorithms.tex

Lines changed: 66 additions & 94 deletions
Original file line numberDiff line numberDiff line change
@@ -10368,14 +10368,12 @@
1036810368

1036910369
\indexlibraryglobal{uninitialized_default_construct}%
1037010370
\begin{itemdecl}
10371-
namespace ranges {
10372-
template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
10373-
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10374-
I uninitialized_default_construct(I first, S last);
10375-
template<@\placeholdernc{nothrow-forward-range}@ R>
10376-
requires @\libconcept{default_initializable}@<range_value_t<R>>
10377-
borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
10378-
}
10371+
template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
10372+
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10373+
I ranges::uninitialized_default_construct(I first, S last);
10374+
template<@\placeholdernc{nothrow-forward-range}@ R>
10375+
requires @\libconcept{default_initializable}@<range_value_t<R>>
10376+
borrowed_iterator_t<R> ranges::uninitialized_default_construct(R&& r);
1037910377
\end{itemdecl}
1038010378

1038110379
\begin{itemdescr}
@@ -10409,11 +10407,9 @@
1040910407

1041010408
\indexlibraryglobal{uninitialized_default_construct_n}%
1041110409
\begin{itemdecl}
10412-
namespace ranges {
10413-
template<@\placeholdernc{nothrow-forward-iterator}@ I>
10414-
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10415-
I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
10416-
}
10410+
template<@\placeholdernc{nothrow-forward-iterator}@ I>
10411+
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10412+
I ranges::uninitialized_default_construct_n(I first, iter_difference_t<I> n);
1041710413
\end{itemdecl}
1041810414

1041910415
\begin{itemdescr}
@@ -10447,14 +10443,12 @@
1044710443

1044810444
\indexlibraryglobal{uninitialized_value_construct}%
1044910445
\begin{itemdecl}
10450-
namespace ranges {
10451-
template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
10452-
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10453-
I uninitialized_value_construct(I first, S last);
10454-
template<@\placeholdernc{nothrow-forward-range}@ R>
10455-
requires @\libconcept{default_initializable}@<range_value_t<R>>
10456-
borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
10457-
}
10446+
template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
10447+
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10448+
I ranges::uninitialized_value_construct(I first, S last);
10449+
template<@\placeholdernc{nothrow-forward-range}@ R>
10450+
requires @\libconcept{default_initializable}@<range_value_t<R>>
10451+
borrowed_iterator_t<R> ranges::uninitialized_value_construct(R&& r);
1045810452
\end{itemdecl}
1045910453

1046010454
\begin{itemdescr}
@@ -10488,11 +10482,9 @@
1048810482

1048910483
\indexlibraryglobal{uninitialized_value_construct_n}%
1049010484
\begin{itemdecl}
10491-
namespace ranges {
10492-
template<@\placeholdernc{nothrow-forward-iterator}@ I>
10493-
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10494-
I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
10495-
}
10485+
template<@\placeholdernc{nothrow-forward-iterator}@ I>
10486+
requires @\libconcept{default_initializable}@<iter_value_t<I>>
10487+
I ranges::uninitialized_value_construct_n(I first, iter_difference_t<I> n);
1049610488
\end{itemdecl}
1049710489

1049810490
\begin{itemdescr}
@@ -10535,17 +10527,15 @@
1053510527

1053610528
\indexlibraryglobal{uninitialized_copy}%
1053710529
\begin{itemdecl}
10538-
namespace ranges {
10539-
template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
10540-
@\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S2>
10541-
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
10542-
uninitialized_copy_result<I, O>
10543-
uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
10544-
template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR>
10545-
requires @\libconcept{constructible_from}@<range_value_t<OR>, range_reference_t<IR>>
10546-
uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
10547-
uninitialized_copy(IR&& in_range, OR&& out_range);
10548-
}
10530+
template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
10531+
@\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S2>
10532+
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
10533+
ranges::uninitialized_copy_result<I, O>
10534+
ranges::uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
10535+
template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR>
10536+
requires @\libconcept{constructible_from}@<range_value_t<OR>, range_reference_t<IR>>
10537+
ranges::uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
10538+
ranges::uninitialized_copy(IR&& in_range, OR&& out_range);
1054910539
\end{itemdecl}
1055010540

1055110541
\begin{itemdescr}
@@ -10591,12 +10581,10 @@
1059110581

1059210582
\indexlibraryglobal{uninitialized_copy_n}%
1059310583
\begin{itemdecl}
10594-
namespace ranges {
10595-
template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S>
10596-
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
10597-
uninitialized_copy_n_result<I, O>
10598-
uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
10599-
}
10584+
template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S>
10585+
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
10586+
ranges::uninitialized_copy_n_result<I, O>
10587+
ranges::uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
1060010588
\end{itemdecl}
1060110589

1060210590
\begin{itemdescr}
@@ -10642,17 +10630,15 @@
1064210630

1064310631
\indexlibraryglobal{uninitialized_move}%
1064410632
\begin{itemdecl}
10645-
namespace ranges {
10646-
template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
10647-
@\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S2>
10648-
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
10649-
uninitialized_move_result<I, O>
10650-
uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
10651-
template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR>
10652-
requires @\libconcept{constructible_from}@<range_value_t<OR>, range_rvalue_reference_t<IR>>
10653-
uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
10654-
uninitialized_move(IR&& in_range, OR&& out_range);
10655-
}
10633+
template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
10634+
@\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S2>
10635+
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
10636+
ranges::uninitialized_move_result<I, O>
10637+
ranges::uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
10638+
template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR>
10639+
requires @\libconcept{constructible_from}@<range_value_t<OR>, range_rvalue_reference_t<IR>>
10640+
ranges::uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
10641+
ranges::uninitialized_move(IR&& in_range, OR&& out_range);
1065610642
\end{itemdecl}
1065710643

1065810644
\begin{itemdescr}
@@ -10702,12 +10688,10 @@
1070210688

1070310689
\indexlibraryglobal{uninitialized_move_n}%
1070410690
\begin{itemdecl}
10705-
namespace ranges {
10706-
template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S>
10707-
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
10708-
uninitialized_move_n_result<I, O>
10709-
uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
10710-
}
10691+
template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S>
10692+
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
10693+
ranges::uninitialized_move_n_result<I, O>
10694+
ranges::uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
1071110695
\end{itemdecl}
1071210696

1071310697
\begin{itemdescr}
@@ -10753,14 +10737,12 @@
1075310737

1075410738
\indexlibraryglobal{uninitialized_fill}%
1075510739
\begin{itemdecl}
10756-
namespace ranges {
10757-
template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S, class T>
10758-
requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
10759-
I uninitialized_fill(I first, S last, const T& x);
10760-
template<@\placeholdernc{nothrow-forward-range}@ R, class T>
10761-
requires @\libconcept{constructible_from}@<range_value_t<R>, const T&>
10762-
borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
10763-
}
10740+
template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S, class T>
10741+
requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
10742+
I ranges::uninitialized_fill(I first, S last, const T& x);
10743+
template<@\placeholdernc{nothrow-forward-range}@ R, class T>
10744+
requires @\libconcept{constructible_from}@<range_value_t<R>, const T&>
10745+
borrowed_iterator_t<R> ranges::uninitialized_fill(R&& r, const T& x);
1076410746
\end{itemdecl}
1076510747

1076610748
\begin{itemdescr}
@@ -10794,11 +10776,9 @@
1079410776

1079510777
\indexlibraryglobal{uninitialized_fill_n}%
1079610778
\begin{itemdecl}
10797-
namespace ranges {
10798-
template<@\placeholdernc{nothrow-forward-iterator}@ I, class T>
10799-
requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
10800-
I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
10801-
}
10779+
template<@\placeholdernc{nothrow-forward-iterator}@ I, class T>
10780+
requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
10781+
I ranges::uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
1080210782
\end{itemdecl}
1080310783

1080410784
\begin{itemdescr}
@@ -10817,10 +10797,8 @@
1081710797
template<class T, class... Args>
1081810798
constexpr T* construct_at(T* location, Args&&... args);
1081910799

10820-
namespace ranges {
10821-
template<class T, class... Args>
10822-
constexpr T* construct_at(T* location, Args&&... args);
10823-
}
10800+
template<class T, class... Args>
10801+
constexpr T* ranges::construct_at(T* location, Args&&... args);
1082410802
\end{itemdecl}
1082510803

1082610804
\begin{itemdescr}
@@ -10843,10 +10821,8 @@
1084310821
\begin{itemdecl}
1084410822
template<class T>
1084510823
constexpr void destroy_at(T* location);
10846-
namespace ranges {
10847-
template<@\libconcept{destructible}@ T>
10848-
constexpr void destroy_at(T* location) noexcept;
10849-
}
10824+
template<@\libconcept{destructible}@ T>
10825+
constexpr void ranges::destroy_at(T* location) noexcept;
1085010826
\end{itemdecl}
1085110827

1085210828
\begin{itemdescr}
@@ -10878,14 +10854,12 @@
1087810854

1087910855
\indexlibraryglobal{destroy}%
1088010856
\begin{itemdecl}
10881-
namespace ranges {
10882-
template<@\placeholdernc{nothrow-input-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
10883-
requires @\libconcept{destructible}@<iter_value_t<I>>
10884-
constexpr I destroy(I first, S last) noexcept;
10885-
template<@\placeholdernc{nothrow-input-range}@ R>
10886-
requires @\libconcept{destructible}@<range_value_t<R>>
10887-
constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept;
10888-
}
10857+
template<@\placeholdernc{nothrow-input-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
10858+
requires @\libconcept{destructible}@<iter_value_t<I>>
10859+
constexpr I ranges::destroy(I first, S last) noexcept;
10860+
template<@\placeholdernc{nothrow-input-range}@ R>
10861+
requires @\libconcept{destructible}@<range_value_t<R>>
10862+
constexpr borrowed_iterator_t<R> ranges::destroy(R&& r) noexcept;
1088910863
\end{itemdecl}
1089010864

1089110865
\begin{itemdescr}
@@ -10918,11 +10892,9 @@
1091810892

1091910893
\indexlibraryglobal{destroy_n}%
1092010894
\begin{itemdecl}
10921-
namespace ranges {
10922-
template<@\placeholdernc{nothrow-input-iterator}@ I>
10923-
requires @\libconcept{destructible}@<iter_value_t<I>>
10924-
constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept;
10925-
}
10895+
template<@\placeholdernc{nothrow-input-iterator}@ I>
10896+
requires @\libconcept{destructible}@<iter_value_t<I>>
10897+
constexpr I ranges::destroy_n(I first, iter_difference_t<I> n) noexcept;
1092610898
\end{itemdecl}
1092710899

1092810900
\begin{itemdescr}

0 commit comments

Comments
 (0)