Typescriptのtemplate literal typesで文字数指定することは出来ますか？

Typescriptに明るい方々に質問です。
Typescriptに於いて、例えば以下のGUIDの例のように、文字数まで含めて型安全な型を定義することは出来ますか。
以下のように自分で試行錯誤したものの成功せず、ドキュメントで存在しない事を確認するのは難しい為質問させていただきます。

例）

ts
1type Guid = `${string[8]}-${string[4]}-${string[4]}-${string[4]}-${string[12]}`;

行動規範の内容に同意します

回答1件

ベストアンサー

GUIDでしたら文字種まで決まっていますので、理論的にはできなくはないです…が、実際にテストするとExpression produces a union type that is too complex to represent.とエラーを喰らいました（Playground）。

typescript
1// 面倒なので小文字限定
2type Hexadecimal = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' | 
3  'a' | 'b' | 'c' | 'd' | 'e' | 'f'
4
5type Word = `${Hexadecimal}${Hexadecimal}${Hexadecimal}${Hexadecimal}`;
6
7type Guid = `${Word}${Word}-${Word}-${Word}-${Word}-${Word}${Word}${Word}`;

投稿2021/06/06 07:31

maisumakun

総合スコア145184

with_mikumiku

2021/06/06 07:48

ご回答ありがとうございます。なるほど、GUIDでしたらそうやれば出来そうではありますね。理解しました。とはいえ、文字数指定に関しては、上記のような手段でカバー出来るため、設計上は省かれているというこのなのでしょうか。。テンプレートリテラル型にも複雑さの限界が設けられていたのですね。勉強になりました。総じて悩みは解決しました。どうもありがとうございました！

行動規範の内容に同意します