webcface::traits Namespace Reference

Classes
struct	ArrayLikeTrait
struct	ArrayLikeTrait< T(&)[N]>
struct	ArrayLikeTrait< T[N]>
struct	ArrayLikeTraitCheck
struct	ArrayLikeTraitCheck< true >
struct	ArraySizeTrait
struct	ArraySizeTrait< T(&)[N], Num >
struct	ArraySizeTrait< T[N], Num >
struct	ArraySizeTraitCheck
struct	ArraySizeTraitCheck< true >
struct	EnableIfBool
struct	EnableIfBool< bool, U >
struct	FuncArgTypesIterationFailureTrait
struct	FuncArgTypesIterationTrait
struct	FuncArgTypesIterationTrait< FirstArg, OtherArgs... >
struct	FuncArgTypesIterationTrait<>
struct	FuncReturnTypeCheckOkTrait
struct	FuncSignatureTrait
struct	FuncSignatureTrait< Ret(*)(Args...)>
struct	FuncSignatureTrait< Ret(Args...)>
struct	FuncSignatureTrait< Ret(T::*)(Args...) const >
struct	FuncSignatureTrait< Ret(T::*)(Args...)>
struct	InvokeSignatureTrait
struct	InvokeSignatureTrait< Ret(*)(Args...)>
struct	InvokeSignatureTrait< Ret(Args...)>
struct	InvokeSignatureTrait< Ret(T::*)(Args...) const >
struct	InvokeSignatureTrait< Ret(T::*)(Args...)>
struct	IsConstructibleArg
struct	IsConstructibleArg< Arg, std::void_t< decltype(std::declval< ValAdaptorVector >().operator Arg())> >
struct	IsConstructibleArg< ValAdaptor, void >
struct	IsConstructibleArg< ValAdaptorVector, void >
struct	This_arg_type_is_not_supported_by_WebCFace_Func
struct	This_return_type_is_not_supported_by_WebCFace_Func

Typedefs
template<typename... Args>
using	FuncArgTypesTrait = typename FuncArgTypesIterationTrait< Args... >::ArgTypesCheckResult
template<typename Ret >
using	FuncReturnTypeTrait = std::conditional_t< std::disjunction_v< std::is_void< Ret >, std::is_constructible< ValAdaptorVector, Ret > >, FuncReturnTypeCheckOkTrait, This_return_type_is_not_supported_by_WebCFace_Func< Ret > >
template<typename T >
using	FuncObjTrait = FuncSignatureTrait< decltype(getInvokeSignature(std::declval< std::decay_t< T > >()))>
template<typename T >
using	InvokeObjTrait = InvokeSignatureTrait< decltype(getInvokeSignature(std::declval< std::decay_t< T > >()))>
template<typename T >
using	EnableIfFormattable = decltype(std::declval< std::ostream >()<< std::declval< T >(), TraitOk)
template<typename T >
using	EnableIfViewInvocable = decltype(std::declval< T >()(std::declval< View >()), TraitOk)
template<typename T >
using	IsArrayLike = decltype(isArrayLike(std::declval< T >()))
template<typename T , std::size_t Num>
using	ArraySizeMatch = decltype(arraySizeMatch(std::declval< T >(), std::integral_constant< std::size_t, Num >()))
using	TraitOkType = std::nullptr_t

Functions
constexpr bool	isComplete (...)
template<typename T , int = sizeof(T)>
constexpr bool	isComplete (T *)
template<typename T >
constexpr bool	assertCompleteMember ()
template<typename T >
constexpr bool	assertCompleteValue ()
template<typename T >
constexpr bool	assertCompleteText ()
template<typename T >
constexpr bool	assertCompleteVariant ()
template<typename T >
constexpr bool	assertCompleteView ()
template<typename T >
constexpr bool	assertCompleteImage ()
template<typename T >
constexpr bool	assertCompleteFunc ()
template<typename T >
constexpr bool	assertCompleteFuncListener ()
template<typename T >
constexpr bool	assertCompleteRobotModel ()
template<typename T >
constexpr bool	assertCompleteCanvas2D ()
template<typename T >
constexpr bool	assertCompleteCanvas3D ()
template<typename T >
constexpr bool	assertCompleteLog ()
template<typename T >
constexpr auto	getInvokeSignature (T &&) -> decltype(&T::operator())
template<typename Ret , typename... Args>
constexpr auto	getInvokeSignature (Ret(*p)(Args...))
constexpr std::false_type	isArrayLike (...)
template<typename T >
constexpr auto	isArrayLike (T) -> std::bool_constant< std::is_convertible_v< decltype(*std::begin(std::declval< T >())), double > &&std::is_convertible_v< decltype(*std::end(std::declval< T >())), double > >
constexpr std::true_type	arraySizeMatch (...)
template<typename T , std::size_t Num>
constexpr auto	arraySizeMatch (T, std::integral_constant< std::size_t, Num >) -> std::bool_constant< std::tuple_size< T >::value==Num >
template<typename T >
std::vector< double >	arrayLikeToVector (const T &array)
template<std::size_t Num, typename T >
std::array< double, Num >	arrayLikeToArray (const T &array)

Variables
constexpr std::nullptr_t	TraitOk = nullptr

Typedef Documentation

ArraySizeMatch

template<typename T , std::size_t Num>

using ArraySizeMatch = decltype(arraySizeMatch( std::declval<T>(), std::integral_constant<std::size_t, Num>()))

EnableIfFormattable

template<typename T >

using EnableIfFormattable = decltype(std::declval<std::ostream>() << std::declval<T>(), TraitOk)

EnableIfViewInvocable

template<typename T >

using EnableIfViewInvocable = decltype(std::declval<T>()(std::declval<View>()), TraitOk)

FuncArgTypesTrait

template<typename... Args>

using FuncArgTypesTrait = typename FuncArgTypesIterationTrait<Args...>::ArgTypesCheckResult

FuncObjTrait

template<typename T >

using FuncObjTrait = FuncSignatureTrait<decltype(getInvokeSignature( std::declval<std::decay_t<T> >()))>

FuncReturnTypeTrait

template<typename Ret >

using FuncReturnTypeTrait = std::conditional_t< std::disjunction_v<std::is_void<Ret>, std::is_constructible<ValAdaptorVector, Ret> >, FuncReturnTypeCheckOkTrait, This_return_type_is_not_supported_by_WebCFace_Func<Ret> >

InvokeObjTrait

template<typename T >

using InvokeObjTrait = InvokeSignatureTrait<decltype(getInvokeSignature( std::declval<std::decay_t<T> >()))>

• Tは関数オブジェクト型、または関数型
• getInvokeSignature<T> で関数呼び出しの型 ( Ret(*)(Args...) や Ret(T::*)(Args...) ) を取得し、
• InvokeSignatureTrait<Ret(Args...)> が各種メンバー型や定数を定義する

IsArrayLike

template<typename T >

using IsArrayLike = decltype(isArrayLike(std::declval<T>()))

TraitOkType

using TraitOkType = std::nullptr_t

Function Documentation

arrayLikeToArray()

template<std::size_t Num, typename T >

std::array< double, Num > arrayLikeToArray

(

const T &

array

)

arrayLikeToVector()

template<typename T >

std::vector< double > arrayLikeToVector

(

const T &

array

)

arraySizeMatch() [1/2]

constexpr std::true_type arraySizeMatch (   ... )

constexpr

arraySizeMatch() [2/2]

template<typename T , std::size_t Num>

constexpr auto arraySizeMatch ( T  , std::integral_constant< std::size_t, Num >    ) -> std::bool_constant<std::tuple_size<T>::value == Num>

constexpr

assertCompleteCanvas2D()

template<typename T >

constexpr bool assertCompleteCanvas2D ( )

constexpr

assertCompleteCanvas3D()

template<typename T >

constexpr bool assertCompleteCanvas3D ( )

constexpr

assertCompleteFunc()

template<typename T >

constexpr bool assertCompleteFunc ( )

constexpr

assertCompleteFuncListener()

template<typename T >

constexpr bool assertCompleteFuncListener ( )

constexpr

assertCompleteImage()

template<typename T >

constexpr bool assertCompleteImage ( )

constexpr

assertCompleteLog()

template<typename T >

constexpr bool assertCompleteLog ( )

constexpr

assertCompleteMember()

template<typename T >

constexpr bool assertCompleteMember ( )

constexpr

assertCompleteRobotModel()

template<typename T >

constexpr bool assertCompleteRobotModel ( )

constexpr

assertCompleteText()

template<typename T >

constexpr bool assertCompleteText ( )

constexpr

assertCompleteValue()

template<typename T >

constexpr bool assertCompleteValue ( )

constexpr

assertCompleteVariant()

template<typename T >

constexpr bool assertCompleteVariant ( )

constexpr

assertCompleteView()

template<typename T >

constexpr bool assertCompleteView ( )

constexpr

getInvokeSignature() [1/2]

template<typename Ret , typename... Args>

constexpr auto getInvokeSignature ( Ret(*)(Args...)  p )

constexpr

getInvokeSignature() [2/2]

template<typename T >

constexpr auto getInvokeSignature ( T &&  ) -> decltype(&T::operator())

constexpr

isArrayLike() [1/2]

constexpr std::false_type isArrayLike (   ... )

constexpr

isArrayLike() [2/2]

template<typename T >

constexpr auto isArrayLike ( T  ) -> std::bool_constant< std::is_convertible_v<decltype(*std::begin(std::declval<T>())), double> && std::is_convertible_v<decltype(*std::end(std::declval<T>())), double>>

constexpr

isComplete() [1/2]

constexpr bool isComplete (   ... )

constexpr

isComplete() [2/2]

template<typename T , int = sizeof(T)>

constexpr bool isComplete ( T *  )

constexpr

Variable Documentation

TraitOk

constexpr std::nullptr_t TraitOk = nullptr

inlineconstexpr