std::empty

来自cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
工具
迭代器适配器
流迭代器
迭代器定制点
迭代器操作
(C++11)
(C++11)
范围访问
(C++11)(C++14)
(C++11)(C++14)
(C++17)(C++20)
(C++14)(C++14)
(C++14)(C++14)
empty
(C++17)
(C++17)
 
定义于头文件 <array>
定义于头文件 <deque>
定义于头文件 <forward_list>
定义于头文件 <iterator>
定义于头文件 <list>
定义于头文件 <map>
定义于头文件 <regex>
定义于头文件 <set>
定义于头文件 <span>
(C++20 起)
定义于头文件 <string>
定义于头文件 <string_view>
(C++17 起)
定义于头文件 <unordered_map>
定义于头文件 <unordered_set>
定义于头文件 <vector>
(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

异常

1) 可能抛出实现定义的异常。

注解

需要对 std::initializer_list 的重载,因为它无成员函数 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 << "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

参阅

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