Typescript: Вопрос / Идея: итерация по примитивным значениям настраиваемого типа

Созданный на 11 дек. 2016 · 1Комментарий · Источник: microsoft/TypeScript

Версия TypeScript: 2.1.4

Код
Следующий код, используемый для работы в TS 2.0

type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;

function iExpectDigit(d:Digit)
{ }

for (let k: Digit = 1; k < 10; k++) {
  iExpectDigit(k); //Error, because K is number
}

Я считаю, что новое поведение правильное.
Поскольку k++ - это операция между цифрой и числом, имеет смысл, что k становится числом.

Единственная работа, с которой я пришел, это

for (let k: Digit = 1; k < 10; k = <Digit>(k + 1)) {
    // k is digit
}

или

// in some module
export let digits: Digit[] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9];

for (let k of digits)
{
    // k is digit
}

Второй подход менее выразительный, но более чистый.

Вопрос
Есть ли лучший способ перебора примитивных значений настраиваемого типа?

Question

Источник

akarzazi

Самый полезный комментарий

Я не уверен, что это за вариант использования, но для одновременного сохранения желаемого типа и правильности, я думаю, было бы уместно следующее

type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;

function iExpectDigit(d: Digit) { }

function isDigit(n: number): n is Digit {
    return n > -1 && n < 10 && n === Math.trunc(n);
}

for (let k = 0; isDigit(k); k++) {
    iExpectDigit(k);
}

Я говорю поддерживать правильность, потому что для выхода из цикла в вашем примере k должен принимать значение 10 которое не является Digit .

aluanhaddad 11 дек. 2016

👍2

>Все замечания

type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;

function iExpectDigit(d: Digit) { }

function isDigit(n: number): n is Digit {
    return n > -1 && n < 10 && n === Math.trunc(n);
}

for (let k = 0; isDigit(k); k++) {
    iExpectDigit(k);
}

aluanhaddad 11 дек. 2016

👍2

Была ли эта страница полезной?

0 / 5 - 0 рейтинги