---- kpp::not_one_of << Basic Concepts << Type System << Kpp c++ ----

kpp::not_one_of is a c++ concept of kpp c++ library. kpp::not_one_of is used for constraint that a type is not any one of a list of types.

kpp::not_one_of is the opposite concept of kpp::one_of.

kpp::not_one_of is used as picking a specific type that does not belong to a list of types, if no type is satisfied, the trait returns kpp::overflow_type.

kpp::not_one_of Sig:

template <typename type_t00, typename ... type_list>
concept not_one_of = ...;

include

#include <kpp/types.hpp>

c++ example

#include <kpp/types.hpp>

template <kpp::not_one_of<int, float, char> type_t00>
class test
{
};

int main()
{
	auto obj = test<int &>{};
	// test<int>{};	// failed
}

See Also

kpp::one_of

kpp::same_as

kpp::same_assert

Back

Up

Deck

Kpp Home