PrevUpHomeNext

kpp::roll_t


---- kpp::roll_t << Type System << Kpp c++ ----

kpp::roll_t is a c++ type trait of kpp c++ library. kpp::roll_t has three template arguments: condition, type_t00, type_t01. If condition is true, result type is type_t00, otherwise it is type_t01.

kpp::roll_t Sig:

template <bool condition, typename type_t00, typename type_t01>
using roll_t = ...;

include

#include <kpp/types.hpp>

c++ example

#include <kpp/types.hpp>

int main()
{
	using type = kpp::roll_t<true, int, char>;
	kpp::same_assert<type, int>{};
}

See Also

kpp::roll_v

kpp::same_assert

Back

Up










Deck

Kpp Home

K


PrevUpHomeNext