Namespaces
Variants

    std::empty

    来自 zh.cppreference.net
     
    C++
     
    迭代器库
    迭代器概念
    迭代器原语
    算法概念和工具
    间接可调用概念
    通用算法要求
    (C++20)
    (C++20)
    (C++20)
    工具
    (C++20)
    迭代器适配器
    范围访问
    (C++11)(C++14)
    (C++14)(C++14)  
    (C++11)(C++14)
    (C++14)(C++14)  
    (C++17)(C++20)
    (C++17)
    (C++17)
     
    定义于头文件 <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() , and 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_list
    重载 2) std::empty 不要求传播异常规范     		1) 已移除
    2) 要求

    参见

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