>>889
> キャストとかtypedefとか必要ない俺のつくったタスクシステムのきれっぱしを参考にしてくれ
>　void Run() { (((T*)this)->*m_doit)(); }

キャスト入ってるよ。まぁ型安全は使い方で確保されてると言えるけど。
あんた、たぶん VC 使いだな。メンバ関数ポインタの &ClassName:: は
規格では省略できないことになってるから、気をつけてな。

>>884,887
たぶん 889 と似たような形のことだろうな。

これまでに挙がったコードだと template も継承も持ち出さずに
自分でメンバ関数ポインタを宣言（>>883）すれば十分に見えるんだけど、
「 m_update_task 周りの処理」ってのは代入と呼び出し以外に何か有るの？
State の実装がメンバ関数ポインタによる処理に切り替えを必要とするとも
限らないし、これをわざわざ「システム」として組み込んでしまうのは
template や継承（特に自己言及的 template など）おぼえたてで
使いたいだけに見えなくも無い。ほんとでそんな構成に利点があるんだろうか？