std::empty

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

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

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><string><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