std::size, std::ssize

Определено в заголовочном файле `<array>`
Определено в заголовочном файле `<deque>`
Определено в заголовочном файле `<forward_list>`
Определено в заголовочном файле `<iterator>`
Определено в заголовочном файле `<list>`
Определено в заголовочном файле `<map>`
Определено в заголовочном файле `<regex>`
Определено в заголовочном файле `<set>`
Определено в заголовочном файле `<span>`		(с C++20)
Определено в заголовочном файле `<string>`
Определено в заголовочном файле `<string_view>`
Определено в заголовочном файле `<unordered_map>`
Определено в заголовочном файле `<unordered_set>`
Определено в заголовочном файле `<vector>`
template< class C > constexpr auto size( const C& c ) -> decltype(c.size());	(1)	(с C++17)
template< class C > constexpr auto ssize( const C& c ) -> std::common_type_t<std::ptrdiff_t, std::make_signed_t<decltype(c.size())>>;	(2)	(с C++20)
template< class T, std::size_t N > constexpr std::size_t size( const T (&array)[N] ) noexcept;	(3)	(с C++17)
template< class T, std::ptrdiff_t N > constexpr std::ptrdiff_t ssize( const T (&array)[N] ) noexcept;	(4)	(с C++20)

Возвращает размер заданного диапазона.

1,2) Возвращает c.size(), преобразованное к типу возвращаемого значения при необходимости.

3,4) Возвращает N.

Параметры

c	-	контейнер или представление с членом-функцией `size`
array	-	массив произвольного типа

Возвращаемое значение

Размер c или array.

Исключения

1,2) Может выбросить исключение, определённое реализацией.

Перегрузки

Могут быть предоставлены пользовательские перегрузки size для классов и перечислений, которые не предоставляют подходящую функцию-член size(), но могут быть обнаружены.

Перегрузки size, найденные с помощью поиска зависимых от аргументов, могут быть использованы для настройки поведения std::ranges::size, std::ranges::ssize и std::ranges::empty.

(с C++20)

Возможная реализация

size (1)
template<class C> constexpr auto size(const C& c) -> decltype(c.size()) { return c.size(); }
ssize (2)
template<class C> constexpr auto ssize(const C& c) -> std::common_type_t<std::ptrdiff_t, std::make_signed_t<decltype(c.size())>> { using R = std::common_type_t<std::ptrdiff_t, std::make_signed_t<decltype(c.size())>>; return static_cast<R>(c.size()); }
size (3)
template<class T, std::size_t N> constexpr std::size_t size(const T (&array)[N]) noexcept { return N; }
ssize (4)
template<class T, std::ptrdiff_t N> constexpr std::ptrdiff_t ssize(const T (&array)[N]) noexcept { return N; }

Примечания

Макрос проверки наличия функции	Значение	Стандарт	Функция
`__cpp_lib_nonmember_container_access`	201411L	(C++17)	`std::size()`, `std::data` и `std::empty`
`__cpp_lib_ssize`	201902L	(C++20)	`std::ssize()` (2,4) и беззнаковое `std::span::size()`

Пример

#include <cassert>
#include <iostream>
#include <vector>
 
int main()
{
    // Works with containers
    std::vector<int> v{3, 1, 4};
    assert(std::size(v) == 3);
 
    // And works with built-in arrays too
    int a[]{-5, 10, 15};
    // Returns the number of elements (not bytes) as opposed to sizeof
    assert(std::size(a) == 3);
    std::cout << "size of a[]: " << sizeof a << '\n'; // 12, if sizeof(int) == 4
 
    // Provides a safe way (compared to sizeof) of getting string buffer size
    const char str[] = "12345";
    // These are fine and give the correct result
    assert(std::size(str) == 6);
    assert(sizeof(str) == 6);
 
    // But use of sizeof here is a common source of bugs
    const char* str_decayed = "12345";
    // std::cout << std::size(str_decayed) << '\n'; // Usefully fails to compile
    std::cout << sizeof(str_decayed) << '\n'; // Prints the size of the pointer!
 
    // Since C++20 the signed size (std::ssize) is available
    auto i = std::ssize(v);
    for (--i; i != -1; --i)
        std::cout << v[i] << (i ? ' ' : '\n');
    assert(i == -1);
}

Возможный вывод:

size of a[]: 12
8
4 1 3

См. также

ptrdiff_t	целого типа со знаком, возвращаемого при вычитании двух указателей (typedef)
size_t	целого типа без знака, возвращаемого оператором `sizeof` (typedef)
ranges::size (C++20)	возвращает целое число, равное размеру диапазона (объект настройки)
ranges::ssize (C++20)	возвращает целое число со знаком, равное размеру диапазона (объект настройки)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/iterator/size