std::is_bounded_array

From cppreference.com

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros(C++20)
Language support library
Concepts library(C++20)
Diagnostics library
Memory management library
Metaprogramming library(C++11)
General utilities library
Containers library
Iterators library
Ranges library(C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library(C++17)
Concurrency support library(C++11)
Execution control library(C++26)
Technical specifications
Symbols index
External libraries

[edit]

Metaprogramming library

Type traits

Type categories

is_void

(C++11)

is_null_pointer

(C++11)(DR*)

is_array (C++11)
is_pointer (C++11)
is_enum (C++11)
is_union (C++11)
is_class (C++11)
is_function (C++11)
is_reference (C++11)

is_object (C++11)
is_scalar (C++11)
is_compound (C++11)
is_integral (C++11)
is_floating_point (C++11)
is_fundamental (C++11)
is_arithmetic (C++11)

is_lvalue_reference

(C++11)

is_rvalue_reference

(C++11)

is_member_pointer

(C++11)

is_member_object_pointer

(C++11)

is_member_function_pointer

(C++11)

Type properties

(C++11)

(C++11)

(C++11)

(C++11)

(C++14)

(C++11)

(C++17)

(C++23)

(C++11)(deprecated in C++26)

is_trivially_copyable

(C++11)

is_standard_layout

(C++11)

is_literal_type

(C++11)(until C++20*)

is_pod

(C++11)(deprecated in C++20)

is_signed

(C++11)

is_unsigned

(C++11)

is_bounded_array

(C++20)

is_unbounded_array

(C++20)

is_scoped_enum

(C++23)

has_unique_object_representations

(C++17)

Type trait constants

integral_constantbool_constanttrue_typefalse_type

(C++11)(C++17)(C++11)(C++11)

Metafunctions

conjunction

(C++17)

disjunction

(C++17)

negation

(C++17)

Supported operations

is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)
is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)

is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)
is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)
has_virtual_destructor (C++11)
is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17)

Relationships and property queries

is_same (C++11)
is_convertibleis_nothrow_convertible (C++11)(C++20)
is_layout_compatible (C++20)
is_pointer_interconvertible_base_of (C++20)
is_pointer_interconvertible_with_class (C++20)
is_corresponding_member (C++20)
reference_constructs_from_temporary (C++23)
reference_converts_from_temporary (C++23)

is_base_of (C++11)
is_virtual_base_of (C++26)
alignment_of (C++11)
rank (C++11)
extent (C++11)
is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17)

Type modifications

remove_cvremove_constremove_volatile (C++11)(C++11)(C++11)
add_cvadd_constadd_volatile (C++11)(C++11)(C++11)
make_signed (C++11)
make_unsigned (C++11)

remove_reference (C++11)
add_lvalue_referenceadd_rvalue_reference (C++11)(C++11)
remove_pointer (C++11)
add_pointer (C++11)
remove_extent (C++11)
remove_all_extents (C++11)

Type transformations

aligned_storage (C++11)(deprecated in C++23)
aligned_union (C++11)(deprecated in C++23)
decay (C++11)
remove_cvref (C++20)
result_ofinvoke_result (C++11)(until C++20*)(C++17)

conditional (C++11)
common_type (C++11)
common_reference (C++20)
underlying_type (C++11)
type_identity (C++20)
enable_if (C++11)
void_t (C++17)

Compile-time rational arithmetic

Compile-time integer sequences

integer_sequence

(C++14)

[edit]

Defined in header`<type_traits>`
template<class T> struct is_bounded_array;		(since C++20)

std::is_bounded_array is aUnaryTypeTrait.

Checks whetherT is an array type of known bound. Provides the member constantvalue which is equal totrue, ifT is an array type of known bound. Otherwise,value is equal tofalse.

If the program adds specializations forstd::is_bounded_array orstd::is_bounded_array_v, the behavior is undefined.

[edit]Template parameters

a type to check

[edit]Helper variable template

template<class T> constexprbool is_bounded_array_v= is_bounded_array<T>::value;		(since C++20)

[edit]

Inherited fromstd::integral_constant

Member constants

value

[static]

true ifT is an array type of known bound,false otherwise
(public static member constant)

Member functions

operator bool	converts the object tobool, returnsvalue (public member function)
operator() (C++14)	returnsvalue (public member function)

Member types

Type	Definition
`value_type`	bool
`type`	std::integral_constant<bool, value>

[edit]Possible implementation

template<class T>struct is_bounded_array:std::false_type{}; template<class T,std::size_t N>struct is_bounded_array<T[N]>:std::true_type{};

[edit]Notes

Feature-test macro	Value	Std	Feature
`__cpp_lib_bounded_array_traits`	`201902L`	(C++20)	`std::is_bounded_array`,std::is_unbounded_array

[edit]Example

Run this code

#include <iostream>#include <type_traits> #define OUT(...) std::cout << #__VA_ARGS__ << " : " << __VA_ARGS__ << '\n' class A{}; int main(){std::cout<<std::boolalpha;    OUT(std::is_bounded_array_v<A>);    OUT(std::is_bounded_array_v<A[]>);    OUT(std::is_bounded_array_v<A[3]>);    OUT(std::is_bounded_array_v<float>);    OUT(std::is_bounded_array_v<int>);    OUT(std::is_bounded_array_v<int[]>);    OUT(std::is_bounded_array_v<int[3]>);}

Output:

std::is_bounded_array_v<A> : falsestd::is_bounded_array_v<A[]> : falsestd::is_bounded_array_v<A[3]> : truestd::is_bounded_array_v<float> : falsestd::is_bounded_array_v<int> : falsestd::is_bounded_array_v<int[]> : falsestd::is_bounded_array_v<int[3]> : true

[edit]See also

is_array (C++11)	checks if a type is an array type (class template)[edit]
is_unbounded_array (C++20)	checks if a type is an array type of unknown bound (class template)[edit]
extent (C++11)	obtains the size of an array type along a specified dimension (class template)[edit]