esv::fact

The love of birds begins with the heart.

esv::fact

esv::fact calculates the factorial result of value.

Calling Sig:

constexpr auto result = esv::fact(unsigned_value);

constexpr auto result = esv::fact.fn<return_type>(unsigned_value);

constexpr auto result = esv::fact.fn<return_type, unsignned_arg_type>(value);

esv::fact(???) :

If result is less than value, it indicates the result is overflow. When that happens, the result is 3 (There is no any unsigned integral factorial result is 3, so esv::fact uses 3 to indicate overflow).
The returned type is same as value type, but the value type must satisfy unsigned. That's one of esv::u8, esv::u16, esv::u32, esv::u64, esv::umax, esv::ux8, esv::ux16, esv::ux32, esv::ux64, esv::uxmax.
constexpr support.

esv::fact.fn<return_type>(???) :

esv::fact.fn<return_type, unsigned_arg_type>(???) :

The argument type must be still unsigned integral type, the result is converted to return_type.

Header

#include <esvcpp/math.hpp>

Example

#include <esvcpp/core.hpp>
#include <esvcpp/math.hpp>

int main()
{
	// arg_type is esv::u32
	constexpr auto result1 = esv::fact(8u);

	// arg_type is esv::u32, result is converted to esv::f32
	constexpr auto result1 = esv::fact<esv::f32>(8u);

	// arg_type is esv::ux32, result is converted to esv::ix32
	constexpr auto result2 = esv::fact<esv::ix32, esv::ux32>(8);

	esv::print(result1, result2, result3);
}

esv::fact

esv::fact

Calling Sig:

Header

Example

See Also