field_base

クラス · internal/internal_type_traits.hpp

struct field_base;

概要

体 (field) であることを表明する opt-in マーカー基底。 四則演算（除算を含む）が閉じ、0/1 を構築でき == で比較できる型が継承する。 整数型・浮動小数点型は構文上は四則演算できても「体である」保証がないため 区別したく、構文ベースの concept では弾けないのでマーカー方式を採る。

関連項目

• field — 体 (field) として扱える型。field_base を継承した型のみが満たす。 modint（素数 mod）や有理数を想定。