TypeScript Deep Dive 日本語版
  • TypeScript Deep Dive 日本語版
  • TypeScript入門 & 環境構築
    • なぜTypeScriptを使うのか?
  • JavaScript
    • 等価演算子の同一性
    • リファレンス
    • nullとundefined
    • this
    • クロージャ
    • Number型
    • Truthy
  • モダンなJavaScriptの機能
    • クラス
      • Classes Emit
    • アロー関数
    • 残余引数(Restパラメータ)
    • let
    • const
    • 分割代入
    • スプレッド演算子
    • for...of
    • Iterator
    • テンプレートリテラル
    • Promise
    • ジェネレータ
    • async await
  • プロジェクトの環境設定
    • コンパイルコンテキスト
      • tsconfig.json
      • コンパイル対象ファイルの設定
    • 宣言空間
    • ファイルモジュール
      • ファイルモジュールの詳細
      • global.d.ts
    • 名前空間
    • 動的インポート
  • Node.js & TypeScriptのプロジェクト作成
  • React & TypeScriptのプロジェクト作成
  • TypeScriptの型システム
    • JavaScriptからの移行ガイド
    • @types パッケージ (DefinitelyTyped)
    • アンビエント宣言(declare)
      • 型定義ファイル
      • グローバル変数の宣言
    • インターフェース
    • Enum
    • lib.d.ts
    • 関数の型
    • 呼び出し可能オブジェクト
    • Type Assertion(型アサーション)
    • Freshness
    • 型ガード
    • リテラル型
    • Readonly
    • ジェネリック型
    • 型推論
    • 型の互換性
    • never
    • 判別可能なUnion型
    • Index signature(インデックス型)
    • 型の移動
    • 例外のハンドリング
    • ミックスイン
  • JSX
    • React
    • React以外のJSX
  • オプション
    • noImplicitAny
    • strictNullChecks
  • TypeScriptのエラー
    • エラーの理解
    • 一般的なエラー
  • NPM
  • テスト
    • Jest
    • Cypress
  • ツール
    • Prettier
    • Husky
    • Changelog
  • その他のヒント
    • String Based Enums
    • Nominal Typing
    • Stateful Functions
    • Bind is Bad
    • Currying
    • Type Instantiation
    • Lazy Object Literal Initialization
    • Classes are Useful
    • Avoid Export Default
    • Limit Property Setters
    • outFile caution
    • JQuery tips
    • static constructors
    • singleton pattern
    • Function parameters
    • Build Toggles
    • Barrel
    • Create Arrays
    • Typesafe Event Emitter
  • スタイルガイド(コーディング規約)
  • TypeScriptコンパイラの内側
    • Program
    • AST
      • TIP: Visit Children
      • TIP: SyntaxKind enum
      • Trivia
    • Scanner
    • Parser
      • Parser Functions
    • Binder
      • Binder Functions
      • Binder Declarations
      • Binder Container
      • Binder SymbolTable
      • Binder Error Reporting
    • Checker
      • Checker Diagnostics
      • Checker Error Reporting
    • Emitter
      • Emitter Functions
      • Emitter SourceMaps
    • Contributing
GitBook提供
このページ内
  • Type + Valueの両方をコピーする
  • 変数の型を取り込む
  • クラスメンバのタイプを取得する
  • マジック文字列の種類を取得する
  • キー名のキャプチャ

役に立ちましたか?

  1. TypeScriptの型システム

型の移動

TypeScriptのタイプシステムは非常に強力で、そこでは他の言語では不可能な方法で移動とスライシングが可能です。

これは、TypeScriptが、JavaScriptなどの高度に動的な言語でシームレスに作業できるように設計されているためです。ここでは、TypeScriptでタイプを移動するためのいくつかのトリックについて説明します。

これらに対する主な動機づけ:あなたは1つのものを変更し、他のものはすべて自動的に更新するだけで、うまく設計された制約システムのように、何かが壊れそうになると良い感じのエラーになります。

Type + Valueの両方をコピーする

クラスを移動したい場合は、次の操作を行うことができます。

class Foo { }
var Bar = Foo;
var bar: Bar; // ERROR: cannot find name 'Bar'

これはエラーです。なぜなら、varはFooを_変数_宣言空間にコピーしただけなので、型の注釈としてBarを使うことができないからです。正しい方法は、importキーワードを使うことです。 _namespaces_や_modules_を使用している場合にのみ、importキーワードをこのように使用することができます(詳細は後で説明します)。

namespace importing {
    export class Foo { }
}

import Bar = importing.Foo;
var bar: Bar; // Okay

この importトリックは、_型と変数_の両方で機能します。

変数の型を取り込む

typeof演算子を使用して、型の注釈で実際に変数を使用することができます。これにより、ある変数が別の変数と同じ型であることをコンパイラに伝えることができます。これを実証する例を以下に示します。

var foo = 123;
var bar: typeof foo; // `bar` has the same type as `foo` (here `number`)
bar = 456; // Okay
bar = '789'; // ERROR: Type `string` is not `assignable` to type `number`

クラスメンバのタイプを取得する

変数の型を取り込むのと同様に、単に型取得の目的で変数を宣言するだけです。

class Foo {
  foo: number; // some member whose type we want to capture
}

// Purely to capture type
declare let _foo: Foo;

// Same as before
let bar: typeof _foo.foo; // `bar` has type `number`

マジック文字列の種類を取得する

多くのJavaScriptライブラリとフレームワークは、生のJavaScript文字列を処理します。const変数を使用してその型を取り込むことができます。

// Capture both the *type* and *value* of magic string:
const foo = "Hello World";

// Use the captured type:
let bar: typeof foo;

// bar can only ever be assigned to `Hello World`
bar = "Hello World"; // Okay!
bar = "anything else "; // Error!

キー名のキャプチャ

keyof演算子を使うと、ある型のキー名を取得できます。例えば。変数のキー名をtypeofを使って最初に取得することでそれを取得することができます:

const colors = {
  red: 'red',
  blue: 'blue'
}
type Colors = keyof typeof colors;

let color: Colors; // same as let color: "red" | "blue"
color = 'red'; // okay
color = 'blue'; // okay
color = 'anythingElse'; // Error: Type '"anythingElse"' is not assignable to type '"red" | "blue"'

上記の例のように、文字列列挙型+定数のようなものを簡単に作成することができます。

前へIndex signature(インデックス型)次へ例外のハンドリング

最終更新 2 年前

役に立ちましたか?

この例では、barはリテラルタイプ'Hello World'を持っています。これについては、 を参照してください。

リテラルタイプのセクション