get_or()

template<std::size_t I, typename T, typename V>

decltype(auto) kumi::function::get_or ( T && t, V && v )

inlinenodiscardconstexpr

#include <kumi/functional/monadic.hpp>

Returns the Ith element of t if t is a kumi::product_type, an instance of v otherwise.

Note

Does not participate in overload resolution if I is out of [0, kumi::size_v<T>).

Template Parameters

I	Compile-time index of the element to access

Parameters

t	Type to inspect
v	Fallback value

Returns

A reference to the selected element of t if t is a kumi::product_type, the parameter v otherwise.