hi::v1::geo::matrix< D > Class Template Reference

#include <hikogui/geometry/matrix.hpp>

Public Member Functions
constexpr	matrix (matrix const &) noexcept=default
constexpr	matrix (matrix &&) noexcept=default
constexpr matrix &	operator= (matrix const &) noexcept=default
constexpr matrix &	operator= (matrix &&) noexcept=default
constexpr	matrix () noexcept
	Constructs an identity matrix.
constexpr	matrix (f32x4 col0, f32x4 col1, f32x4 col2, f32x4 col3=f32x4{0.0f, 0.0f, 0.0f, 1.0f}) noexcept
	Construct a matrix from four columns.
constexpr	matrix (vector3 col0, vector3 col1, vector3 col2, vector3 col3=vector3{}) noexcept
	Construct a matrix from four vectors.
constexpr	matrix (vector2 col0, vector2 col1) noexcept
	Construct a matrix from four vectors.
constexpr	matrix (float c0r0, float c1r0, float c2r0, float c0r1, float c1r1, float c2r1, float c0r2, float c1r2, float c2r2) noexcept
	Construct a 3x3 matrix from scalar values.
constexpr	matrix (float c0r0, float c1r0, float c2r0, float c3r0, float c0r1, float c1r1, float c2r1, float c3r1, float c0r2, float c1r2, float c2r2, float c3r2, float c0r3, float c1r3, float c2r3, float c3r3) noexcept
	Construct a 4x4 matrix from scalar values.
template<int E>
constexpr	matrix (matrix< E > const &other) noexcept
	Copy-construct a matrix from a smaller matrix.
template<int E>
constexpr matrix &	operator= (matrix< E > const &rhs) noexcept
	Copy-assign a matrix from a smaller matrix.
constexpr	operator std::array< f32x4, 4 > () const noexcept
	Convert a point to its f32x4-nummeric_array.
constexpr bool	holds_invariant () const noexcept
constexpr f32x4	operator* (f32x4 const &rhs) const noexcept
	Transform a f32x4 numeric array by the matrix.
constexpr float	operator* (float const &rhs) const noexcept
	Transform a float by the scaling factor of the matrix.
constexpr corner_radii< float >	operator* (corner_radii< float > const &rhs) const noexcept
	Transform a float by the scaling factor of the matrix.
template<int E>
constexpr auto	operator* (vector< float, E > const &rhs) const noexcept
	Transform a vector by the matrix.
template<int E>
constexpr auto	operator* (extent< float, E > const &rhs) const noexcept
	Transform a extent by the matrix.
template<int E>
constexpr auto	operator* (point< float, E > const &rhs) const noexcept
	Transform a point by the matrix.
constexpr rectangle	operator* (aarectangle const &rhs) const noexcept
	Transform an axis-aligned rectangle by the matrix.
constexpr rectangle	operator* (rectangle const &rhs) const noexcept
	Transform a rectangle by the matrix.
constexpr quad	operator* (quad const &rhs) const noexcept
	Transform a quad by the matrix.
constexpr circle	operator* (circle const &rhs) const noexcept
	Transform a circle by the matrix.
constexpr line_segment	operator* (line_segment const &rhs) const noexcept
	Transform a line-segment by the matrix.
constexpr auto	operator* (matrix const &rhs) const noexcept
	Matrix/Matrix multiplication.
template<int E>
constexpr bool	operator== (matrix< E > const &rhs) const noexcept
	Compare two matrices potentially of different dimensions.
constexpr matrix	operator~ () const
	Invert matrix.

Static Public Member Functions
static constexpr matrix	uniform (aarectangle src_rectangle, aarectangle dst_rectangle, alignment alignment) noexcept
	Create a transformation matrix to translate and uniformly-scale a src_rectangle to a dst_rectangle.

Friends
template<int I>
constexpr f32x4 const &	get (matrix const &rhs) noexcept
	Get a column.
template<int I>
constexpr f32x4 &	get (matrix &rhs) noexcept
	Get a column.
constexpr matrix	transpose (matrix const &rhs) noexcept
	Matrix transpose.
template<char DstX, char DstY, char DstZ, char DstW = 'w'> requires (D == 3)
constexpr matrix	reflect (matrix const &rhs) noexcept
	Reflect axis of a matrix.

Detailed Description

template<int D>
class hi::v1::geo::matrix< D >

A 2D or 3D homogenius matrix for transforming homogenious vectors and points.

This matrix is in column major order. It is implemented as 4 columns made from a f32x4 numeric-array.

Constructor & Destructor Documentation

matrix() [1/7]

template<int D>

hi::v1::geo::matrix< D >::matrix ( )

inlineconstexprnoexcept

Constructs an identity matrix.

matrix() [2/7]

template<int D>

hi::v1::geo::matrix< D >::matrix ( f32x4 col0, f32x4 col1, f32x4 col2, f32x4 col3 = f32x4{0.0f, 0.0f, 0.0f, 1.0f} )

inlineconstexprnoexcept

Construct a matrix from four columns.

Parameters

col0	The 1st f32x4 column.
col1	The 2nd f32x4 column.
col2	The 3rd f32x4 column.
col3	The 4th f32x4 column.

matrix() [3/7]

template<int D>

hi::v1::geo::matrix< D >::matrix ( vector3 col0, vector3 col1, vector3 col2, vector3 col3 = vector3{} )

inlineconstexprnoexcept

Construct a matrix from four vectors.

Parameters

col0	The 1st vector3 column.
col1	The 2nd vector3 column.
col2	The 3rd vector3 column.
col3	The 4th vector3 column.

matrix() [4/7]

template<int D>

hi::v1::geo::matrix< D >::matrix ( vector2 col0, vector2 col1 )

inlineconstexprnoexcept

Construct a matrix from four vectors.

Parameters

col0	The 1st vector2 column.
col1	The 2nd vector2 column.

matrix() [5/7]

template<int D>

hi::v1::geo::matrix< D >::matrix ( float c0r0, float c1r0, float c2r0, float c0r1, float c1r1, float c2r1, float c0r2, float c1r2, float c2r2 )

inlineconstexprnoexcept

Construct a 3x3 matrix from scalar values.

The function parameters are in row-major order for pretty formatting in source code. The matrix itself remains in column-major order.

Parameters

c0r0	Value for column 0, row 0
c1r0	Value for column 1, row 0
c2r0	Value for column 2, row 0
c0r1	Value for column 0, row 1
c1r1	Value for column 1, row 1
c2r1	Value for column 2, row 1
c0r2	Value for column 0, row 2
c1r2	Value for column 1, row 2
c2r2	Value for column 2, row 2

matrix() [6/7]

template<int D>

hi::v1::geo::matrix< D >::matrix ( float c0r0, float c1r0, float c2r0, float c3r0, float c0r1, float c1r1, float c2r1, float c3r1, float c0r2, float c1r2, float c2r2, float c3r2, float c0r3, float c1r3, float c2r3, float c3r3 )

inlineconstexprnoexcept

Construct a 4x4 matrix from scalar values.

The function parameters are in row-major order for pretty formatting in source code. The matrix itself remains in column-major order.

Parameters

c0r0	Value for column 0, row 0
c1r0	Value for column 1, row 0
c2r0	Value for column 2, row 0
c3r0	Value for column 3, row 0
c0r1	Value for column 0, row 1
c1r1	Value for column 1, row 1
c2r1	Value for column 2, row 1
c3r1	Value for column 3, row 1
c0r2	Value for column 0, row 2
c1r2	Value for column 1, row 2
c2r2	Value for column 2, row 2
c3r2	Value for column 3, row 2
c0r3	Value for column 0, row 3
c1r3	Value for column 1, row 3
c2r3	Value for column 2, row 3
c3r3	Value for column 3, row 3

matrix() [7/7]

template<int D>

template<int E>

hi::v1::geo::matrix< D >::matrix ( matrix< E > const & other )

inlinenodiscardconstexprnoexcept

Copy-construct a matrix from a smaller matrix.

Member Function Documentation

operator std::array< f32x4, 4 >()

template<int D>

hi::v1::geo::matrix< D >::operator std::array< f32x4, 4 > ( ) const

inlineexplicitnodiscardconstexprnoexcept

Convert a point to its f32x4-nummeric_array.

operator*() [1/12]

template<int D>

rectangle hi::v1::geo::matrix< D >::operator* ( aarectangle const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform an axis-aligned rectangle by the matrix.

After transformation it can not be guaranteed that an axis-aligned rectangle remained aligned to axis, therefor a normal rectangle is returned

Note

It is undefined behavior to perspective transform a rectangle

Parameters

rhs	The axis-aligned rectangle to be transformed.

Returns

The transformed rectangle

operator*() [2/12]

template<int D>

circle hi::v1::geo::matrix< D >::operator* ( circle const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a circle by the matrix.

Parameters

rhs	The circle to be transformed.

Returns

The transformed circle

operator*() [3/12]

template<int D>

corner_radii< float > hi::v1::geo::matrix< D >::operator* ( corner_radii< float > const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a float by the scaling factor of the matrix.

The floating point number is transformed into a vector laying on the x-axis, then transformed, then extracting the hypot from it.

operator*() [4/12]

template<int D>

template<int E>

auto hi::v1::geo::matrix< D >::operator* ( extent< float, E > const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a extent by the matrix.

Extents will not be translated.

Parameters

rhs	The extent to be transformed.

Returns

The transformed extent.

operator*() [5/12]

template<int D>

f32x4 hi::v1::geo::matrix< D >::operator* ( f32x4 const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a f32x4 numeric array by the matrix.

Parameters

rhs	The f32x4 numeric array to transform.

Returns

The transformed numeric array.

operator*() [6/12]

template<int D>

float hi::v1::geo::matrix< D >::operator* ( float const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a float by the scaling factor of the matrix.

The floating point number is transformed into a vector laying on the x-axis, then transformed, then extracting the hypot from it.

operator*() [7/12]

template<int D>

line_segment hi::v1::geo::matrix< D >::operator* ( line_segment const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a line-segment by the matrix.

Parameters

rhs	The line-segment to be transformed.

Returns

The transformed line-segment

operator*() [8/12]

template<int D>

auto hi::v1::geo::matrix< D >::operator* ( matrix< D > const & rhs ) const

inlinenodiscardconstexprnoexcept

Matrix/Matrix multiplication.

operator*() [9/12]

template<int D>

template<int E>

auto hi::v1::geo::matrix< D >::operator* ( point< float, E > const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a point by the matrix.

Parameters

rhs	The point to be transformed.

Returns

The transformed point.

operator*() [10/12]

template<int D>

quad hi::v1::geo::matrix< D >::operator* ( quad const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a quad by the matrix.

Parameters

rhs	The quad to be transformed.

Returns

The transformed quad

operator*() [11/12]

template<int D>

rectangle hi::v1::geo::matrix< D >::operator* ( rectangle const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a rectangle by the matrix.

Note

It is undefined behavior to perspective transform a rectangle

Parameters

rhs	The rectangle to be transformed.

Returns

The transformed rectangle

operator*() [12/12]

template<int D>

template<int E>

auto hi::v1::geo::matrix< D >::operator* ( vector< float, E > const & rhs ) const

inlinenodiscardconstexprnoexcept

Transform a vector by the matrix.

Vectors will not be translated.

Parameters

rhs	The vector to be transformed.

Returns

The transformed vector.

operator=()

template<int D>

template<int E>

matrix & hi::v1::geo::matrix< D >::operator= ( matrix< E > const & rhs )

inlineconstexprnoexcept

Copy-assign a matrix from a smaller matrix.

operator==()

template<int D>

template<int E>

bool hi::v1::geo::matrix< D >::operator== ( matrix< E > const & rhs ) const

inlinenodiscardconstexprnoexcept

Compare two matrices potentially of different dimensions.

Parameters

rhs	The right-hand-side matrix.

Return values

true	When the two matrices compare equal.

operator~()

template<int D>

matrix hi::v1::geo::matrix< D >::operator~ ( ) const

inlinenodiscardconstexpr

Invert matrix.

uniform()

template<int D>

matrix< D > v1::geo::matrix::uniform ( aarectangle src_rectangle, aarectangle dst_rectangle, alignment alignment )

staticnodiscardconstexprnoexcept

Create a transformation matrix to translate and uniformly-scale a src_rectangle to a dst_rectangle.

The implementation is located in scale.hpp since the definition requires both scale and translate.

Parameters

src_rectangle	The rectangle to be transformed.
dst_rectangle	The rectangle after transformation.
alignment	How the src_rectangle should be aligned inside the dst_rectangle after scaling and moving.

Returns

A transformation matrix to move and scale the src_rectangle to the dst_rectangle.

Friends And Related Symbol Documentation

get [1/2]

template<int D>

template<int I>

f32x4 & get ( matrix< D > & rhs )

friend

Get a column.

Template Parameters

I	The index of the column.

Returns

A reference to the selected column as a f32x4.

get [2/2]

template<int D>

template<int I>

f32x4 const & get ( matrix< D > const & rhs )

friend

Get a column.

Template Parameters

I	The index of the column.

Returns

A const reference to the selected column as a f32x4.

reflect

template<int D>

template<char DstX, char DstY, char DstZ, char DstW = 'w'>
requires (D == 3)

matrix reflect ( matrix< D > const & rhs )

friend

Reflect axis of a matrix.

The default axis of HikoGUI's geometry system are:

       +y
       |   -z (away from camera)
       |  /
       | /
       |/
-x ----+---- +x
      /|
     / |
    /  |
  +z   |
       -y

In Vulkan the Y axis is downward; so to translate a matrix from HikoGUI to Vulkan you can use:

auto vulkan_M = reflect<'x', 'Y', 'z'>(hikogui_M);

The original axis are defined as the lower-case characters 'x', 'y', 'z' and 'w'; or for the negated axis as the upper-case characters 'X', 'Y', 'Z' and 'W'.

Template Parameters

DstX	Which of the original axis to use for the new matrix's x-axis.
DstY	Which of the original axis to use for the new matrix's y-axis.
DstZ	Which of the original axis to use for the new matrix's z-axis.
DstW	Which of the original axis to use for the new matrix's w-axis.

Parameters

rhs	The matrix to reflect

Returns

The reflected matrix.

transpose

template<int D>

matrix transpose ( matrix< D > const & rhs )

friend

Matrix transpose.

---

The documentation for this class was generated from the following files:

• hikogui/src/hikogui/geometry/matrix.hpp
• hikogui/src/hikogui/geometry/scale.hpp