Skip to content

Commit 87526f4

Browse files
committed
[containers] Index exposition-only iterator-related alias templates.
1 parent b5dd76f commit 87526f4

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
@@ -3258,7 +3258,7 @@
32583258

32593259
\begin{codeblock}
32603260
template<class InputIterator>
3261-
using @\placeholdernc{iter-value-type}@ = typename iterator_traits<InputIterator>::value_type; // \expos
3261+
using @\libexposidnc{iter-value-type}@ = typename iterator_traits<InputIterator>::value_type; // \expos
32623262
\end{codeblock}
32633263

32643264
\rSec2[array.syn]{Header \tcode{<array>} synopsis}
@@ -3903,9 +3903,9 @@
39033903
void clear() noexcept;
39043904
};
39053905

3906-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
3906+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
39073907
deque(InputIterator, InputIterator, Allocator = Allocator())
3908-
-> deque<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
3908+
-> deque<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
39093909
}
39103910
\end{codeblock}
39113911

@@ -4338,9 +4338,9 @@
43384338
void reverse() noexcept;
43394339
};
43404340

4341-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
4341+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
43424342
forward_list(InputIterator, InputIterator, Allocator = Allocator())
4343-
-> forward_list<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
4343+
-> forward_list<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
43444344
}
43454345
\end{codeblock}
43464346

@@ -5147,9 +5147,9 @@
51475147
void reverse() noexcept;
51485148
};
51495149

5150-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
5150+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
51515151
list(InputIterator, InputIterator, Allocator = Allocator())
5152-
-> list<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
5152+
-> list<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
51535153
}
51545154
\end{codeblock}
51555155

@@ -5840,9 +5840,9 @@
58405840
constexpr void clear() noexcept;
58415841
};
58425842

5843-
template<class InputIterator, class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
5843+
template<class InputIterator, class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
58445844
vector(InputIterator, InputIterator, Allocator = Allocator())
5845-
-> vector<@\placeholder{iter-value-type}@<InputIterator>, Allocator>;
5845+
-> vector<@\exposid{iter-value-type}@<InputIterator>, Allocator>;
58465846
}
58475847
\end{codeblock}%
58485848
\indexlibrarymember{vector}{operator==}%
@@ -6450,16 +6450,16 @@
64506450
The following exposition-only alias templates may appear in deduction guides for associative containers:
64516451
\begin{codeblock}
64526452
template<class InputIterator>
6453-
using @\placeholder{iter-value-type}@ =
6453+
using @\libexposid{iter-value-type}@ =
64546454
typename iterator_traits<InputIterator>::value_type; // \expos
64556455
template<class InputIterator>
6456-
using @\placeholder{iter-key-type}@ = remove_const_t<
6456+
using @\libexposid{iter-key-type}@ = remove_const_t<
64576457
typename iterator_traits<InputIterator>::value_type::first_type>; // \expos
64586458
template<class InputIterator>
6459-
using @\placeholder{iter-mapped-type}@ =
6459+
using @\libexposid{iter-mapped-type}@ =
64606460
typename iterator_traits<InputIterator>::value_type::second_type; // \expos
64616461
template<class InputIterator>
6462-
using @\placeholder{iter-to-alloc-type}@ = pair<
6462+
using @\libexposid{iter-to-alloc-type}@ = pair<
64636463
add_const_t<typename iterator_traits<InputIterator>::value_type::first_type>,
64646464
typename iterator_traits<InputIterator>::value_type::second_type>; // \expos
64656465
\end{codeblock}
@@ -6811,10 +6811,10 @@
68116811
pair<const_iterator, const_iterator> equal_range(const K& x) const;
68126812
};
68136813

6814-
template<class InputIterator, class Compare = less<@\placeholder{iter-key-type}@<InputIterator>>,
6815-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
6814+
template<class InputIterator, class Compare = less<@\exposid{iter-key-type}@<InputIterator>>,
6815+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
68166816
map(InputIterator, InputIterator, Compare = Compare(), Allocator = Allocator())
6817-
-> map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Compare, Allocator>;
6817+
-> map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Compare, Allocator>;
68186818

68196819
template<class Key, class T, class Compare = less<Key>,
68206820
class Allocator = allocator<pair<const Key, T>>>
@@ -6823,8 +6823,8 @@
68236823

68246824
template<class InputIterator, class Allocator>
68256825
map(InputIterator, InputIterator, Allocator)
6826-
-> map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
6827-
less<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
6826+
-> map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
6827+
less<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
68286828

68296829
template<class Key, class T, class Allocator>
68306830
map(initializer_list<pair<Key, T>>, Allocator) -> map<Key, T, less<Key>, Allocator>;
@@ -7335,10 +7335,10 @@
73357335
pair<const_iterator, const_iterator> equal_range(const K& x) const;
73367336
};
73377337

7338-
template<class InputIterator, class Compare = less<@\placeholder{iter-key-type}@<InputIterator>>,
7339-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
7338+
template<class InputIterator, class Compare = less<@\exposid{iter-key-type}@<InputIterator>>,
7339+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
73407340
multimap(InputIterator, InputIterator, Compare = Compare(), Allocator = Allocator())
7341-
-> multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
7341+
-> multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
73427342
Compare, Allocator>;
73437343

73447344
template<class Key, class T, class Compare = less<Key>,
@@ -7348,8 +7348,8 @@
73487348

73497349
template<class InputIterator, class Allocator>
73507350
multimap(InputIterator, InputIterator, Allocator)
7351-
-> multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
7352-
less<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
7351+
-> multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
7352+
less<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
73537353

73547354
template<class Key, class T, class Allocator>
73557355
multimap(initializer_list<pair<Key, T>>, Allocator)
@@ -7638,20 +7638,20 @@
76387638
};
76397639

76407640
template<class InputIterator,
7641-
class Compare = less<@\placeholder{iter-value-type}@<InputIterator>>,
7642-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
7641+
class Compare = less<@\exposid{iter-value-type}@<InputIterator>>,
7642+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
76437643
set(InputIterator, InputIterator,
76447644
Compare = Compare(), Allocator = Allocator())
7645-
-> set<@\placeholder{iter-value-type}@<InputIterator>, Compare, Allocator>;
7645+
-> set<@\exposid{iter-value-type}@<InputIterator>, Compare, Allocator>;
76467646

76477647
template<class Key, class Compare = less<Key>, class Allocator = allocator<Key>>
76487648
set(initializer_list<Key>, Compare = Compare(), Allocator = Allocator())
76497649
-> set<Key, Compare, Allocator>;
76507650

76517651
template<class InputIterator, class Allocator>
76527652
set(InputIterator, InputIterator, Allocator)
7653-
-> set<@\placeholder{iter-value-type}@<InputIterator>,
7654-
less<@\placeholder{iter-value-type}@<InputIterator>>, Allocator>;
7653+
-> set<@\exposid{iter-value-type}@<InputIterator>,
7654+
less<@\exposid{iter-value-type}@<InputIterator>>, Allocator>;
76557655

76567656
template<class Key, class Allocator>
76577657
set(initializer_list<Key>, Allocator) -> set<Key, less<Key>, Allocator>;
@@ -7914,20 +7914,20 @@
79147914
};
79157915

79167916
template<class InputIterator,
7917-
class Compare = less<@\placeholder{iter-value-type}@<InputIterator>>,
7918-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
7917+
class Compare = less<@\exposid{iter-value-type}@<InputIterator>>,
7918+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
79197919
multiset(InputIterator, InputIterator,
79207920
Compare = Compare(), Allocator = Allocator())
7921-
-> multiset<@\placeholder{iter-value-type}@<InputIterator>, Compare, Allocator>;
7921+
-> multiset<@\exposid{iter-value-type}@<InputIterator>, Compare, Allocator>;
79227922

79237923
template<class Key, class Compare = less<Key>, class Allocator = allocator<Key>>
79247924
multiset(initializer_list<Key>, Compare = Compare(), Allocator = Allocator())
79257925
-> multiset<Key, Compare, Allocator>;
79267926

79277927
template<class InputIterator, class Allocator>
79287928
multiset(InputIterator, InputIterator, Allocator)
7929-
-> multiset<@\placeholder{iter-value-type}@<InputIterator>,
7930-
less<@\placeholder{iter-value-type}@<InputIterator>>, Allocator>;
7929+
-> multiset<@\exposid{iter-value-type}@<InputIterator>,
7930+
less<@\exposid{iter-value-type}@<InputIterator>>, Allocator>;
79317931

79327932
template<class Key, class Allocator>
79337933
multiset(initializer_list<Key>, Allocator) -> multiset<Key, less<Key>, Allocator>;
@@ -8380,12 +8380,12 @@
83808380
};
83818381

83828382
template<class InputIterator,
8383-
class Hash = hash<@\placeholder{iter-key-type}@<InputIterator>>,
8384-
class Pred = equal_to<@\placeholder{iter-key-type}@<InputIterator>>,
8385-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
8383+
class Hash = hash<@\exposid{iter-key-type}@<InputIterator>>,
8384+
class Pred = equal_to<@\exposid{iter-key-type}@<InputIterator>>,
8385+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
83868386
unordered_map(InputIterator, InputIterator, typename @\seebelow@::size_type = @\seebelow@,
83878387
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
8388-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Hash, Pred,
8388+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Hash, Pred,
83898389
Allocator>;
83908390

83918391
template<class Key, class T, class Hash = hash<Key>,
@@ -8397,20 +8397,20 @@
83978397

83988398
template<class InputIterator, class Allocator>
83998399
unordered_map(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
8400-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
8401-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
8402-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8400+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
8401+
hash<@\exposid{iter-key-type}@<InputIterator>>,
8402+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
84038403

84048404
template<class InputIterator, class Allocator>
84058405
unordered_map(InputIterator, InputIterator, Allocator)
8406-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
8407-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
8408-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8406+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
8407+
hash<@\exposid{iter-key-type}@<InputIterator>>,
8408+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
84098409

84108410
template<class InputIterator, class Hash, class Allocator>
84118411
unordered_map(InputIterator, InputIterator, typename @\seebelow@::size_type, Hash, Allocator)
8412-
-> unordered_map<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Hash,
8413-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8412+
-> unordered_map<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Hash,
8413+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
84148414

84158415
template<class Key, class T, class Allocator>
84168416
unordered_map(initializer_list<pair<Key, T>>, typename @\seebelow@::size_type,
@@ -8953,13 +8953,13 @@
89538953
};
89548954

89558955
template<class InputIterator,
8956-
class Hash = hash<@\placeholder{iter-key-type}@<InputIterator>>,
8957-
class Pred = equal_to<@\placeholder{iter-key-type}@<InputIterator>>,
8958-
class Allocator = allocator<@\placeholder{iter-to-alloc-type}@<InputIterator>>>
8956+
class Hash = hash<@\exposid{iter-key-type}@<InputIterator>>,
8957+
class Pred = equal_to<@\exposid{iter-key-type}@<InputIterator>>,
8958+
class Allocator = allocator<@\exposid{iter-to-alloc-type}@<InputIterator>>>
89598959
unordered_multimap(InputIterator, InputIterator,
89608960
typename @\seebelow@::size_type = @\seebelow@,
89618961
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
8962-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
8962+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
89638963
Hash, Pred, Allocator>;
89648964

89658965
template<class Key, class T, class Hash = hash<Key>,
@@ -8971,21 +8971,21 @@
89718971

89728972
template<class InputIterator, class Allocator>
89738973
unordered_multimap(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
8974-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
8975-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
8976-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8974+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
8975+
hash<@\exposid{iter-key-type}@<InputIterator>>,
8976+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
89778977

89788978
template<class InputIterator, class Allocator>
89798979
unordered_multimap(InputIterator, InputIterator, Allocator)
8980-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>,
8981-
hash<@\placeholder{iter-key-type}@<InputIterator>>,
8982-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8980+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>,
8981+
hash<@\exposid{iter-key-type}@<InputIterator>>,
8982+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
89838983

89848984
template<class InputIterator, class Hash, class Allocator>
89858985
unordered_multimap(InputIterator, InputIterator, typename @\seebelow@::size_type, Hash,
89868986
Allocator)
8987-
-> unordered_multimap<@\placeholder{iter-key-type}@<InputIterator>, @\placeholder{iter-mapped-type}@<InputIterator>, Hash,
8988-
equal_to<@\placeholder{iter-key-type}@<InputIterator>>, Allocator>;
8987+
-> unordered_multimap<@\exposid{iter-key-type}@<InputIterator>, @\exposid{iter-mapped-type}@<InputIterator>, Hash,
8988+
equal_to<@\exposid{iter-key-type}@<InputIterator>>, Allocator>;
89898989

89908990
template<class Key, class T, class Allocator>
89918991
unordered_multimap(initializer_list<pair<Key, T>>, typename @\seebelow@::size_type,
@@ -9320,12 +9320,12 @@
93209320
};
93219321

93229322
template<class InputIterator,
9323-
class Hash = hash<@\placeholder{iter-value-type}@<InputIterator>>,
9324-
class Pred = equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9325-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
9323+
class Hash = hash<@\exposid{iter-value-type}@<InputIterator>>,
9324+
class Pred = equal_to<@\exposid{iter-value-type}@<InputIterator>>,
9325+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
93269326
unordered_set(InputIterator, InputIterator, typename @\seebelow@::size_type = @\seebelow@,
93279327
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
9328-
-> unordered_set<@\placeholder{iter-value-type}@<InputIterator>,
9328+
-> unordered_set<@\exposid{iter-value-type}@<InputIterator>,
93299329
Hash, Pred, Allocator>;
93309330

93319331
template<class T, class Hash = hash<T>,
@@ -9336,16 +9336,16 @@
93369336

93379337
template<class InputIterator, class Allocator>
93389338
unordered_set(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
9339-
-> unordered_set<@\placeholder{iter-value-type}@<InputIterator>,
9340-
hash<@\placeholder{iter-value-type}@<InputIterator>>,
9341-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9339+
-> unordered_set<@\exposid{iter-value-type}@<InputIterator>,
9340+
hash<@\exposid{iter-value-type}@<InputIterator>>,
9341+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
93429342
Allocator>;
93439343

93449344
template<class InputIterator, class Hash, class Allocator>
93459345
unordered_set(InputIterator, InputIterator, typename @\seebelow@::size_type,
93469346
Hash, Allocator)
9347-
-> unordered_set<@\placeholder{iter-value-type}@<InputIterator>, Hash,
9348-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9347+
-> unordered_set<@\exposid{iter-value-type}@<InputIterator>, Hash,
9348+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
93499349
Allocator>;
93509350

93519351
template<class T, class Allocator>
@@ -9647,12 +9647,12 @@
96479647
};
96489648

96499649
template<class InputIterator,
9650-
class Hash = hash<@\placeholder{iter-value-type}@<InputIterator>>,
9651-
class Pred = equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9652-
class Allocator = allocator<@\placeholder{iter-value-type}@<InputIterator>>>
9650+
class Hash = hash<@\exposid{iter-value-type}@<InputIterator>>,
9651+
class Pred = equal_to<@\exposid{iter-value-type}@<InputIterator>>,
9652+
class Allocator = allocator<@\exposid{iter-value-type}@<InputIterator>>>
96539653
unordered_multiset(InputIterator, InputIterator, @\seebelow@::size_type = @\seebelow@,
96549654
Hash = Hash(), Pred = Pred(), Allocator = Allocator())
9655-
-> unordered_multiset<@\placeholder{iter-value-type}@<InputIterator>,
9655+
-> unordered_multiset<@\exposid{iter-value-type}@<InputIterator>,
96569656
Hash, Pred, Allocator>;
96579657

96589658
template<class T, class Hash = hash<T>,
@@ -9663,16 +9663,16 @@
96639663

96649664
template<class InputIterator, class Allocator>
96659665
unordered_multiset(InputIterator, InputIterator, typename @\seebelow@::size_type, Allocator)
9666-
-> unordered_multiset<@\placeholder{iter-value-type}@<InputIterator>,
9667-
hash<@\placeholder{iter-value-type}@<InputIterator>>,
9668-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9666+
-> unordered_multiset<@\exposid{iter-value-type}@<InputIterator>,
9667+
hash<@\exposid{iter-value-type}@<InputIterator>>,
9668+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
96699669
Allocator>;
96709670

96719671
template<class InputIterator, class Hash, class Allocator>
96729672
unordered_multiset(InputIterator, InputIterator, typename @\seebelow@::size_type,
96739673
Hash, Allocator)
9674-
-> unordered_multiset<@\placeholder{iter-value-type}@<InputIterator>, Hash,
9675-
equal_to<@\placeholder{iter-value-type}@<InputIterator>>,
9674+
-> unordered_multiset<@\exposid{iter-value-type}@<InputIterator>, Hash,
9675+
equal_to<@\exposid{iter-value-type}@<InputIterator>>,
96769676
Allocator>;
96779677

96789678
template<class T, class Allocator>

0 commit comments

Comments
 (0)