Document

ユーティリティ型のOmit<T,K>は「省略」であって「禁止」ではないので要注意

ユーティリティ型のOmitはオブジェクト型から特定のプロパティを取り除いた型を生成します。
これにTypeScriptの「構造部分型」の特性が加わると、次のコードのように取り除いたプロパティをもったオブジェクトを渡せます。
この例では、zodという型スキーマを使用しています。型スキーマをまだ調べていない場合は、コードの最初のコメントの挙動だけ把握しておけばいいです。


import { DatabaseSync } from 'node:sqlite'
import { z } from 'zod/v4'

// 「ユーザー定義の型ガード関数」と同じように型チェックに使用できるparseメソッドを持つZodObjectを作成
const schemaUserData = z.object({
  user_id:z.string(), // ユーザーID
  password_hashed:z.string(), // ユーザーが入力したパスワードをハッシュ化した値
  email:z.email(), // ユーザーのメールアドレス
})
// schemaUserDataからUserData型を生成
type UserData = z.infer<typeof schemaUserData>
// 返すデータにpassword_hashedを入れてはいけないので、それのための型を作成
type ResponseBody = Omit<UserData, 'password_hashed'>

const getUserData = (sqliteDB:DatabaseSync, user_id:string, password_hashed:string): ResponseBody | null => {
  try{
    // データベースからユーザーの情報を取得（プリペアド文はSQLTagStoreなどでキャッシュしておくべきですが、ここでは省略しています）
    const sqlResult = sqliteDB.prepare(`SELECT * FROM login WHERE user_id = :user_id AND password_hashed = :password_hashed LIMIT 1;`).get({user_id, password_hashed})
    if(sqlResult){
      // 型チェックを行い、問題なければUserData型とみなす
      const userData:UserData = schemaUserData.parse(sqlResult)
      // 返却する値を作成。ここで誤ってUserData型をそのまま渡した場合を想定
      const responseBody:ResponseBody = userData // ユーザーに渡してはいけないpassword_hashedプロパティを含んでいるがエラーは出ない！
      return responseBody
    }
  } catch(e) {
    console.error(e)
  }
  return null
}

このコードでresponseBodyはpasswrod_hashedプロパティを含んでいますが、エラーは出ません。
これはTypeScriptが構造部分型を採用しており、オブジェクトについてはプロパティおよびメソッドの型が一致していれば余剰のプロパティの有無は影響を受けないため起きている事象です。
これを避けるにはResponseBodyの型を以下に変更し、password_hashedプロパティを禁止する必要があります。


          type ResponseBody = Omit<UserData, 'password_hashed'> & {password_hashed?: never}

このように書くと、ResponseBody型の変数はpassword_hashedプロパティを持つオブジェクトを代入することができなくなり、エラーが出ます。
あとは次のように分割代入で必要なプロパティだけを取り出せば大丈夫です。


const {password_hashed, ...responseBody} = userData
return responseBody satisfies ResponseBody