std:：vector:：empty和std:：empty之间的区别

Question

要检查向量v是否为空，我可以使用std::empty（v）或v.empty（）。我查看了cplike上的签名，但缺乏理解它们的知识。它们如何相互关联？一个实现调用另一个实现吗？

我知道其中一个来自容器库，另一个来自迭代器库，但仅此而已。

Answer 1

std:：empty返回调用std:：vector:：empty的结果。

std::empty对于容器可能提供或不提供成员函数空（）对于提供成员函数空的类型，std::empty提供了默认实现，但是对于不提供此函数的自定义类型，您可以在命名空间范围内提供函数空，以便在模板中使用；由于参数相关查找，与参数相同的命名空间中的函数将被用作回退：

namespace Custom
{
    struct Container
    {
        bool m_empty;
    };

    constexpr bool empty(Container const& c) // custom implementation for our own type
    {
         return c.m_empty;
    }
}

template<class T>
void PrintEmpty(char const* containerName, T&& container)
{
    using namespace std;
    std::cout << containerName << " is " << (empty(container) ? "empty" : "not empty") << '\n';
}

int main()
{
    PrintEmpty("std::vector<int>()", std::vector<int>());
    PrintEmpty("Container{}", Custom::Container{});
    PrintEmpty("Container{ true }", Custom::Container{ true });
}

Answer 2

std:：empty有三个重载，但是std:：empty（v）用于向量v的重载是第一个：

template <class C>
constexpr auto empty(const C& c) -> decltype(c.empty()); // (since c++17, until c++20)

template <class C>
[[nodiscard]] constexpr auto empty(const C& c) -> decltype(c.empty());
(since C++20) // (since c++20)

此过载具有以下效果：

1. 返回c.empty（）

因此，std:：empty（v）和v.empty（）在这种情况下具有相同的效果。

Answer 3

std:：vector:：empty和std:：empty之间的区别

Container::empty成员函数和std::emptyfree函数（模板）的区别与Container::size，std::size，Container::data，std::data，Container::begin，std::begin和Container::end，std::end的区别相同。

在所有这些情况下，对于任何标准容器，free函数（例如std:：empty）只调用相应的成员函数。free函数的存在旨在提供容器（以及std:：initializer_list）和数组之间的统一接口。数组不能像类模板那样有成员函数，因此它们有专门的重载来处理这些自由函数。

如果您使用模板化容器类型编写代码，那么您应该使用自由函数，以便能够支持数组作为模板化类型。如果类型没有模板化，那么除了方便地将成员函数或自由函数重构成模板（或只是普通数组）之外，选择使用成员函数或自由函数没有区别。