独自のタイプセーフな React Router を 500 行で書く方法

私が約 6 年前に React を学習していたとき、react-router は私が最初に手に取ったサードパーティ ライブラリの 1 つでした。つまり、これは当然のことです。ルーティングは、最新のシングル ページ アプリケーションの重要な側面の 1 つです。私はそれを当然のことだと思っていました。 私にとって、react-router は魔法の箱でした。内部でどのように動作するのか全く分かりませんでした。それで、しばらくして、ルーティングが一般的にどのように機能するかを自然に理解したとき、それは少し悲しいことでした。もう魔法は必要ありませんね:( しかし、「魔法のブラック ボックス」という概念を残しておいてよかったと思います。それは本当に有害な考えだと思います。これまでのテクノロジーの あなたや私と同じエンジニアによって構築されたことを理解すると、私はとても刺激を受けます。そして、それがあなたにも同じように役立つことを願っています。 すべてが そこで、この投稿に参加して、独自のタイプセーフ ルーターをゼロから構築して、ブラック ボックスを開いて内部の仕組みを理解しましょう。この記事は、読者が React をすでに理解しており、TypeScript に慣れていることを前提としています。 機能と制限事項 この記事ではルーターのどの機能について説明しますか。 私たちのキラー機能はタイプセーフティです。つまり、事前にルートを定義する必要があり、TypeScript は、URL の代わりに意味のないものを渡したり、現在のルートに欠落しているパラメーターを取得しようとしたりしていないかをチェックします。これにはいくつかの体操が必要ですが、心配しないでください。手順を説明します。 それに加えて、当社のルーターは、URL へのナビゲーション、ルート マッチング、ルート パラメーターの解析、戻る/進むナビゲーション、ナビゲーション ブロックなど、平均的なルーターに期待されるすべてをサポートします。 さて、制限について。私たちのルーターはブラウザーでのみ動作し (申し訳ありませんが React Native!)、SRR はサポートしません。 SSR のサポートは比較的簡単なはずですが、この記事はすでに膨大なので取り上げません。 用語 作りたいもののビジョンが見えてきたので、構造と用語について話す必要があります。同様の概念が非常に多く存在するため、それらを事前に定義することが重要です。 ライブラリには、生のルートと解析されたルートの 2 種類のルートがあります。 は または のような単なる文字列です。 URL のテンプレートです。生のルートには、 などのコロンで始まるセクションであるパラメータを含めることができます。 生のルート /user/:id/info /login :id この形式は開発者にとっては使いやすいですが、プログラムにとってはそれほど使いにくいものです。これらのルートをよりマシンに適した形式に変換し、それを と呼びます。 解析済みルート ただし、ユーザーはルートを開くのではなく、URL を開きます。 URL はリソース (この場合はアプリ内のページ) の識別子です。 のようになります。私たちのルーターは主に URL の 2 番目の部分 ( ) (ここでは と呼びます) を気にします。 http://example.app/user/42/info?anonymous=1#bio /user/42/info?anonymous=1#bio path パスは、 ( )、 ( )、および ( ) で構成されます。これらのコンポーネントを別個のフィールドとして格納するオブジェクトは と呼ばれます。 パス名 /user/42/info 検索パラメータ ?anonymous=1 ハッシュ #bio location API の概要 React ライブラリを構築するとき、私は 3 つのステップで進めることを好みます。まずは命令型APIです。その関数はどこからでも呼び出すことができ、通常は React にまったく関連付けられていません。ルーターの場合、それは 、 、または ような関数になります。 navigate getLocation subscribe 次に、それらの関数に基づいて、 や のフックが作成されます。そして、それらの関数とフックはコンポーネントを構築するためのベースとして使用されます。私の経験では、これは非常にうまく機能し、簡単に拡張可能で多用途なライブラリを作成できます。 useLocation useCurrentRoute Router の API は、 関数から始まります。ユーザーはすべての生のルートのマップを関数に渡すことになっており、関数はルートを解析して同じ形状のマッピングを返します。 URL 生成やルート マッチングなどの開発者向け API はすべて、生ではなく解析されたルートを受け入れます。 defineRoutes const routes = defineRoutes({ login: '/login', user: { me: '/user/me', byId: '/user/:id/info', } }); 次のステップでは、解析されたルートを 関数に渡します。これがルーターの核心です。この関数は、すべての関数、フック、コンポーネントを作成します。これは珍しいように見えるかもしれませんが、このような構造により、受け入れられる引数と props のタイプを、 で定義された特定のルートのセットに合わせて調整することができ、タイプセーフが確保されます (そして DX が向上します)。 createRouter routes const { Link, Route, useCurrentRoute, navigate, /* etc... */ } = createRouter(routes); アプリ内のどこでも使用できる関数 (命令型 API)、コンポーネントが位置の変更に反応できるようにするフック、および 3 つのコンポーネント ( 、 、 を返します。これはほとんどのユースケースをカバーするのに十分であり、これらの API に基づいて独自のコンポーネントを構築できます。 createRouter Link Route NotFound 楽しみと利益のためのタイプレベルのプログラミング まずはピッチのタイプセーフティの部分に取り組むことから始めます。前に述べたように、タイプセーフ ルーターを使用すると、TypeScript は次のような状況について事前に警告します。 または次のようにします。 const { userld } = useRoute(routes.user.byId); これらの何が問題なのかすぐに分からない場合は、間違いなくタイプセーフルーターが必要です:) TypeScript の型システムは非常に強力です。つまり、タイプレベルのプログラミングを使用して、 、 、さらには さえも作成できるのです。 チェス エンジン アドベンチャー ゲーム SQL データベース 値を操作する (2 つの文字列を連結するなど) 「値レベル プログラミング」についてはすでにご存知でしょう。 function concat(a, b) { return a + b; } concat('Hello, ', 'World!'); // 'Hello, World!' しかし、型を使ってそれを行うこともできます。 type Concat = `${A}${B}`; type X = Concat ; // ^? type X = "Hello, World!" はい、通常の関数ほど強力ではなく、見た目も異なります。しかし、これを使用すると、非常にクールで便利なことができるようになります。 タイプレベルのプログラミングを使用して生のルートからパラメータを抽出し、開発者が や URL を構築する関数に不正な値を渡そうとしていないかをチェックできる新しいタイプを構築します。 Link TS を使用した型レベルのプログラミングは、すぐに読み取り不能になる可能性があります。幸いなことに、この複雑さをすべて隠して、次のようなきれいなコードを書くことを可能にするプロジェクトがすでに複数あります。 export type RouteParam = Pipe , Tuples.Filter >, Tuples.Map >, Tuples.ToUnion ] >; かなりきれいですね。ちなみに、生のルートからパラメータを解析するために必要なコードはこれですべてです。このプロジェクトでは、 ライブラリを使用します。これは、複雑さと型レベルのコードの量を軽減するのに役立ちます。 ホットスクリプト ただし、必須ではありません。冒険してみたい場合は、これらすべてのタイプを自分で実装してみることもできます。 では、サードパーティのタイプ ライブラリを使用せずに同様の機能を実装することでインスピレーションが得られます。 Chicane ルーター これに従う場合は、お気に入りのスターター (私は を使用しています) を使用して新しい React プロジェクトを作成し、そこでコーディングを開始することをお勧めします。こうすることで、ルーターをすぐにテストできるようになります。 Vite Next.js のようなフレームワークは、このプロジェクトに干渉する可能性がある独自のルーティングを提供しており、代わりに「バニラ」 React を使用することに注意してください。問題がある場合は、完全なコードを 見つけることができます。 ここで まず、サードパーティのパッケージをインストールします。タイプレベルのユーティリティ用の と、URL/生のルートからパラメータを解析するための 。 hotscript regexparam です npm install hotscript regexparam 私たちのタイプの最初の建築用レンガは生のルートです。生のルートは で始まる必要があります。それをTSでどのようにコーディングしますか？このような： / export type RawRoute = `/${string}`; 簡単ですよね？ただし、 単一の生のルートを受け入れず、ネストされたマッピングを受け入れるため、それをコード化しましょう。次のようなことを書きたくなるかもしれません。 defineRoutes export type RawRoutesMap = { [key: string]: RawRoute | RawRoutesMap }; これはうまくいきます。ただし、このタイプは無限に深くなる可能性があるため、場合によっては TS が計算するのが困難になります。 TS の作業を容易にするために、許可されるネストのレベルを制限します。 20 のネスト レベルはすべてのアプリに十分なはずであり、TS はそれを簡単に処理できます。 しかし、再帰型の深さを制限するにはどうすればよいでしょうか?私はこの からこのトリックを学びました。これは要件に合わせて変更されたバージョンです。 SOの回答 export type RecursiveMap = { [key: string]: RecursiveMap_ ; }; type RecursiveMap_ = MaxDepth extends Stack["length"] ? T : T | { [key: string]: RecursiveMap_ }; 初めての複合型なので説明します。ここには 2 つのタイプがあります。RecursiveMap エントリ ポイントとして機能し、追加のタプル パラメーターを渡して 呼び出します。このタプルはマッピングの深さを追跡するために使用され、呼び出しごとにこの配列に 1 つの要素が追加されます。 RecursiveMap RecursiveMap_ そして、このタプルの長さが に等しくなるまで呼び出しを続けます。 TS では、リテラルとも呼ばれる 値 (たとえば、 ではなく具体的に ) で が使用される場合、それは「等しい」を意味します。 MaxDepth 特定の number 42 extends と 両方とも特定の数値であるため、このコードは として読み取ることができます。この構造がよく使われているのがわかります。 MaxDepth Stack["length"] MaxDepth === Stack["length"] 単純に数値を加算する代わりにタプルを使用するのはなぜでしょうか? TypeScript で 2 つの数値を加算するのはそれほど簡単ではありません。そのための があり、Hotscript で数値を追加することもできますが、(表示されない場合でも) 大量のコードが必要となるため、過度に使用すると TS サーバーとコード エディターの速度が低下する可能性があります。 ライブラリ全体 したがって、私の経験則では、複雑な型は可能な限り避けることです。 このユーティリティ タイプを使用すると、次のように単純にマッピングを定義できます。 export type RawRoutesMap = RecursiveMap ; raw ルート タイプについては以上です。キューの次は解析されたルートです。解析されたルートは、いくつかの追加フィールドと 1 つの関数を備えた単なる JavaScript オブジェクトです。見た目はこんな感じです: export type ParsedRoute = { keys: RouteParam []; build(...params: PathConstructorParams ): Path ; raw: R; ambiguousness: number, pattern: RegExp; }; これを フィールドから解凍してみましょう。これは、このルートに必要なパラメータの配列にすぎません。その方法は次のとおりです。 keys import { Pipe, Strings, Tuples } from "hotscript"; export type RouteParam = Pipe , Tuples.Filter >, Tuples.Map >, Tuples.ToUnion ] >; Hotscript では、関数を呼び出す方法が 2 つあります: または 。 1 つの関数を呼び出す必要がある場合に便利ですが、この例では関数が 4 つあります。 入力を受け入れ、それを提供されたタプルの最初の関数にパイプします。 Call Pipe Call Pipe 戻り値は 2 番目の関数などに入力として渡されます。この例では、たとえば生のルート がある場合、次のように変換されます。 /user/:userId/posts/:postId export type Beep = Pipe , // ["user", ":userId", "posts", ":postId"] Tuples.Filter >, // [":userId", ":postId"] Tuples.Map >, // ["userId", "postId"] Tuples.ToUnion // "userId" | "postId" ] >; 見る？これが型レベルプログラミングの魔法です。それでは、その 関数に取り組んでみましょう。ルート パラメーター ( や など) とオプションの検索パラメーター/ハッシュを受け入れ、それらをパスに結合します。 の実装を見てみましょう。 build userId postId PathConstructorParams // Allows us to also accept number and // any other type which can be converted into string export type StringLike = { toString: () => string }; export type SearchAndHashPathConstructorParams = { hash?: string, search?: string | { [key: string]: string, } }; export type RouteParamsMap = { [key in RouteParam ]: Val }; export type PathConstructorParams = | [RouteParamsMap ] | [RouteParamsMap , SearchAndHashPathConstructorParams]; 関数のパラメータは配列として定義されます (これは後で ...定義の中に広がります) 関数)、最初の要素は 、2 番目の要素はオプションの です。 の値を返すのはどうですか?パスはすでに確立されていますが、TypeScript ではどのように記述するのでしょうか? build RouteParamsMap SearchAndHashPathConstructorParams build これは に非常に似ていますが、もう少し型の体操が必要です。 RouteParam import { Fn } from "hotscript"; interface ReplaceParam extends Fn { return: this["arg0"] extends `:${string}` ? string : this["arg0"]; } // Leading slashes will be removed by Split , so we need to // add them back after our manipulations type Pathname = `/${Pipe , Tuples.Map , Tuples.Join ] >}${Route extends `${string}/` ? '/' : ''}`; export type Path = Pathname | `${Pathname }?${string}` | `${Pathname }#${string}`; ここで行うことは、ルートをセグメントに分割し、各セグメントにマップし、それぞれでカスタム関数 を呼び出すことです。現在のセグメントがパラメータであるかどうかを確認し、 に置き換えるか、セグメントをそのまま返します。 '関数' は少し奇妙に見えるかもしれませんが、これが Hotscript でカスタム関数を定義する方法です。 ReplaceParam string ReplaceParam パスは、パスのみ、パスの後に疑問符が続くもの（これは検索パラメータとハッシュを含む URL を対象とします）、またはハッシュ記号（これは検索パラメータを持たないがハッシュを含む URL を対象とします）のいずれかから構成されることを明示的に示します。 一致したルート、つまり URL から取得したパラメータを含む解析されたルートを記述するタイプも必要です。 // Interface (and not type) because we need to use `this` export interface RouteWithParams { route: ParsedRoute , params: RouteParamsMap , // TS can't properly infer type of route object with simple // check like currentRoute.route === routes.user.byId, so we // need our custom type guard matches: (route: ParsedRoute ) => this is RouteWithParams , } 最後のタイプは です。これは に似ていますが、解析されたルート用です。 ParsedRoutesMap RawRoutesMap // This accepts RawRoutesMap and transforms it into // mapping of parsed routes of same shape export type ParsedRoutesMap = { [Key in keyof RM]: RM[Key] extends RawRoute ? ParsedRoute : RM[Key] extends RawRoutesMap ? ParsedRoutesMap : never; }; その上で、型については終了します。他にもいくつかありますが、それらはより単純なので、実装を進めながら説明します。型レベルのプログラミングにもっと挑戦したい場合は、 チェックして詳細を学び、 を解決してみることができます ( もあります)。 型レベルの Typescript を 型の課題 リソースの優れたリスト ルートパーサー 最後に、通常の値レベルのコーディングに戻ります。 を実装して、ボールを転がしてみましょう。 defineRoutes export const typedKeys = (obj: T) => { return Object.keys(obj) as Array ; }; export const defineRoutes = (routesMap: T): ParsedRoutesMap => { const entries = typedKeys(routesMap).map((key) => { const entry = routesMap[key]; if (typeof entry === 'string') { return [key, parseRoute(entry)] as const; } else { // Nested map return [key, defineRoutes(entry)] as const; } }); return Object.fromEntries(entries); }; ここでは複雑なことは何もありません。 関数をさらに詳しく見てみましょう。 parseRoute import { parse, inject, type RouteParams as RegexRouteParams } from "regexparam"; export class InvalidRoute extends Error { }; export class InvalidRouteParams extends Error { }; const parseRoute = (route: R): ParsedRoute => { if (!route.startsWith('/')) { throw new InvalidRoute('route should start with slash (/)') } const { keys, pattern } = parse(route); const hasRequiredParams = keys.length > 0; const parsedRoute: ParsedRoute = { build(...args) { const params = ( hasRequiredParams ? args[0] : undefined ) as RouteParamsMap | undefined; const searchAndHash = ( hasRequiredParams ? args[1] : args[0] ) as SearchAndHashPathConstructorParams | undefined; if (hasRequiredParams) { if (!params) { throw new InvalidRouteParams( `Parameters for route ${route} weren't provided` ); } const missingKeys = keys.filter(k => !(k in params)); if (missingKeys.length) { throw new InvalidRouteParams( `Missing parameters for route ${route}: ${missingKeys.join(', ')}` ); } } else if (args.length > 1) { throw new InvalidRouteParams( `Route ${route} doesn't accept any parameters, received ${args[0]}` ); } let path = hasRequiredParams ? inject(route, params as RegexRouteParams ) : route; if (searchAndHash && searchAndHash.search) { if (typeof searchAndHash.search === 'string') { path += searchAndHash.search.startsWith('?') ? searchAndHash.search : '?' + searchAndHash.search; } else { path += '?' + new URLSearchParams(searchAndHash.search).toString(); } } if (searchAndHash && searchAndHash.hash) { path += searchAndHash.hash.startsWith('#') ? searchAndHash.hash : '#' + searchAndHash.hash; } return path as Path ; }, raw: route, keys: keys as RouteParam [] || [], ambiguousness: keys.length, pattern: pattern, }; return parsedRoute; }; も非常にシンプルですが、かなり長いです。ルートを解析してパラメータを抽出するには、 ライブラリを使用します。これにより、ルートに必要なパラメータの配列を取得し、後で URL とルートを照合するために使用する正規表現を生成できます。 parseRoute regexparam この情報は、このオブジェクトの構築に使用された元の生のルートとあいまいさレベル (ルート内の単なるパラメーターの数) とともに保存されます。 履歴ラッパー すべてのルーターはその状態をどこかに保存する必要があります。ブラウザー内のアプリの場合、実際には、メモリ内 (ルート コンポーネント内の状態変数またはコンポーネント ツリーの外側の変数)、履歴 API、または URL のハッシュ部分の 4 つのオプションに集約されます。 たとえば、React でゲームをコーディングしている場合など、ルートがあることをユーザーにまったく見せたくない場合は、インメモリ ルーティングを選択することもできます。 React アプリが大きなアプリケーションの 1 ページにすぎず、URL を自由に変更できない場合、ルートをハッシュに保存すると便利です。 ただし、ほとんどの場合、History API を使用することが最善の選択肢になります。 SSR と互換性があり (他のオプションには互換性がありません)、ユーザーが慣れている動作パターンに従っており、見た目が最もきれいです。このプロジェクトでもそれを使用します。ただし、これには重大な欠陥が 1 つあります。それは、追加のラッパーがないとほとんど使用できないことです。 History AP を使用すると、 イベントをサブスクライブでき、URL が変更されたときにブラウザーが通知します。ただし、ユーザーが戻るボタンをクリックするなどして変更を開始した場合に限ります。 URL の変更がコードから開始された場合は、それを自分で追跡する必要があります。 popstate 私が調査したほとんどのルーターは独自のラッパーを使用しています。react-router と シケイン は NPM パッケージを使用し、TanStack ルーターには があり、wouter には完全なフレッジャー ラッパーはありませんが、 必要があります。 履歴 独自の実装 履歴をモンキーパッチする そこで、独自のラッパーを実装してみましょう。 export type HistoryLocation = Pick ; export type NavigationBlocker = (isSoftNavigation: boolean) => boolean; export const createHistory = () => { const winHistory = window.history; const winLocation = window.location; const getLocation = (): HistoryLocation => { return { origin: winLocation.origin, href: winLocation.href, pathname: winLocation.pathname, search: winLocation.search, hash: winLocation.hash, }; }; /* Some magic code */ return /* something... */; }; 使用するタイプは、 と の 2 つです。 1 つ目は、組み込みの タイプ ( のタイプ) の少し限定されたバージョンであり、2 つ目については、ナビゲーションのブロックに到達した後で説明します。この章以降のすべてのコードは、 関数内に組み込まれます。 HistoryLocation NavigationBlocker Location window.location createHistory まずは、履歴変更へのサブスクリプションの実装から始めましょう。このプロジェクトでは、サブスクライブに React スタイルの関数を使用します。コールバックを渡して 呼び出すと、サブスクライブを解除するときに呼び出す必要がある別の関数が返されます。 subscribe const subscribers: Set = new Set(); const onChange = () => { subscribers.forEach(fn => { try { fn(); } catch (err) { console.error('Error while handling location update', err); } }) }; const subscribe = (listener: VoidFunction) => { subscribers.add(listener); return () => { subscribers.delete(listener); }; }; 次のステップは、プログラムによる変更を含む、場所の変更に対応することです。どうやってやりますか？もちろん 付きです。これは少し汚いように見えるかもしれませんが (実際、実際そうなのです)、残念ながらこれより良い選択肢はありません。 モンキーパッチ const origPushState = winHistory.pushState.bind(winHistory); const origReplaceState = winHistory.replaceState.bind(winHistory); winHistory.pushState = (data, unused, url) => { // tryNavigate will be covered later tryNavigate(() => { origPushState(data, unused, url); onChange(); }); }; winHistory.replaceState = (data, unused, url) => { tryNavigate(() => { origReplaceState(data, unused, url); onChange(); }); }; // This event is emmited when user initiates navigation // or when calling history.go, history.back and history.forward window.addEventListener('popstate', onChange); そして、これまでの実装に欠けていた最後の重要な部分は、ナビゲーション ブロックです。これは、ナビゲーション リクエストをインターセプトし、条件付きでキャンセルできる機能です。ナビゲーション ブロックの典型的な例は、ユーザーがフォーム内の進行状況を失わないようにすることです。 let blockers: NavigationBlocker[] = []; const beforeUnloadHandler = (event: Event) => { const blocked = blockers.some(blocker => blocker(false)); if (blocked) { event.preventDefault(); // @ts-ignore For older browsers event.returnValue = ''; return ''; } }; const tryNavigate = (cb: VoidFunction) => { const blocked = blockers.some(blocker => blocker(true)); if (blocked) return; cb(); }; const addBlocker = (blocker: NavigationBlocker) => { blockers.push(blocker); if (blockers.length === 1) { addEventListener('beforeunload', beforeUnloadHandler, { capture: true }); } return () => { blockers = blockers.filter(b => b !== blocker); if (blockers.length === 0) { removeEventListener('beforeunload', beforeUnloadHandler, { capture: true }); } } }; 私たちの実装では、ブロッカーは、このナビゲーションをブロックする必要があるかどうかを示すブール値を返す関数です。ナビゲーションのブロックに関しては、2 種類のナビゲーションがあり、それぞれを異なる方法で処理する必要があります。 一方では、ユーザーがアプリ内のあるページからアプリ内の別のページに移動するときのソフト ナビゲーションがあります。これは完全に制御されているため、ナビゲーションをブロックしたり、カスタム UI を表示したり (ユーザーの意図を確認するため)、ナビゲーションをブロックした後にアクションを実行したりできます。 一方、ハード ナビゲーションは、ユーザーが別のサイトに移動するか、タブを完全に閉じる場合です。セキュリティ上の懸念があるため、ブラウザでは JavaScript がこのナビゲーションを実行するかどうかを決定することを許可できません。ただし、ブラウザーでは、ユーザーに追加の確認ダイアログを表示するかどうかを JavaScript で指定できます。 ソフト ナビゲーションをブロックする場合、追加の UI (カスタム確認ダイアログなど) を表示することもできますが、ハード ナビゲーションの場合、ユーザーがページに留まることを決定した場合にのみそれが表示されるため、実際には意味がありません。 、その時点で、それは役に立たず、混乱します。 履歴がナビゲーション ブロッカー関数を呼び出すと、ソフト ナビゲーションを実行しているかどうかを示すブール値が提供されます。 以上で、history オブジェクトを返す必要があるだけです。 return { subscribe, getLocation, push: winHistory.pushState, replace: winHistory.replaceState, go: (distance: number) => tryNavigate(() => winHistory.go.call(winHistory, distance)), back: () => tryNavigate(() => winHistory.back.call(winHistory)), forward: () => tryNavigate(() => winHistory.forward.call(winHistory)), addBlocker, }; ステップ 1: 命令型 API ついにここまで来ました。命令型 API は、その後のすべてのフックとコンポーネントのベースとなり、開発者がニーズをカバーするカスタム フックを構築できるようになります。まず最初に、ルート マップをフラット配列に変換する必要があります。こうすることで、すべてのルートをループすることがはるかに簡単になり、ルート マッチング部分の作業を開始するときに役立ちます。 型ユーティリティ ( の和集合に変換します) と関数 ( 解析されたルートの配列に変換します) の両方が必要です。まずは次のように入力してみましょう。 ParsedRoutesMap ParsedRoute routesMap export type Values = T[keyof T]; type FlattenRouteMap = T extends ParsedRoute | RawRoute ? T : T extends ParsedRoutesMap | RawRoutesMap ? AllRoutesFromMap : never; export type AllRoutesFromMap | RawRoutesMap > = FlattenRouteMap >; これを 2 つの型に分割するのは不必要に見えるかもしれませんが、これには非常に重要な理由が 1 つあります。それ自体を呼び出す単一の型として実装すると、TS はその型が深すぎて無限である可能性があると文句を言います。そこで、相互に呼び出しを行う 2 つのタイプに分割することで、この問題を回避します。 値レベルの関数の場合、渡された値が解析されたルートかどうかをチェックするための型ガードも必要です。 export const isParsedRoute = ( route: any ): route is ParsedRoute => { return !!route && typeof route === 'object' && typeof route.raw === 'string' && typeof route.build === 'function'; } export const getAllRoutes = ( routesMap: ParsedRoutesMap ): ParsedRoute >[] => { type PossibleRawRoute = AllRoutesFromMap ; return typedKeys(routesMap).flatMap((k) => { const val = routesMap[k]; if (isParsedRoute (val)) { return [val] as const; } // At this point we know that val isn't ParsedRoute, so it has to be map of routes // but TS can't infer that, so we help him a little by casting val to correct type return getAllRoutes(val as ParsedRoutesMap ); }); }; それでは、ルーターの実装を始めましょう。歴史と同様に、この章と次の 2 つの章では、特に明記されていない限り、すべてのコードは 関数に入ります。 createRouter import { useSyncExternalStore, ComponentType, useMemo, MouseEventHandler, ComponentProps, useEffect } from 'react'; export const createRouter = (routesMap: ParsedRoutesMap ) => { // Type for any possible route from passed routesMap type RouteType = AllRoutesFromMap ; // Similar to above, but for matched routes, ie includes URL parameters type BindedRouteWithParams = RouteWithParams ; // Some of our functions will accept route filter, // which can be single parsed route, array or object type RouteFilter = | ParsedRoute | ParsedRoute [] | Record >; const history = createHistory(); const routes = getAllRoutes(routesMap); }; まず最初に、現在の場所を既知のルートの 1 つと一致させるようにルーターに教えてみましょう。いくつかのユーティリティは、 関数内ではなく、グローバル スコープまたは個別のファイルに入ることができます。 createRouter export const filterOutFalsy = (obj: T[]): Exclude [] => { return obj.filter(Boolean) as Exclude []; }; export class RouteMatchingConflict extends Error { }; // This will be used later export class RouteMismatch extends Error { }; そして、このコードは 関数に入ります。 createRouter const extractRouteParams = ( pathname: string, parsedRoute: ParsedRoute ) => { const match = parsedRoute.pattern.exec(pathname); if (!match) return undefined; // Extract all route parameters from match array // and construct object from them return Object.fromEntries(parsedRoute.keys.map((key, index) => { return [key, match[index + 1]]; })) as RouteParamsMap ; }; const findMatchingRoute = ( location: HistoryLocation ): BindedRouteWithParams | undefined => { const matchingRoutes = filterOutFalsy(routes.map(route => { const params = extractRouteParams ( location.pathname, route ); if (!params) return undefined; return { route, params, matches (r: ParsedRoute ) { return route === r; }, }; })); if (matchingRoutes.length === 0) return undefined; if (matchingRoutes.length === 1) return matchingRoutes[0]; // At this point we have multiple matching routes :/ // Gotta decide which one we prefer let lowestAmbiguousnessLevel = Infinity; let lowestAmbiguousnessMatches: BindedRouteWithParams[] = []; matchingRoutes.forEach((match) => { if (match.route.ambiguousness === lowestAmbiguousnessLevel) { lowestAmbiguousnessMatches.push(match); } else if (match.route.ambiguousness m.route.raw).join(', ')}` ); } return lowestAmbiguousnessMatches[0]; }; let currentRoute = findMatchingRoute(history.getLocation()); // This function will be later returned from createRouter function const getCurrentRoute = () => currentRoute; ここでは、既知のルートをすべて調べて、それぞれを現在の場所と照合しようとします。ルートの正規表現が URL と一致する場合、URL からルート パラメータを取得します。それ以外の場合は、 を取得します。一致したルートごとに、 オブジェクトを作成し、配列に保存します。さて、一致するルートが 0 つまたは 1 つある場合は、すべてが簡単です。 null RouteWithParams ただし、現在地に一致するルートが複数ある場合は、どれを優先するかを決定する必要があります。これを解決するために、 フィールドを使用します。覚えているかもしれませんが、このルートには多数のパラメータがあり、 の最も低いルートが優先されます。 ambiguousness ambiguousness たとえば、 と 2 つのルートがある場合、場所 は両方のルートに一致します。ただし、この URL は ルートに対応する必要があることは明らかです。 /app/dashboard /app/:section http://example.com/app/dashboard /app/:section /app/dashboard ただし、このアルゴリズムは完全に安全というわけではありません。たとえば、ルート と 両方とも URL と一致します。そして、それらのあいまいさレベルは同じであるため、ルーターはどちらを優先すべきかを決定できません。 /app/:user/settings/:section /app/dashboard/:section/:region http://example.com/app/dashboard/settings/asia ここで、位置の変更に反応し、 変数を更新するために、このコードを結合する必要があります。 currentRoute const areRoutesEqual = ( a: RouteWithParams | undefined, b: RouteWithParams | undefined ): boolean => { if (!a && !b) return true; // Both are undefined if ((!a && b) || (a && !b)) return false; // Only one is undefined if (!a!.matches(b!.route)) return false; // Different routes // Same routes, but maybe parameters are different? const allParamsMatch = a.route.keys.every(key => a.params[key] === b!.params[key]); return allParamsMatch; }; history.subscribe(() => { const newRoute = findMatchingRoute(history.getLocation()); if (!areRoutesEqual(newRoute, currentRoute)) { currentRoute = newRoute; notifyRouteChange(); // Will be covered later } }); これで、ルーターは位置の変更に反応し、ユーザーはいつでも現在のルートを取得できるようになりました。ただし、ルート変更をサブスクライブする機能がなければあまり役に立たないので、それを追加しましょう。このアプローチは、履歴ラッパーで使用したものと非常によく似ています。 const subscribers: Set = new Set(); const subscribe = (cb: VoidFunction) => { subscribers.add(cb); return () => void subscribers.delete(cb); }; const notifyRouteChange = () => { subscribers.forEach(cb => { try { cb(); } catch (err) { console.error('Error in route change subscriber', err); } }); }; ナビゲーションを実行するために、 関数と 関数を公開します。これらは、 と の単純なラッパーです。 navigate navigateUnsafe history.push history.replace // This function accepts any string path (no type-safety) const navigateUnsafe = ( path: string, { action = 'push' }: { action?: 'push' | 'replace' } = {} ) => { history[action]({}, '', path) }; // And this function accepts only paths that correspond to one of routes const navigate = ( path: Path , options: { action?: 'push' | 'replace' } = {} ) => { navigateUnsafe(path, options); }; さて、これが本物のルーターです。非常に必要最低限の機能ですが、それでも機能します。まだ実装するフックとコンポーネントがいくつかありますが、ここからははるかに簡単になります。 ステップ 2: フック フックについては、現在の場所と現在のルートを返す単純なフックから始めることができます。これらはそれ自体では非常に簡単ですが、 すると、それらをワンライナーに変えることができます。以前に命令型 API を設計した方法により、これらのフックのコードを大幅に減らすことができました。 useSyncExternalStore を使用 const useLocation = () => { return useSyncExternalStore(history.subscribe, history.getLocation); }; const useCurrentRoute = () => { return useSyncExternalStore(subscribe, getCurrentRoute); }; 特定のルート/ルートのセットでのみレンダリングされることになっているコンポーネントをコーディングする場合、 使用して現在のルートを取得し、基準に一致するかどうかを確認して、そのパラメーターを使用する (またはエラーをスローする) ことができます。 useCurrentRoute しかし、これは非常に一般的なタスクであるため、ユーザーにそのための独自のフックを作成させることは犯罪になります。ルーターはこれをすぐに提供する必要があります。 function useRoute (filter: RouteFilter , strict?: true): RouteWithParams ; function useRoute (filter: RouteFilter , strict: false): RouteWithParams | undefined; function useRoute (filter: RouteFilter , strict?: boolean): RouteWithParams | undefined { const currentRoute = useCurrentRoute(); const normalizedFilter = Array.isArray(filter) ? filter : isParsedRoute(filter) ? [filter] : Object.values(filter); const isMatching = !!currentRoute && normalizedFilter.some(route => currentRoute.matches(route)); if (isMatching) return currentRoute as RouteWithParams ; else { if (strict === false) return undefined; throw new RouteMismatch( `Current route doesn't match provided filter(s)` ); } } このフックには、厳密なバージョンと緩和されたバージョンの 2 つのバージョンがあります。ユーザーが 2 番目のパラメーターとして を渡した場合 (または がデフォルト値なので何も渡さなかった場合)、現在のルートが提供されたフィルターのいずれかと一致しない場合、このフックはエラーをスローします。 true true こうすることで、フックが一致するルートを返すか、まったく返さないかを確認できます。 2 番目のパラメーターが false の場合、現在のルートがフィルターに一致しない場合、フックは例外をスローするのではなく、単純に未定義を返します。 この動作を TypeScript に記述するには、 を使用します。これにより、異なる型の複数の関数定義を定義できるようになり、ユーザーがそのような関数を呼び出すときに TypeScript が自動的に使用する関数を選択します。 関数オーバーロードと呼ばれる機能 パス パラメーターに加えて、一部のデータが検索パラメーターに渡される可能性があるため、それらを文字列からマッピングに解析するフックを追加しましょう。このために、組み込みブラウザー API を使用します。 URLSearchParams const useSearchParams = () => { const location = useLocation(); return useMemo(() => { return Object.fromEntries( (new URLSearchParams(location.search)).entries() ); }, [location.search]); }; このセクションの最後のフックは で、これも非常に単純です。これはコールバックを受け入れ、 への呼び出しをエフェクトにラップするだけで、変更された場合にブロッカーを再アタッチします。 useNavigationBlocker history.addBlocker const useNavigationBlocker = (cb: NavigationBlocker) => { useEffect(() => { return history.addBlocker(cb); }, [cb]); }; それでは、コンポーネントの説明に移りましょう。 ステップ 3: コンポーネント ルーティング ライブラリについて言及したときに最初に思い浮かぶコンポーネントは何ですか?きっとそれは か、少なくともそれに似たものだと思います。前に見たように、私たちのフックは、すべての面倒な作業を行う適切に設計された命令型 API のおかげで、非常にシンプルになりました。 Route コンポーネントについても同様です。ユーザーは数行のコードで簡単に実装できます。しかし、私たちは本格的なルーティング ライブラリなので、電池も同梱しましょう :) type RouteProps = { component: ComponentType, match: RouteFilter }; const Route = ({ component: Component, match }: RouteProps) => { const matchedRoute = useRoute(match, false); if (!matchedRoute) return null; return ( ); }; まあ、それは簡単でした！ コンポーネントをどのように実装するか考えてみませんか? :) NotFound type NotFoundProps = { component: ComponentType }; const NotFound = ({ component: Component }: NotFoundProps) => { const currentRoute = useCurrentRoute(); if (currentRoute) return null; return ( ); }; そして、ルーターに必要な最後のコンポーネントは ですが、これは少し注意が必要です。 は常にハード ナビゲーションを開始し、タイプセーフを提供しないため、単純に使用することはできません。そこで、これらの問題に対処しましょう。 Link type LinkProps = Omit , 'href'> & ( // Our link accepts either type-strict href // or relaxed unsafeHref { href: Path , unsafeHref?: undefined } | { href?: undefined, unsafeHref: string } ) & { action?: 'push' | 'replace' }; const Link = ({ action = 'push', onClick, href, unsafeHref, ...props }: LinkProps) => { const hrefToUse = (href ?? unsafeHref)!; const targetsCurrentTab = props.target !== '_blank'; const localOnClick: MouseEventHandler = (event) => { if (onClick) { onClick(event); if (event.isDefaultPrevented()) { // User-defined click handler cacnelled navigation, we should exit too return; } } const inNewTab = !targetsCurrentTab || event.ctrlKey || event.shiftKey || event.metaKey || event.button === 1; if (!isExternal && !inNewTab) { event.preventDefault(); navigateUnsafe(hrefToUse, { action }); } }; const isExternal = useMemo(() => { if (!hrefToUse) return false; return new URL(hrefToUse, window.location.href).origin !== location.origin; }, [hrefToUse]); return }; 機能と同様に、 コンポーネントは渡された URL をタイプチェックしますが、任意の文字列 URL を (エスケープ ハッチまたは外部リンクとして) 提供することもできます。 の動作をオーバーライドするには、独自の リスナーをアタッチします。その中で、元の ( コンポーネントに渡される) を呼び出す必要があります。 navigate Link onClick onClick Link その後、ナビゲーションが開発者によってすでに中止されていないかどうかを確認します (中止されている場合は、イベントを無視する必要があります)。すべて問題がなければ、リンクが外部ではないかどうか、また現在のタブで開く必要があるかどうかを確認します。その場合にのみ、組み込みのハード ナビゲーションをキャンセルし、代わりに独自の 関数を呼び出すことができます。 navigateUnsafe あとは、 関数からすべての関数、フック、コンポーネント (履歴から直接再エクスポートされたいくつかの関数) を返すだけです。 createRouter return { // Directly re-exported from history go: history.go, back: history.back, forward: history.forward, addBlocker: history.addBlocker, getLocation: history.getLocation, subscribeToLocation: history.subscribe, // Imperative API subscribe, getCurrentRoute, navigate, navigateUnsafe, // Hooks useLocation, useCurrentRoute, useRoute, useSearchParams, useNavigationBlocker, // Components Link, Route, NotFound, }; これでルーターは完成です。これで、作成したばかりの小さなルーターを紹介するための小さなアプリを構築できます。ちなみに、このルーターの完全なコード (サンプル アプリのコードを含む) は 見つけることができます。 ここで パズルのピースを組み立てる では、このすべてのコードはどのように結びついているのでしょうか?自分で言うのもなんですが、実に見事です！メモを取るアプリを作成していると想像してください。まず、ルートを定義し、次のようなルーターを作成することから始めます。 export const routes = defineRoutes({ // Yep, this will be very minimal app root: '/', newNote: '/new', note: '/note/:noteId', }); const router = createRouter(routes); // Export functions and component you will be using export const { navigate, Link, Route, NotFound, useRoute, useNavigationBlocker } = router; 次に、定義したルートをページ コンポーネントにリンクします。 function App() { return ( {/* This is how you build URL for Link */} View all notes Create new ) } では、URL からノート ID を取得する必要があるため、 フックを使用します。 NoteDetailsPage useRoute export const NoteDetailsPage = () => { const { getNote } = useNotes(); const { params } = useRoute(routes.note); const note = getNote(params.noteId); return note ? (<> {note.title} {note.text} ) : ( Not found ); }; また、新しいメモを作成するときに、ユーザーがメモを保存せずに移動した場合は、ユーザーの意図を確認したいと思うでしょう。 export const NewNotePage = () => { const saveNote = () => { isSubmittingNoteRef.current = true; const note = createNote(title, text); // And this is programmatic redirect navigate(routes.note.build({ noteId: note.id })); isSubmittingNoteRef.current = false; }; const [title, setTitle] = useState(''); const [text, setText] = useState(''); const { createNote } = useNotes(); const isSubmittingNoteRef = useRef(false); useNavigationBlocker((isSoftNavigation) => { const dirty = title !== '' || text !== ''; if (!dirty || isSubmittingNoteRef.current) return false; if (isSoftNavigation) { const confirmation = confirm('Do you want to leave?'); return !confirmation; } else { return true; } }); return <> New note setTitle(e.target.value)} /> setText(e.target.value)} /> Save ; }; 考えられる改善点 私たちのルーターは確かにルーティングを行いますが、TanStack ルーター、react-router、Next.js ルーターなどの実稼働対応ソリューションには匹敵しません。つまり、コードはわずか約 500 行であり、それほど多くはありません。しかし、正確には何が欠けているのでしょうか？ まずはサーバーサイドレンダリングです。現在、すべてのアプリが SSR を必要とするわけではありませんが、すべてのルーティング ライブラリが SSR をサポートすることが期待されています。サーバー側のレンダリングを文字列に追加するには (SSR のストリーミングではありません!)、メモリ内の現在の位置を保存する別の を作成し (サーバーには History API がないため)、それを 関数に接続します。 history createRouter ストリーミング SSR の実装がどれほど難しいかはわかりませんが、サスペンスのサポートと強く結びつくと思われます。 次に、このルーターは同時レンダリングとうまく統合できません。これは主に、 と互換性がないため、 を使用していることが原因です。これは、ティアリング、つまり UI の一部が特定のストア値でレンダリングされているが、UI の残りの部分が別のストア値でレンダリングされる状況を回避するためにこのように機能します。 非ブロッキング トランジション useSyncExternalStore このため、ルーターはサスペンスとうまく統合できず、サスペンドするすべての位置情報更新ではフォールバックが表示されます。ちなみに、React の同時実行についてはこの で説明しましたが、 では、Suspense、データの取得、フックの について説明します。 記事 この記事 use しかし、これらの欠点があっても、この記事が興味深く、途中で独自のルーターを構築していただければ幸いです :)