定数評価 (E4xxx)

コンパイラは const コードをコンパイル時に実行します。定数を評価し、物語から呼ばれる const fn の呼び出しを表化し、画面とテキストのマークを組み立てます。ここに並ぶ診断は、その評価中に見つかった誤りを報告します。レンダー関数の中の誤りは、そのレンダー関数を使うステップの位置で報告されます。

E4001 overflow

エラー。 算術演算の結果がその整数型に収まりません。

const OVERFLOW: u8 = 200u8 + 100u8;

修正: より広い型を使うか、オペランドを小さくします。例: const OVERFLOW: u16 = 200u16 + 100u16;

E4002 division-by-zero

エラー。 定数コードがゼロで除算しています。整数の / や %、または Rat::new(1, 0) のように分母がゼロの有理数を作った場合です。Decimal / Decimal は正確に計算してから 7 桁に切り捨てるため、割り切れないことによるエラーは報告しません。

const fn divide(a: i32, b: i32) -> i32 {
    a / b
}
const DIVISION: i32 = divide(1, 0);

修正: 除数がゼロにならないようにします。例: divide(1, 2)

E4003 budget-exceeded

エラー。 定数の評価がステップ上限（1000000 ステップ）を超えました。たいていは長いループや終わらないループ、再帰が原因です。

const fn spin(n: u64) -> u64 {
    let mut i = 0u64;
    while i < n {
        i = i + 1;
    }
    i
}
const BUDGET: u64 = spin(100000000);

修正: 計算量を減らすか、その値を const コードの外で計算します。

E4004 domain-too-large

エラー。 物語のコードが実行時の引数で const fn を呼んでいるため、コンパイラは引数の値のすべての組み合わせについて呼び出しを表化する必要があります。組み合わせが 65536 を超えると、このエラーになります。

static mut BIG: Int<0, 100000> = 0;

const fn same(x: Int<0, 100000>) -> Int<0, 100000> {
    x
}

#[scene]
pushdown fn Start() {
    let big = same(BIG);
}

修正: Int<0, 3> のようにパラメーターの型を狭めて、定義域を小さくします。

E4005 index-out-of-range

エラー。 配列または Vec へのインデックスが長さを超えています。

const INDEX: i32 = {
    let a = [1, 2];
    a[2]
};

修正: 長さより小さいインデックスを使います。例: a[1]

E4006 const-cycle

エラー。 const の値が、直接または他の定数を通して自分自身に依存しているため、コンパイル時に計算できません。循環に含まれるすべての定数が、それぞれの名前の位置で報告されます。循環中の定数を使うだけの定数は報告されません。

const A: u32 = B + 1;
const B: u32 = A;

修正: どれか 1 つの定数に、元を参照しない値を与えて循環を断ちます。例: const B: u32 = 0;

E4007 handle-outside-static

エラー。 Setting または Meta のハンドルが、static の初期化子以外の場所で作られています。

const HANDLE: Setting<bool> = setting(true);

修正: static として宣言します。例: static HANDLE: Setting<bool> = setting(true);

E4008 invalid-motion

エラー。 モーションまたはシェイクの形が不正です。たとえば、キーがない、時刻ゼロのキーがある、キーの時刻が厳密に増加していない、最後のキーが恒等変換でない、繰り返し回数がゼロ、などです。

const A: EntityId = EntityId(3);

const fn no_keys(mut screen: Screen) -> Screen {
    screen.entity(A).apply_animation(motion());
    screen
}

#[scene]
pushdown fn Start() {
    s!(render = no_keys, t!["1"]);
}

修正: 恒等変換で終わるキーを少なくとも 1 つ与えます。例: motion().key(ms(100), offset(0, 0))

E4009 invalid-easing

エラー。 イージングのパラメーターが有効範囲外です。たとえば CubicBezier の x 座標が 0.0..=1.0 の外にある場合や、Steps(0) です。

const A: EntityId = EntityId(3);

const fn bezier(mut screen: Screen) -> Screen {
    screen.entity(A).opacity().change(1.0).apply_animation(tween(ms(100)).ease(Easing::CubicBezier(1.5, 0.0, 0.5, 1.0)));
    screen
}

#[scene]
pushdown fn Start() {
    s!(render = bezier, t!["1"]);
}

修正: パラメーターを範囲内に収めます。例: Easing::CubicBezier(0.5, 0.0, 0.5, 1.0)

E4010 duplicate-mark

エラー。 1 つのテキストの中に同じマークが 2 回以上現れています。

use std::narrative::text::{concat, effect, mark};

const DUPLICATE_MARKS: Text = concat([effect("a", mark(1)), effect("b", mark(1))]);

修正: マークごとに別の番号を付けます。例: 2 つ目を mark(2) にする。

E4011 begin-text-on-mark

エラー。 タイムラインがテキストのマークに固定されている間に、レンダーが begin_text を呼んでいます。

use std::narrative::Mark;

const fn text_on_mark(mut screen: Screen) -> Screen {
    screen.at_mark(Mark(2));
    screen.begin_text();
    screen
}

#[scene]
pushdown fn Start() {
    s!(render = text_on_mark, t!["1"]);
}

修正: タイムラインをマークに固定する前に begin_text を呼びます。

E4012 fraction-out-of-range

エラー。 不透明度、音量、アンカー座標など、0.0..=1.0 の割合でなければならない値がその範囲外です。

const A: EntityId = EntityId(3);

const fn opacity(mut screen: Screen) -> Screen {
    screen.entity(A).opacity().change(1.5).apply_animation(instant());
    screen
}

#[scene]
pushdown fn Start() {
    s!(render = opacity, t!["1"]);
}

修正: 値を 0.0..=1.0 に収めます。例: .change(1.0)

E4013 duration-overflow

エラー。 Duration が u32 のミリ秒に収まりません。作成時、または演算の後に起こります。

const SECS_OVERFLOW: Duration = secs(5000000);

修正: より短い長さを使います。例: secs(5000)