Spring から来た方へ

Spring Boot でサービスを作ったことがあれば、wakuwaku の多くの概念には見覚えがあるはずです。共有コンポーネントのレジストリ、依存から組み立てられるコンポーネント、スケジュールされたジョブ、メッセージリスナー、リポジトリ、バリデーションなどです。違うのは、いつ 検査されるかです。Spring は起動時にリフレクションでアプリケーションを組み立てます。wakuwaku は型によって組み立てるため、Spring がアプリケーションの起動時に報告するミスの多くは、wakuwaku ではコンパイルエラーになります。

このページの Java のコードは説明用です。比較対象となる Spring の書き方を示すもので、完全なプログラムではありません。

概念の対応表リンクをコピー

まだ対応物がない Spring のモジュールについては ロードマップ を参照してください。

Bean、インジェクション、スケジューリングリンクをコピー

Spring では、コンテナが DigestJob を見つけ、コンストラクタの引数に合う Bean を探し、スケジュールされたメソッドを起動します。

@Component
class DigestJob {
    private final JdbcTemplate jdbc;
    private final Mailer mailer;

    DigestJob(JdbcTemplate jdbc, Mailer mailer) {
        this.jdbc = jdbc;
        this.mailer = mailer;
    }

    @Scheduled(fixedRate = 60 * 60 * 1000)
    void run() {
        // Query `jdbc`, send mail with `mailer`.
    }
}

注目すべき点は次のとおりです。

• 登録は明示的です。 ServiceBuilder::new(..).push(..) が @Bean メソッドの役割を果たします。クラスパスから自動で見つかるものはありません。
• コンストラクタはクロージャです。 compose_cron_job はクロージャにビルダーを渡し、s.provide::<T, _>() が登録済みの依存を型で引きます。コンストラクタインジェクションと同じ役割で、足りない依存はコンパイルエラーになります。依存が 1 つだけのコンポーネントは、ServiceCreation を実装して cron_job::<Job, _>() で登録することもできます。依存はレジストリからクローンされるので、安価にクローンできるもの (プール、ハンドル、Arc) にしてください。
• スケジュールは定数です。 INTERVAL はジョブの型の一部です。AtLeast は fixedRate のように少なくとも 1 時間おきに実行を始めますが、2 つの実行が重なることはありません。間隔が 0 だとビルドできません。
• シャットダウンは自分で行います。 start() は CronRuntime を返します。shutdown().await を呼ぶと、スケジュールを止め、実行中の処理を完了させてから停止します。abort().await は実行中の処理をキャンセルします。

主な違いリンクをコピー

配線はコンパイル時に検査されるリンクをコピー

Spring はコンテキストの起動時に Bean を解決します。Bean が足りなければ、起動時、あるいはコンテキストを読み込む最初の統合テストで NoSuchBeanDefinitionException になります。

ServiceBuilder は型レベルのリストで、依存を探すことはトレイト境界そのものです。次の例では、ExpireSessions は Dep が SessionStore の cron ジョブですが、登録されているのは Config だけです。

// `SessionStore` was never registered.
let (_services, cron) = ServiceBuilder::new(Config)
    .cron_job::<ExpireSessions, _>()
    .start();

これはコンパイルできません。

error[E0277]: the trait bound `(): ProvideAt<SessionStore, _>` is not satisfied
   --> src/main.rs:38:10
    |
 38 |         .cron_job::<ExpireSessions, _>()
    |          ^^^^^^^^ the trait `ProvideAt<SessionStore, _>` is not implemented for `()`

ビルダーには実行時のマップも Any もありません。配線のミスが本番に出ることはありません。依存解決の仕組みは サービスビルダー で説明しています。

クラスパススキャン、プロキシ、AOP はないリンクをコピー

Spring の @Transactional、@Cacheable、@Async は、コンテナが Bean のまわりに生成するプロキシによって機能します。同じクラスの中からアノテーション付きのメソッドを呼ぶとプロキシを経由しないため、アノテーションは何も言わずに無視されます。

wakuwaku にプロキシはありません。コードのまわりで動くものはすべて、型に現れる値です。

• トランザクションは、データベースハンドルで処理する Transaction という値です。
• 書き込みクエリのまわりのフックは、AfterWrite<Db<..>, ..> のようなラッパー型です。
• キャッシュの読み取りは Cache::get の呼び出しです。

コードに書いてあるものが、そのまま実行されます。

読み取り専用はヒントではなく型リンクをコピー

@Transactional(readOnly = true) は、トランザクションマネージャーと JDBC ドライバーへのヒントで、実行時にメソッド単位で適用されます。wakuwaku では、読み取り専用はデータベースハンドルのケイパビリティです。Db<PgSource, ReadOnly> を持つコードは、宣言された効果が読み取りであるクエリしか実行できません。

/// Wired to a replica: only queries whose effect `ReadOnly` covers compile.
struct UserStats {
    db: Db<PgSource, ReadOnly>,
}

impl UserStats {
    async fn total(&self) -> Result<i64, sqlx::Error> {
        self.db.process(CountUsers).await
    }
}

Write<User> と宣言されたクエリをこのハンドルに渡すと、コンパイルエラーになります。

error[E0277]: the trait bound `ReadOnly: CanWrite<User>` is not satisfied
  --> src/main.rs:25:8
   |
25 |     db.process(DeleteUser(1)).await
   |        ^^^^^^^ the trait `CanWrite<User>` is not implemented for `ReadOnly`

バリデーションの結果が型になるリンクをコピー

Bean Validation はアノテーションの付いたフィールドを検査し、制約を満たさなければ例外を投げます。検証済みのオブジェクトの型には、検査されたという事実は何も残りません。wakuwaku::proof では、検査が成功すると Proven<T, P> が返り、正しい入力を必要とする関数はこの型を要求します。

record SignUp(@NotBlank String username) {}

@PostMapping("/sign-up")
void signUp(@Valid @RequestBody SignUp request) {
    register(request.username()); // register(String) accepts anything
}

述語 (predicate) は非同期で、I/O を行えます。たとえばユーザー名が使用済みでないかを確認できます。And や Or で組み合わせることもできます。バリデーション を参照してください。

コンテキストなしでテストするリンクをコピー

本物の Bean が必要な Spring のテストでは、たいてい @SpringBootTest でアプリケーションコンテキストを起動します。wakuwaku のコンポーネントはただの値です。create_service で生成し、process や handle を呼び、結果を確認します。配線はコンパイラがすでに検査しているので、ユニットテストは振る舞いに集中できます。完全な例は クイックスタート に、その他のパターンは テスト にあります。

次のステップリンクをコピー