Let's treat animals well and cherish every life.

esv::real_uct

esv::real_uct is the concept of esvcpp basic class types of real number types. See Esvcpp class types .

The basic class types of esvcpp that satisfy esv::real_uct are the classes of integral and floating types.

"real" means the real number in math.

Example

c++ example.

#include <esvcpp/core.hpp>

template <esv::real_uct type_xta>
class my_data
{
};

int main()
{
	my_data<esv::ix32> d1;	// OK
	//my_data<esv::i32> d2;	// error, esv::i32 is not class type.
	static_assert(esv::real_uct<esv::ix32>);
	esv::print(esv::real_uct<esv::ix32>, esv::real_uct<esv::i32>);	// true false
}

See also

esv::real_meric

esv::real_number

esv::ix32 esv::i32

esv::ux32 esv::u32

esv::ix64 esv::i64

esv::ux64 esv::u64

esv::fx32 esv::f32

esv::fx64 esv::f64

esv::print