System::Is メソッド

System::Is(const E&, const A&) method

トップレベルのマッチング関数。パターンを値に適用します。

template<typename A,typename E> std::enable_if_t<std::is_base_of<Details::Pattern, A>::value, bool> System::Is(const E &e, const A &a)
パラメーター説明
Aパターン型(Details::Pattern から継承する必要があります)。
Eマッチさせる値の型。
パラメーター説明
econst E&マッチさせる対象の値。
aconst A&適用するパターン。

ReturnValue

パターンが値にマッチすれば true。

参照

System::Is(const ExpressionT&, const ConstantT&) method

‘is’ 定数パターンの変換を実装します。

template<class ExpressionT,class ConstantT> std::enable_if_t<!std::is_base_of<Details::Pattern, ConstantT>::value, bool> System::Is(const ExpressionT &left, const ConstantT &constant)
パラメーター説明
ExpressionT左側の式の型です。
ConstantT定数式の型。
パラメーター説明
const ExpressionT&チェックされる式。
定数const ConstantT&左側の式と比較される式。

ReturnValue

型チェックが成功した場合は true、そうでない場合は false。

参照

System::Is(const ExpressionT&, ResultT&) method

‘is’ 宣言パターンの変換を実装します。

template<class PatternT,class ExpressionT,class ResultT> bool System::Is(const ExpressionT &left, ResultT &result)
パラメーター説明
PatternTチェックする型。
ExpressionT左側の式の型です。
ResultT結果式の型。
パラメーター説明
const ExpressionT&チェックされる式。
結果ResultT&チェックされた型に代入される変数。

ReturnValue

型チェックが成功した場合は true、そうでない場合は false。

参照