はてなブックマーク

今回はD言語で状態遷移表設計をやろうという誰得な話をします。 組み込み系ではごくごく一般的な設計手法ですが、エンタープライズ系ではお目にかかることはあまりないのではないかと思います。 状態遷移について ときおり、オブジェクトが状態を持ち、状態に依存して振る舞いを変えたくなる時があります。 そんな場合、状態遷移図を使ってその様子を表し、ステートパターンなんかでプログラムコードに落としたりします。 しかし、状態遷移図には欠点があります。 私のような組み込みエンジニアは、この欠点が致命傷になる場合がよくあるのです。 さて、その欠点とは…。 状態遷移図の欠点 たとえば… CDプレーヤーを想定しましょう。 CDプレーヤーは、以下の状態と振る舞いを規定します。 CDプレーヤーは、最初は「停止中」です。 「停止中」の場合、再生ボタンを受け付け、「再生中」になり音楽を再生し始めます。 「再生中」の場合、停

import std.string, std.range, std.algorithm, std.conv, std.array; struct D { string msg; D opDispatch(string s)() @property { return typeof(return)( ((a, b)=>a.equal(b))( msg.retro().cycle().take(2), msg.chain(s).retro().take(2).array().retro()) ? ((a, b)=>( a.insertInPlace(msg.countUntil(b)+1, ", "), a.idup) )(msg.dup, msg.retro().take(2).array().retro())~s : text(msg,s)); } string d(T)() @proper