std::ranges::empty
| Défini dans l'en-tête <ranges>
|
||
| Défini dans l'en-tête <iterator>
|
||
inline namespace /*unspecified*/ {
inline constexpr auto empty = /*unspecified*/;
}
|
(depuis C++20) (objet point de personnalisation) |
|
| Signature d'appel |
||
template< class T >
requires /* see below */
constexpr bool empty( T&& t );
|
(depuis C++20) | |
Détermine si t a des éléments ou non.
Un appel à ranges::empty est équivalent à une expression à :
bool(t.empty()), si cette expression est valide.- Sinon,
(ranges::size(t) == 0), si cette expression est valide. - Sinon,
bool(ranges::begin(t) == ranges::end(t)), si cette expression est valide et quedecltype(ranges::begin(t))modélise std::forward_iterator.
Dans tous les autres cas, un appel à ranges::empty est mal formé, ce qui peut entraîner un échec de substitution lorsque ranges::empty(t) apparaît dans le contexte immédiat d'une instanciation de modèle.
Objets de point de personnalisation
Le nom
ranges::empty
désigne un
objet de point de personnalisation
, qui est un
objet fonction
constant d'un type de classe
littéral
semiregular
. Voir
CustomizationPointObject
pour plus de détails.
Exemple
#include <iostream> #include <ranges> #include <vector> template<std::ranges::input_range R> void print(char id, R&& r) { if (std::ranges::empty(r)) { std::cout << '\t' << id << ") Vide\n"; return; } std::cout << '\t' << id << ") Éléments:"; for (const auto& element : r) std::cout << ' ' << element; std::cout << '\n'; } int main() { { auto v = std::vector<int>{1, 2, 3}; std::cout << "(1) ranges::empty utilise std::vector::empty:\n"; print('a', v); v.clear(); print('b', v); } { std::cout << "(2) ranges::empty utilise ranges::size(initializer_list):\n"; auto il = {7, 8, 9}; print('a', il); print('b', std::initializer_list<int>{}); } { std::cout << "(2) ranges::empty sur un tableau brut utilise ranges::size:\n"; int array[] = {4, 5, 6}; // array has a known bound print('a', array); } { struct Scanty : private std::vector<int> { using std::vector<int>::begin; using std::vector<int>::end; using std::vector<int>::push_back; // Note: both empty() and size() are hidden }; std::cout << "(3) appel de ranges::empty sur un objet sans empty() ou size():\n"; Scanty y; print('a', y); y.push_back(42); print('b', y); } }
Sortie :
(1) ranges::empty utilise std::vector::empty:
a) Éléments: 1 2 3
b) Vide
(2) ranges::empty utilise ranges::size(initializer_list):
a) Éléments: 7 8 9
b) Vide
(2) ranges::empty sur un tableau brut utilise ranges::size:
a) Éléments: 4 5 6
(3) appel de ranges::empty sur un objet sans empty() ou size():
a) Vide
b) Éléments: 42
Voir aussi
|
(C++17)
|
vérifie si le conteneur est vide
(modèle de fonction) |