高度な TypeScript: 最新の TypeScript 開発の詳細

導入

TypeScript は、スケーラブルな JavaScript アプリケーションを構築するための頼りになる言語になりました。この包括的なガイドでは、開発スキルを強化し、よりタイプセーフなコードを作成するのに役立つ、高度な TypeScript の概念について説明します。

1. 高度な型システムの機能

条件付きタイプ

複雑な型の関係を理解する:

type IsArray<t> = T extends any[] ? true : false;
type IsString<t> = T extends string ? true : false;

// Usage
type CheckArray = IsArray<string>; // true
type CheckString = IsString; // true

// More complex conditional types
type UnwrapPromise<t> = T extends Promise<infer u> ? U : T;
type ArrayElement<t> = T extends (infer U)[] ? U : never;

// Example usage
type PromiseString = UnwrapPromise<promise>>; // string
type NumberArray = ArrayElement<number>; // number
</number></promise></t></infer></t></string></t></t>

テンプレートのリテラル型

文字列リテラル型を利用して型の安全性を向上させる:

type HTTPMethod = 'GET' | 'POST' | 'PUT' | 'DELETE';
type APIEndpoint = '/users' | '/posts' | '/comments';

type APIRoute = `${HTTPMethod} ${APIEndpoint}`;

// Valid routes
const validRoute: APIRoute = 'GET /users';
const validRoute2: APIRoute = 'POST /posts';

// Error: Type '"PATCH /users"' is not assignable to type 'APIRoute'
// const invalidRoute: APIRoute = 'PATCH /users';

// Dynamic template literal types
type PropEventType<t extends string> = `on${Capitalize<t>}`;
type ButtonEvents = PropEventType;
// Results in: 'onClick' | 'onHover' | 'onFocus'
</t></t>

2. 高度なジェネリックス

一般的な制約とデフォルト

柔軟でありながらタイプセーフな汎用インターフェイスの作成:

interface Database<t extends id: string> {
    find(id: string): Promise<t null>;
    create(data: Omit<t>): Promise<t>;
    update(id: string, data: Partial<t>): Promise<t>;
    delete(id: string): Promise<boolean>;
}

// Implementation example
class MongoDatabase<t extends id: string> implements Database<t> {
    constructor(private collection: string) {}

    async find(id: string): Promise<t null> {
        // Implementation
        return null;
    }

    async create(data: Omit<t>): Promise<t> {
        // Implementation
        return { id: 'generated', ...data } as T;
    }

    async update(id: string, data: Partial<t>): Promise<t> {
        // Implementation
        return { id, ...data } as T;
    }

    async delete(id: string): Promise<boolean> {
        // Implementation
        return true;
    }
}
</boolean></t></t></t></t></t></t></t></boolean></t></t></t></t></t></t>

マップされたタイプとキーの再マッピング

高度な型変換:

type Getters<t> = {
    [K in keyof T as `get${Capitalize<string k>}`]: () => T[K]
};

interface Person {
    name: string;
    age: number;
}

type PersonGetters = Getters<person>;
// Results in:
// {
//     getName: () => string;
//     getAge: () => number;
// }

// Advanced key remapping with filtering
type FilteredKeys<t u> = {
    [K in keyof T as T[K] extends U ? K : never]: T[K]
};

interface Mixed {
    name: string;
    count: number;
    isActive: boolean;
    data: object;
}

type StringKeys = FilteredKeys<mixed string>;
// Results in: { name: string }
</mixed></t></person></string></t>

3. 高度なデコレータ

カスタム プロパティ デコレータ

強力なメタデータ駆動型デコレーターの作成:

function ValidateProperty(validationFn: (value: any) => boolean) {
    return function (target: any, propertyKey: string) {
        let value: any;

        const getter = function() {
            return value;
        };

        const setter = function(newVal: any) {
            if (!validationFn(newVal)) {
                throw new Error(`Invalid value for ${propertyKey}`);
            }
            value = newVal;
        };

        Object.defineProperty(target, propertyKey, {
            get: getter,
            set: setter,
            enumerable: true,
            configurable: true,
        });
    };
}

class User {
    @ValidateProperty((value) => typeof value === 'string' && value.length > 0)
    name: string;

    @ValidateProperty((value) => typeof value === 'number' && value >= 0)
    age: number;

    constructor(name: string, age: number) {
        this.name = name;
        this.age = age;
    }
}

4. 高度なユーティリティの種類

カスタムユーティリティタイプ

強力な型変換の構築:

// Deep Partial type
type DeepPartial<t> = {
    [P in keyof T]?: T[P] extends object
        ? DeepPartial<t>
        : T[P];
};

// Deep Required type
type DeepRequired<t> = {
    [P in keyof T]-?: T[P] extends object
        ? DeepRequired<t>
        : T[P];
};

// Deep Readonly type
type DeepReadonly<t> = {
    readonly [P in keyof T]: T[P] extends object
        ? DeepReadonly<t>
        : T[P];
};

// Example usage
interface Config {
    server: {
        port: number;
        host: string;
        options: {
            timeout: number;
            retries: number;
        };
    };
    database: {
        url: string;
        name: string;
    };
}

type PartialConfig = DeepPartial<config>;
// Now we can have partial nested objects
const config: PartialConfig = {
    server: {
        port: 3000
        // host and options can be omitted
    }
};
</config></t></t></t></t></t></t>

5. タイプセーフな API パターン

タイプセーフティを備えたビルダーパターン

完全な型安全性を備えたビルダー パターンの実装:

class RequestBuilder<t> {
    private data: T;

    constructor(data: T = {} as T) {
        this.data = data;
    }

    with<k extends string v>(
        key: K,
        value: V
    ): RequestBuilder<t in k v> {
        return new RequestBuilder({
            ...this.data,
            [key]: value,
        });
    }

    build(): T {
        return this.data;
    }
}

// Usage
const request = new RequestBuilder()
    .with('url', 'https://api.example.com')
    .with('method', 'GET')
    .with('headers', { 'Content-Type': 'application/json' })
    .build();

// Type is inferred correctly
type Request = typeof request;
// {
//     url: string;
//     method: string;
//     headers: { 'Content-Type': string };
// }
</t></k></t>

6. 高度なエラー処理

タイプセーフなエラー処理

堅牢なエラー処理システムの作成:

class Result<t e extends error> {
    private constructor(
        private value: T | null,
        private error: E | null
    ) {}

    static ok<t>(value: T): Result<t never> {
        return new Result(value, null);
    }

    static err<e extends error>(error: E): Result<never e> {
        return new Result(null, error);
    }

    map<u>(fn: (value: T) => U): Result<u e> {
        if (this.value === null) {
            return new Result(null, this.error);
        }
        return new Result(fn(this.value), null);
    }

    mapError<f extends error>(fn: (error: E) => F): Result<t f> {
        if (this.error === null) {
            return new Result(this.value, null);
        }
        return new Result(null, fn(this.error));
    }

    unwrap(): T {
        if (this.value === null) {
            throw this.error;
        }
        return this.value;
    }
}

// Usage example
function divide(a: number, b: number): Result<number error> {
    if (b === 0) {
        return Result.err(new Error('Division by zero'));
    }
    return Result.ok(a / b);
}

const result = divide(10, 2)
    .map(n => n * 2)
    .unwrap(); // 10
</number></t></f></u></u></never></e></t></t></t>

結論

これらの高度な TypeScript パターンは、タイプセーフで保守可能なアプリケーションを作成する言語の能力を示しています。これらの概念をマスターすることで、TypeScript の型システムを最大限に活用する堅牢なアプリケーションを構築する準備が整います。

追加リソース

• TypeScript ドキュメント

• TypeScript の詳細

• TypeScript GitHub リポジトリ

以下のコメント欄でこれらのパターンに関するあなたの経験を共有してください!プロジェクトで最も役立つと感じた TypeScript の高度な機能は何ですか?

---

タグ: #typescript #javascript #web開発 #プログラミング #タイピング

以上が高度な TypeScript: 最新の TypeScript 開発の詳細の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。