c++の安心側に制約を追加したSmart c++は欲しい。Rustは要らない。