1

Есть такой enum:

const Flags = {
  ONE: 0b01,
  TWO: 0b10
} as const

Функция принимает параметр:

function some (flags: 0b01 | 0b10 | 0b11) {
  // ...
}

Надо использовать автоматическое извлечение типа:

// Но такой вариант возвратит только union `1 | 2`
type TFlags = (typeof Flags)[keyof (typeof Flags)]

// Соответственно передать `0b11` в параметр не выходит:
function some (flags: TFlags) {
  // ...
}
some(3)

введите сюда описание изображения

Вопрос: как получить все варианты 1 | 2 | 3?

13
  • 1) это не Enum. 2) А как TS должен угадать что у вас битовые флаги? И можно ли в функцию передать 0?
    – Alexey Ten
    6 фев 2022 в 20:30
  • @AlexeyTen 1) это стандартный вариант эмуляции enum, который рекомендован в самом последнем абзаце этой страницы. 2) а зачем гадать, там просто должен быть union всех возможных значений и 0 добавляется простым 0|Flags, если он нужен. Нам ведь нужна только автоподсказка и подсветка ошибки. Типов, как таковых, в TypeScript все равно нет, и ничего он угадать не может. 6 фев 2022 в 21:12
  • 1
    @AlexanderLonberg, попробуй тут посмотреть Compute permutations in TypeScript
    – Grundy
    6 фев 2022 в 21:12
  • @AlexanderLonberg так там и есть юнион все возможных значений. Всех двух.
    – Alexey Ten
    6 фев 2022 в 21:22
  • @AlexeyTen Это битовая маска, я ведь не зря написал 0b11. Т.е. метод может принимать параметр (Flags.ONE | Flags.TWO) 6 фев 2022 в 21:28

1 ответ 1

0

Решения так и не нашлось.

Пришлось определить все возможные варианты с "говорящими" именами, например:

type Bitmask_0__0011 = 0|1|2|3

Код что'б не писать вручную, маска ведь может быть и такой 1111_1111:

// bitmask.js

const param = process.argv.slice(2)
if (!param.length || !/[0-1_]+/.test(param[0])) {
  console.error('Необходимо ввести число в бинарном формате, например 1011 или 11_0011.')
  process.exit()
}

const value = Number(`0b${param[0].replace(/_+/g, '')}`)
const binValue = value.toString(2)
const section = Math.floor(binValue.length / 4) + ((binValue.length % 4) ? 1 : 0)
const bin = binValue.padStart(4 * section, '0').replace(/(?<=).{4}/g, '_$&')
console.log('type Bitmask_0_' + bin + ' = ' +
  [...Array(value + 1).keys()]
    .reduce((a, v) => (((v & value) === v) && a.push(v), a), []).join('|')
)

Пример:

> node bitmask.js 10_1010
=> Bitmask_0__0010_1010 = 0|2|8|10|32|34|40|42
1

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.