std::empty

来自cppreference.com
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
(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 - 任意类型的数组

返回值

1) c.empty()
2) false

异常

1) 在底层 c.empty() 调用抛出时所抛出的异常

注解

功能特性测试 标准 功能特性
__cpp_lib_nonmember_container_access 201411L (C++17) std::size()std::data()std::empty()
__cpp_lib_initializer_list 202511L (C++26)
(DR11)
std::initializer_listdataempty 成员函数;
移除 std::initializer_list 不需要的自由函数[1]
  1. 到 2026-05-27 为止, libstdc++ 尚未将来自 P3016R6 的函数增添删除视为针对 C++11 的缺陷报告,并且仅从 C++26 起应用更改。
    P3016R6 前需要对 std::initializer_list 的重载,因为它没有成员函数 empty

可能的实现

版本一
template<class C>
[[nodiscard]] constexpr auto empty(const C& c) noexcept(noexcept(c.empty()))
    -> decltype(c.empty());
{
    return c.empty();
}
版本二
template<class T, std::size_t N>
[[nodiscard]] constexpr bool empty(const T (&array)[N]) noexcept
{
    return false;
}

示例

#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++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
P3016R6 C++17 1) 对 std::initializer_list 提供了非成员 std::empty 重载
2) 未要求 std::empty 传播异常说明
1) 已移除
2) 已要求

参阅

检查范围是否为空
(定制点对象) [编辑]