Skip to content

Commit cc1097c

Browse files
committed
[containers] Index exposition-only iterator-related alias templates.
1 parent 705e48b commit cc1097c

File tree

1 file changed

+75
-75
lines changed

1 file changed

+75
-75
lines changed

source/containers.tex

Lines changed: 75 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -3355,7 +3355,7 @@
33553355

33563356
\begin{codeblock}
33573357
template<class InputIterator>
3358-
using @\placeholdernc{iter-value-type}@ = typename iterator_traits<InputIterator>::value_type; // \expos
3358+
using @\libexposidnc{iter-value-type}@ = typename iterator_traits<InputIterator>::value_type; // \expos
33593359
\end{codeblock}
33603360

33613361
\rSec2[array.syn]{Header \tcode{<array>} synopsis}
@@ -4000,9 +4000,9 @@
40004000
void clear() noexcept;
40014001
};
40024002

4003-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
4003+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
40044004
deque(InputIterator, InputIterator, Allocator = Allocator())
4005-
-> deque<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
4005+
-> deque<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
40064006
}
40074007
\end{codeblock}
40084008

@@ -4435,9 +4435,9 @@
44354435
void reverse() noexcept;
44364436
};
44374437

4438-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
4438+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
44394439
forward_list(InputIterator, InputIterator, Allocator = Allocator())
4440-
-> forward_list<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
4440+
-> forward_list<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
44414441
}
44424442
\end{codeblock}
44434443

@@ -5244,9 +5244,9 @@
52445244
void reverse() noexcept;
52455245
};
52465246

5247-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
5247+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
52485248
list(InputIterator, InputIterator, Allocator = Allocator())
5249-
-> list<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
5249+
-> list<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
52505250
}
52515251
\end{codeblock}
52525252

@@ -5937,9 +5937,9 @@
59375937
constexpr void clear() noexcept;
59385938
};
59395939

5940-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
5940+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
59415941
vector(InputIterator, InputIterator, Allocator = Allocator())
5942-
-> vector<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
5942+
-> vector<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
59435943
}
59445944
\end{codeblock}%
59455945
\indexlibrarymember{vector}{operator==}%
@@ -6547,16 +6547,16 @@
65476547
The following exposition-only alias templates may appear in deduction guides for associative containers:
65486548
\begin{codeblock}
65496549
template<class InputIterator>
6550-
using @\placeholder{iter-value-type}@ =
6550+
using @\libexposid{iter-value-type}@ =
65516551
typename iterator_traits<InputIterator>::value_type; // \expos
65526552
template<class InputIterator>
6553-
using @\placeholder{iter-key-type}@ = remove_const_t<
6553+
using @\libexposid{iter-key-type}@ = remove_const_t<
65546554
typename iterator_traits<InputIterator>::value_type::first_type>; // \expos
65556555
template<class InputIterator>
6556-
using @\placeholder{iter-mapped-type}@ =
6556+
using @\libexposid{iter-mapped-type}@ =
65576557
typename iterator_traits<InputIterator>::value_type::second_type; // \expos
65586558
template<class InputIterator>
6559-
using @\placeholder{iter-to-alloc-type}@ = pair<
6559+
using @\libexposid{iter-to-alloc-type}@ = pair<
65606560
add_const_t<typename iterator_traits<InputIterator>::value_type::first_type>,
65616561
typename iterator_traits<InputIterator>::value_type::second_type>; // \expos
65626562
\end{codeblock}
@@ -6908,10 +6908,10 @@
69086908
pair<const_iterator, const_iterator> equal_range(const K& x) const;
69096909
};
69106910

6911-
template<class InputIterator, class Compare = less<@\placeholder{iter-key-type}@<InputIterator>>,
6912-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
6911+
template<class InputIterator, class Compare = less<@\exposid{iter-key-type}@<InputIterator>>,
6912+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
69136913
map(InputIterator, InputIterator, Compare = Compare(), Allocator = Allocator())
6914-
-> map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Compare, Allocator>;
6914+
-> map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Compare, Allocator>;
69156915

69166916
template<class Key, class T, class Compare = less<Key>,
69176917
class Allocator = allocator<pair<const Key, T>>>
@@ -6920,8 +6920,8 @@
69206920

69216921
template<class InputIterator, class Allocator>
69226922
map(InputIterator, InputIterator, Allocator)
6923-
-> map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
6924-
less<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
6923+
-> map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
6924+
less<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
69256925

69266926
template<class Key, class T, class Allocator>
69276927
map(initializer_list<pair<Key, T>>, Allocator) -> map<Key, T, less<Key>, Allocator>;
@@ -7432,10 +7432,10 @@
74327432
pair<const_iterator, const_iterator> equal_range(const K& x) const;
74337433
};
74347434

7435-
template<class InputIterator, class Compare = less<@\placeholder{iter-key-type}@<InputIterator>>,
7436-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
7435+
template<class InputIterator, class Compare = less<@\exposid{iter-key-type}@<InputIterator>>,
7436+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
74377437
multimap(InputIterator, InputIterator, Compare = Compare(), Allocator = Allocator())
7438-
-> multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
7438+
-> multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
74397439
Compare, Allocator>;
74407440

74417441
template<class Key, class T, class Compare = less<Key>,
@@ -7445,8 +7445,8 @@
74457445

74467446
template<class InputIterator, class Allocator>
74477447
multimap(InputIterator, InputIterator, Allocator)
7448-
-> multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
7449-
less<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
7448+
-> multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
7449+
less<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
74507450

74517451
template<class Key, class T, class Allocator>
74527452
multimap(initializer_list<pair<Key, T>>, Allocator)
@@ -7735,20 +7735,20 @@
77357735
};
77367736

77377737
template<class InputIterator,
7738-
class Compare = less<@\placeholder{iter-value-type}@<InputIterator>>,
7739-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
7738+
class Compare = less<@\exposid{iter-value-type}@<InputIterator>>,
7739+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
77407740
set(InputIterator, InputIterator,
77417741
Compare = Compare(), Allocator = Allocator())
7742-
-> set<@\placeholder{iter-value-type}@<InputIterator>, Compare, Allocator>;
7742+
-> set<@\exposid{iter-value-type}@<InputIterator>, Compare, Allocator>;
77437743

77447744
template<class Key, class Compare = less<Key>, class Allocator = allocator<Key>>
77457745
set(initializer_list<Key>, Compare = Compare(), Allocator = Allocator())
77467746
-> set<Key, Compare, Allocator>;
77477747

77487748
template<class InputIterator, class Allocator>
77497749
set(InputIterator, InputIterator, Allocator)
7750-
-> set<@\placeholder{iter-value-type}@<InputIterator>,
7751-
less<@\placeholder{iter-value-type}@<InputIterator>>, Allocator>;
7750+
-> set<@\exposid{iter-value-type}@<InputIterator>,
7751+
less<@\exposid{iter-value-type}@<InputIterator>>, Allocator>;
77527752

77537753
template<class Key, class Allocator>
77547754
set(initializer_list<Key>, Allocator) -> set<Key, less<Key>, Allocator>;
@@ -8011,20 +8011,20 @@
80118011
};
80128012

80138013
template<class InputIterator,
8014-
class Compare = less<@\placeholder{iter-value-type}@<InputIterator>>,
8015-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
8014+
class Compare = less<@\exposid{iter-value-type}@<InputIterator>>,
8015+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
80168016
multiset(InputIterator, InputIterator,
80178017
Compare = Compare(), Allocator = Allocator())
8018-
-> multiset<@\placeholder{iter-value-type}@<InputIterator>, Compare, Allocator>;
8018+
-> multiset<@\exposid{iter-value-type}@<InputIterator>, Compare, Allocator>;
80198019

80208020
template<class Key, class Compare = less<Key>, class Allocator = allocator<Key>>
80218021
multiset(initializer_list<Key>, Compare = Compare(), Allocator = Allocator())
80228022
-> multiset<Key, Compare, Allocator>;
80238023

80248024
template<class InputIterator, class Allocator>
80258025
multiset(InputIterator, InputIterator, Allocator)
8026-
-> multiset<@\placeholder{iter-value-type}@<InputIterator>,
8027-
less<@\placeholder{iter-value-type}@<InputIterator>>, Allocator>;
8026+
-> multiset<@\exposid{iter-value-type}@<InputIterator>,
8027+
less<@\exposid{iter-value-type}@<InputIterator>>, Allocator>;
80288028

80298029
template<class Key, class Allocator>
80308030
multiset(initializer_list<Key>, Allocator) -> multiset<Key, less<Key>, Allocator>;
@@ -8477,12 +8477,12 @@
84778477
};
84788478

84798479
template<class InputIterator,
8480-
class Hash = hash<@\placeholder{iter-key-type}@<InputIterator>>,
8481-
class Pred = equal_to<@\placeholder{iter-key-type}@<InputIterator>>,
8482-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
8480+
class Hash = hash<@\exposid{iter-key-type}@<InputIterator>>,
8481+
class Pred = equal_to<@\exposid{iter-key-type}@<InputIterator>>,
8482+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
84838483
unordered_map(InputIterator, InputIterator, typename @\seebelow@::size_type = @\seebelow@,
84848484
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
8485-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Hash, Pred,
8485+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Hash, Pred,
84868486
Allocator>;
84878487

84888488
template<class Key, class T, class Hash = hash<Key>,
@@ -8494,20 +8494,20 @@
84948494

84958495
template<class InputIterator, class Allocator>
84968496
unordered_map(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
8497-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
8498-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
8499-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8497+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
8498+
hash<@\exposid{iter-key-type}@<InputIterator>>,
8499+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
85008500

85018501
template<class InputIterator, class Allocator>
85028502
unordered_map(InputIterator, InputIterator, Allocator)
8503-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
8504-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
8505-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8503+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
8504+
hash<@\exposid{iter-key-type}@<InputIterator>>,
8505+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
85068506

85078507
template<class InputIterator, class Hash, class Allocator>
85088508
unordered_map(InputIterator, InputIterator, typename @\seebelow@::size_type, Hash, Allocator)
8509-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Hash,
8510-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8509+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Hash,
8510+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
85118511

85128512
template<class Key, class T, class Allocator>
85138513
unordered_map(initializer_list<pair<Key, T>>, typename @\seebelow@::size_type,
@@ -9050,13 +9050,13 @@
90509050
};
90519051

90529052
template<class InputIterator,
9053-
class Hash = hash<@\placeholder{iter-key-type}@<InputIterator>>,
9054-
class Pred = equal_to<@\placeholder{iter-key-type}@<InputIterator>>,
9055-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
9053+
class Hash = hash<@\exposid{iter-key-type}@<InputIterator>>,
9054+
class Pred = equal_to<@\exposid{iter-key-type}@<InputIterator>>,
9055+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
90569056
unordered_multimap(InputIterator, InputIterator,
90579057
typename @\seebelow@::size_type = @\seebelow@,
90589058
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
9059-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
9059+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
90609060
Hash, Pred, Allocator>;
90619061

90629062
template<class Key, class T, class Hash = hash<Key>,
@@ -9068,21 +9068,21 @@
90689068

90699069
template<class InputIterator, class Allocator>
90709070
unordered_multimap(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
9071-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
9072-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
9073-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
9071+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
9072+
hash<@\exposid{iter-key-type}@<InputIterator>>,
9073+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
90749074

90759075
template<class InputIterator, class Allocator>
90769076
unordered_multimap(InputIterator, InputIterator, Allocator)
9077-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
9078-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
9079-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
9077+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
9078+
hash<@\exposid{iter-key-type}@<InputIterator>>,
9079+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
90809080

90819081
template<class InputIterator, class Hash, class Allocator>
90829082
unordered_multimap(InputIterator, InputIterator, typename @\seebelow@::size_type, Hash,
90839083
Allocator)
9084-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Hash,
9085-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
9084+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Hash,
9085+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
90869086

90879087
template<class Key, class T, class Allocator>
90889088
unordered_multimap(initializer_list<pair<Key, T>>, typename @\seebelow@::size_type,
@@ -9417,12 +9417,12 @@
94179417
};
94189418

94199419
template<class InputIterator,
9420-
class Hash = hash<@\placeholder{iter-value-type}@<InputIterator>>,
9421-
class Pred = equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9422-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
9420+
class Hash = hash<@\exposid{iter-value-type}@<InputIterator>>,
9421+
class Pred = equal_to<@\exposid{iter-value-type}@<InputIterator>>,
9422+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
94239423
unordered_set(InputIterator, InputIterator, typename @\seebelow@::size_type = @\seebelow@,
94249424
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
9425-
-> unordered_set<@\placeholder{iter-value-type}@<InputIterator>,
9425+
-> unordered_set<@\exposid{iter-value-type}@<InputIterator>,
94269426
Hash, Pred, Allocator>;
94279427

94289428
template<class T, class Hash = hash<T>,
@@ -9433,16 +9433,16 @@
94339433

94349434
template<class InputIterator, class Allocator>
94359435
unordered_set(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
9436-
-> unordered_set<@\placeholder{iter-value-type}@<InputIterator>,
9437-
hash<@\placeholder{iter-value-type}@<InputIterator>>,
9438-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9436+
-> unordered_set<@\exposid{iter-value-type}@<InputIterator>,
9437+
hash<@\exposid{iter-value-type}@<InputIterator>>,
9438+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
94399439
Allocator>;
94409440

94419441
template<class InputIterator, class Hash, class Allocator>
94429442
unordered_set(InputIterator, InputIterator, typename @\seebelow@::size_type,
94439443
Hash, Allocator)
9444-
-> unordered_set<@\placeholder{iter-value-type}@<InputIterator>, Hash,
9445-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9444+
-> unordered_set<@\exposid{iter-value-type}@<InputIterator>, Hash,
9445+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
94469446
Allocator>;
94479447

94489448
template<class T, class Allocator>
@@ -9744,12 +9744,12 @@
97449744
};
97459745

97469746
template<class InputIterator,
9747-
class Hash = hash<@\placeholder{iter-value-type}@<InputIterator>>,
9748-
class Pred = equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9749-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
9747+
class Hash = hash<@\exposid{iter-value-type}@<InputIterator>>,
9748+
class Pred = equal_to<@\exposid{iter-value-type}@<InputIterator>>,
9749+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
97509750
unordered_multiset(InputIterator, InputIterator, @\seebelow@::size_type = @\seebelow@,
97519751
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
9752-
-> unordered_multiset<@\placeholder{iter-value-type}@<InputIterator>,
9752+
-> unordered_multiset<@\exposid{iter-value-type}@<InputIterator>,
97539753
Hash, Pred, Allocator>;
97549754

97559755
template<class T, class Hash = hash<T>,
@@ -9760,16 +9760,16 @@
97609760

97619761
template<class InputIterator, class Allocator>
97629762
unordered_multiset(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
9763-
-> unordered_multiset<@\placeholder{iter-value-type}@<InputIterator>,
9764-
hash<@\placeholder{iter-value-type}@<InputIterator>>,
9765-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9763+
-> unordered_multiset<@\exposid{iter-value-type}@<InputIterator>,
9764+
hash<@\exposid{iter-value-type}@<InputIterator>>,
9765+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
97669766
Allocator>;
97679767

97689768
template<class InputIterator, class Hash, class Allocator>
97699769
unordered_multiset(InputIterator, InputIterator, typename @\seebelow@::size_type,
97709770
Hash, Allocator)
9771-
-> unordered_multiset<@\placeholder{iter-value-type}@<InputIterator>, Hash,
9772-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9771+
-> unordered_multiset<@\exposid{iter-value-type}@<InputIterator>, Hash,
9772+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
97739773
Allocator>;
97749774

97759775
template<class T, class Allocator>

0 commit comments

Comments
 (0)