C++ 参考手册

位置：首页 > C++ 参考手册 >迭代器库 > std::empty

std::empty

定义于头文件 <iterator>
(1)
template <class C>
constexpr auto empty(const C& c) -> decltype(c.empty());
 (C++17 起)
(C++20 前)
template <class C>
[[nodiscard]] constexpr auto empty(const C& c) -> decltype(c.empty());
 (C++20 起)
(2)
template <class T, std::size_t N>
constexpr bool empty(const T (&array)[N]) noexcept;
 (C++17 起)
(C++20 前)
template <class T, std::size_t N>
[[nodiscard]] constexpr bool empty(const T (&array)[N]) noexcept;
 (C++20 起)
(3)
template <class E>
constexpr bool empty(std::initializer_list<E> il) noexcept;
 (C++17 起)
(C++20 前)
template <class E>
[[nodiscard]] constexpr bool empty(std::initializer_list<E> il) noexcept;
 (C++20 起)

返回给定的容器是否为空。

1) 返回 c.empty()
2) 返回 false
3) 返回 il.size() == 0

参数

c - 拥有 empty 方法的容器
array - 任意类型的数组
il - 一个 initializer_list

返回值

若容器不含有任何元素则为 true 。

注意

除了包含于 <iterator> ，若包含下列任一头文件，则保证 std::empty 可用： <array> 、 <deque> 、 <forward_list> 、 <list> 、 <map> 、 <regex> 、 <set> 、 <span> (C++20 起) 、 <string> 、 <string_view> 、 <unordered_map> 、 <unordered_set> 及 <vector> 。

可能的实现

版本一 
template <class C> 
constexpr auto empty(const C& c) -> decltype(c.empty())
{
    return c.empty();
}
版本二 
template <class T, std::size_t N> 
constexpr bool empty(const T (&array)[N]) noexcept
{
    return false;
}
版本三 
template <class E> 
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 << "Elements:\n";
         for ( const auto& element : container )
             std::cout << element << '\n';
    }
    else
    {
        std::cout << "Empty\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