bsl::integral_constant< T, v > Class Template Reference

If the provided type is an array type (taking into account const qualifications), provides the member constant value equal to true. Otherwise the member constant value is false. More...

#include <integral_constant.hpp>

Inherited by bsl::conjunction< BN > [private], bsl::disjunction< BN > [private], bsl::has_unique_object_representations< T >, bsl::has_virtual_destructor< T >, bsl::is_abstract< T >, bsl::is_aggregate< T >, bsl::is_arithmetic< T >, bsl::is_array< T >, bsl::is_assignable< T, U >, bsl::is_base_of< T, U >, bsl::is_bool< T >, bsl::is_bounded_array< T >, bsl::is_class< T >, bsl::is_compound< T >, bsl::is_const< T >, bsl::is_constructible< T, Args >, bsl::is_convertible< From, To >, bsl::is_copy_assignable< T >, bsl::is_copy_constructible< T >, bsl::is_copyable< T >, bsl::is_default_constructible< T >, bsl::is_destructible< T >, bsl::is_empty< T >, bsl::is_enum< T >, bsl::is_final< T >, bsl::is_floating_point< T >, bsl::is_function< T >, bsl::is_fundamental< T >, bsl::is_integral< T >, bsl::is_invocable< FUNC, TN >, bsl::is_invocable_r< R, FUNC, TN >, bsl::is_lvalue_reference< T >, bsl::is_member_function_pointer< T >, bsl::is_member_object_pointer< T >, bsl::is_member_pointer< T >, bsl::is_movable< T >, bsl::is_move_assignable< T >, bsl::is_move_constructible< T >, bsl::is_nothrow_assignable< T, U >, bsl::is_nothrow_constructible< T, Args >, bsl::is_nothrow_convertible< From, To >, bsl::is_nothrow_copy_assignable< T >, bsl::is_nothrow_copy_constructible< T >, bsl::is_nothrow_copyable< T >, bsl::is_nothrow_default_constructible< T >, bsl::is_nothrow_destructible< T >, bsl::is_nothrow_invocable< FUNC, TN >, bsl::is_nothrow_invocable_r< R, FUNC, TN >, bsl::is_nothrow_movable< T >, bsl::is_nothrow_move_assignable< T >, bsl::is_nothrow_move_constructible< T >, bsl::is_nothrow_swappable< T >, bsl::is_nothrow_swappable_with< T, U >, bsl::is_null_pointer< T >, bsl::is_object< T >, bsl::is_pod< T >, bsl::is_pointer< T >, bsl::is_polymorphic< T >, bsl::is_reference< T >, bsl::is_reference_wrapper< T >, bsl::is_rvalue_reference< T >, bsl::is_same< T, U >, bsl::is_scalar< T >, bsl::is_signed< T >, bsl::is_standard_layout< T >, bsl::is_swappable< T >, bsl::is_swappable_with< T, U >, bsl::is_trivial< T >, bsl::is_trivially_assignable< T, U >, bsl::is_trivially_constructible< T, Args >, bsl::is_trivially_copy_assignable< T >, bsl::is_trivially_copy_constructible< T >, bsl::is_trivially_copyable< T >, bsl::is_trivially_default_constructible< T >, bsl::is_trivially_destructible< T >, bsl::is_trivially_movable< T >, bsl::is_trivially_move_assignable< T >, bsl::is_trivially_move_constructible< T >, bsl::is_unbounded_array< T >, bsl::is_union< T >, bsl::is_unsigned< T >, bsl::is_void< T >, bsl::is_volatile< T >, and bsl::negation< B >.

Public Types
using	type = integral_constant< T, v >
	provides the member typedef "type"
using	value_type = T
	provides the member typedef "value_type"

Static Public Attributes
static constexpr value_type	value {v}
	the type T that stores the integral constant

Detailed Description

template<typename T, T v>
class bsl::integral_constant< T, v >

If the provided type is an array type (taking into account const qualifications), provides the member constant value equal to true. Otherwise the member constant value is false.

#include <bsl/integral_constant.hpp>
#include <bsl/debug.hpp>

namespace bsl
{
    inline void
    example_integral_constant_overview() noexcept
    {
        if (bsl::integral_constant<bool, true>::value) {
            bsl::print() << "success\n";
        }
    }
}

Template Parameters

T	the type of integral being stored

---

The documentation for this class was generated from the following file:

• include/bsl/integral_constant.hpp