std::empty

< cpp‎ | iterator
在标头 <array> 定义
在标头 <deque> 定义
在标头 <flat_map> 定义
在标头 <flat_set> 定义
在标头 <forward_list> 定义
在标头 <inplace_vector> 定义
在标头 <iterator> 定义
在标头 <list> 定义
在标头 <map> 定义
在标头 <regex> 定义
在标头 <set> 定义
在标头 <span> 定义
在标头 <string> 定义
在标头 <string_view> 定义
在标头 <unordered_map> 定义
在标头 <unordered_set> 定义
在标头 <vector> 定义
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 - 一个 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 << "空\n";
    else
    {
        std::cout << "元素：";
        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);
}

输出：

元素： 1 2 3
空
元素： 4 5 6
元素： 7 8 9

参阅

(C++20)
 检查范围是否为空
(定制点对象)