std::empty
ja.cppreference.net より
| ヘッダで定義 <array>
|
||
| ヘッダで定義 <deque>
|
||
| ヘッダで定義 <flat_map>
|
(C++23 以降) |
|
| ヘッダで定義 <flat_set>
|
(C++23 以降) |
|
| ヘッダで定義 <forward_list>
|
||
| ヘッダで定義 <inplace_vector>
|
(C++26 以降) |
|
| ヘッダで定義 <iterator>
|
||
| ヘッダで定義 <list>
|
||
| ヘッダで定義 <map>
|
||
| ヘッダで定義 <optional>
|
(C++26 以降) |
|
| ヘッダで定義 <regex>
|
||
| ヘッダで定義 <set>
|
||
| ヘッダで定義 <span>
|
(C++20 以降) |
|
| ヘッダで定義 <stacktrace>
|
(C++23 以降) |
|
| ヘッダで定義 <string>
|
||
| ヘッダで定義 <string_view>
|
||
| ヘッダで定義 <unordered_map>
|
||
| ヘッダで定義 <unordered_set>
|
||
| ヘッダで定義 <valarray>
|
||
| ヘッダで定義 <vector>
|
||
template< class C >
constexpr auto empty( const C& c ) noexcept(noexcept(c.empty()))
-> decltype(c.empty());
|
(1) | (C++17 以降) |
template< class T, std::size_t N >
constexpr bool empty( const T (&array)[N] ) noexcept;
|
(2) | (C++17 以降) |
指定された範囲が空かどうかを返します。
1)
c.empty()を返します。2)
falseを返します。パラメータ
| c | - |
emptyメンバ関数を持つコンテナまたはビュー
|
| array | - | 任意の型の配列 |
| il | - | std::initializer_list |
戻り値
1)
c.
empty
(
)
2)
false
3)
il.
size
(
)
==
0
例外
1)
実装定義の例外をスローする可能性があります。
注記
std::initializer_list
に対するオーバーロードは、
empty
メンバ関数を持たないため必要です。
| 機能テスト マクロ | 値 | 標準 | 機能 |
|---|---|---|---|
__cpp_lib_nonmember_container_access
|
201411L
|
(C++17) |
std::size()
、
std::data()
および
std::empty()
|
実装例
| 第一バージョン |
|---|
template<class C> [[nodiscard]] constexpr auto empty(const C& c) -> decltype(c.empty()) { return c.empty(); } |
| 第二バージョン |
template<class T, std::size_t N> [[nodiscard]] constexpr bool empty(const T (&array)[N]) noexcept { return false; } |
| 第三バージョン |
template<class E> [[nodiscard]] constexpr bool empty(std::initializer_list<E> il) noexcept { return il.size() == 0; } |
例
このコードを実行
#include <iostream> #include <vector> template<class T> void print(const T& container) { if (std::empty(container)) std::cout << "Empty\n"; else { std::cout << "Elements:"; for (const auto& element : container) std::cout << ' ' << element; std::cout << '\n'; } } int main() { std::vector<int> c = {1, 2, 3}; print(c); c.clear(); print(c); int array[] = {4, 5, 6}; print(array); auto il = {7, 8, 9}; print(il); }
出力:
Elements: 1 2 3 Empty Elements: 4 5 6 Elements: 7 8 9
欠陥報告
以下の動作を変更する欠陥報告は、以前に公開されたC++標準に遡って適用されました。
| DR | 適用先 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| P3016R6 | C++17 | 1) 非メンバ std::empty オーバーロードが std::initializer_list2) std::empty は例外仕様を伝播する必要はありませんでした
|
1) 削除されました 2) 必須となりました |
関連項目
|
(C++20)
|
範囲が空かどうかをチェックする
(カスタマイゼーションポイントオブジェクト) |