Как сделать кастомные типы TypeScript (Number, Array, Object, Boolean)?

Question

[Кирилл Новак]

Можете помочь, пожалуйста. Перехожу с JS На TS, и сразу встал в ступор. Как написать кастомный объект (тип), который может быть сразу типа Number, Boolean, Object, и Array

Основная идея: написать абстракцию, грубо говоря для ответа сервера, сервер может ответить число, массивом, Json Объектом и булевом. Надо, чтобы можно было обращаться с ответом так же, как с основными типами (число складывать, массив сортировать и т.п), но при этом добавить общие методы для абстракции, вроде getStatusCode (получить код ответа), getHeaders() и т.д

Вот то, что уже есть, оно работает, но ругается VS code, говорит, что у изначального типа нет тех свойств, который в него добавляю потом.
https://pastebin.com/e8e4Wsab

Сам код работает. Но ошибка есть, и она режет глаз.

Comments

[Толстый Лорри]

Когда в типизированном коде в рантайме начинают разруливать типы (if в паре с typeof) где-то далеко в муках умирает пони-единорог. Очевидно, что в компайл-тайме типы проверяться не будут, получится тот же самый JS, только плохо читаемый.

Надо, чтобы можно было обращаться с ответом так же, как с основными типами (число складывать, массив сортировать и т.п)

Для этого должны быть отдельные типы, чтобы пользовательский код знал наверняка, с каким типом он будет работать, т.е. какой у конкретного ответа доступный API.
Допустим, разруливать нетипизированную жесть будет некий сервис: при вызове getItemList он будет из JSON формировать и возвращать CollectionServerResponse<Item>, а на getItemById - ObjectServerResponse<Item>.

interface IItemService {
    getItemList(): CollectionServerResponse<Item>;
    getItemById(id: number): ObjectServerResponse<Item>;
}

но при этом добавить общие методы для абстракции, вроде getStatusCode (получить код ответа), getHeaders() и т.д

Для этого нужен общий родитель, в который можно вынести общий код:

class ServerResponse {
    public getStatusCode(): number {...}
    public getHeaders(): string[] {...}
}

class CollectionServerResponse<T> extends ServerResponse
{...}

class ObjectServerResponse<T> extends ServerResponse
{...}

[Кирилл Новак]

Толстый Лорри, ответ нравится, но можно пример реализации для грубо говоря двух типов: Number, Object

Просто пока так и не понял, как можно обращаться с ответом также, как ними

[Кирилл Новак]

Толстый Лорри, но, в общем-то, думаю, нет в этом смысла. TS все равно не позволит это сделать

[Толстый Лорри]

Кирилл Новак,

Number, Object... как можно обращаться с ответом также, как ними

Никак, вы совершенно правы. TS не поддерживает ни перегрузку функций (операторов в том числе), ни неявный кастинг объектов в примитивы. Поэтому прибавить один кастомный тип к другому нельзя. Максимум - myNum1.add( myNum2 )

дискуссия

В C++ и C# это всё возможно.

Но если стоит задача отловить ошибки типов во время компиляции, то можно сделать следующее:

Пример

Пусть, как я уже писал выше, у нас есть некоторый сервис, который делает отвечает за маппинг "грязного" JSON в няшные типобезопасные объекты.

• Этот сервис точно знает, как ответит сервер.
  
• Остальной клиентский код полагается на его декларации функций.
  

Поэтому ответственность концентрируется ровно в одном месте, а не растягивается по всему коду.

class Repository {
    private _json: string = '{ "num": 3, "arr": [ 1, 2 ] }';

    public getNumber(): ServerResponse<number> {
        const obj = JSON.parse(this._json);
        return new ServerResponse<number>(obj.num);
    }

    public getNumberList(): ServerResponse<number[]> {
        const obj = JSON.parse(this._json);
        return new ServerResponse<number[]>(obj.arr);
    }
}

class ServerResponse<T> {
    // public getStatusCode(): number {...}
    // public getHeaders(): string[] {...}

    public value(): T {
        return this._value;
    }

    public constructor(value: T) {
        this._value = value;
    }

    private _value: T;
}

// Usage ----------------

const repo = new Repository();

function logNumber(num: ServerResponse<number>): void {
    console.log(`I expects number only! The value is ${num.value()}`);
}

logNumber( repo.getNumber() ); // OK

logNumber( repo.getNumberList() ); // Compile-time error!

[Толстый Лорри]

MaxKorz,

[перегрузка] эмм... поддерживает

Это не перегрузка, а достаточно примитивное расширение списка допустимых типов. Как бы разворачивание так и просящихся здесь дженериков вручную (=
Вложить различные алгоритмы в зависимости от типов, разрешающиеся на этапе компиляции так

не получится

function add(x: string, y: string): string{ // Error: duplicate function implementation
    return [x, y].join('+');
}

function add(x: number, y: number): number{ // Error: duplicate function implementation
    return x + y;
}

`

[неявный кастинг] тоже поддерживает

У вас в примере явный кастинг, используется as number. Да и вообще он странный, ибо практической пользы от такого неуправляемого кастинга минимум.

Вообще говоря, в стандарте JS есть Object.prototype.valueOf и Object.prototype.toString. Крайнее работает годно и прогнозируемо, а вот с valueOf траблы:

JS позволяет заоверрайдить метод valueOf

const MyCustomType = (function () {
    function MyCustomType(n) {
        this._data = n;
    }
    MyCustomType.prototype.valueOf = function () {
        return this._data;
    };
    return MyCustomType;
}());

const obj = new MyCustomType(3);

console.log("Value is " + (obj + 2)); // OK

..., а TS - выдаст ошибку

class MyCustomType {
    public constructor(n: number) {
        this._data = n;
    }

    public valueOf(): number { // nobody cares )"=
        return this._data;
    }

    private _data: number;
}

const obj = new MyCustomType(3);

// error TS2365: Operator '+' cannot be applied to types 'MyCustomType' and '2'.
console.log(`Value is ${obj + 2}`);

Хотя народ активно страдает попоболью по этому поводу.

[Толстый Лорри]

Это уже ограничения JS и TS тут не причем.

Можно было генерить функции, скажем, с суффиксами и диспетчиризовать вызовы статически, в духе дженериков Java (там тоже типы затираются, а перегрузки методов с шаблонными параметрами работают).

Typescript поддерживает перегрузку функций, а реализация перегрузки - это уже детали.

Фактически не поддерживает, как раз из-за этих "деталей".

Не забывайте что Typescript это Транспайлер, а не Компилятор.

На официальном сайте его называют компилятором. Не вижу объективных причин, кроме нарочитой близости с JS, чтобы не иметь там типозависмых перегрузок, раз уж появилась инициатива делать из JS конфетку.

тип данных получаемых через сеть не может быть гарантирован

При чем здесь это?) Это общая проблема обмена по сети и в других языках она решается.

В качестве оффтопа

В тулчейн можно встраивить генератор/валидатор схем.

`

Если в нем будет неявный кастинг, то какой от него толк? Чем TS тогда будет отличаться от JS?

Неявные кастинги повысят выразительность кода без ущерба строгости типизации. Программист будет это контролировать (в отличие от тотальной "слабости" в JS).

Перегрузка операторов и неявные кастинги - это штуки дискуссионные, во многих языках от этого уходят сознательно, разменивая наглядность на простоту. Здесь же я этой темы коснулся лишь в контексте задачи автора (работать с кастомными объектами подобно примитивам). Сам использую эти возможности на практике крайне редко, хотя и приветствую их наличие в языках.