既存のサードパーティ api に対する型付けを行っていると、例えば特殊な形式の文字列がサーバーから return される場合があります。例えば、json文字列のような。
{"foo":"bar"}
このようなフィールドに対しては、 api の戻り値の型として、単純なstring
を定義するのではなく、例えばjson_string
のような型を定義して、これは以下の用途で利用可能であってほしいと思っています。
string
が代入可能な所には代入できるstring
が持っているメソッド・プロパティを呼び出せる- ただの
string
をjson_string
に対しては代入できない
これができると何が嬉しいかというと、その特定の形式の文字列を前提とした関数を定義する際に、間違ったフィールド・値をそこに代入してしまうのを防ぐことができます。
質問
上記のように、 string を特殊化したような型を定義したいのですが、これは可能でしょうか?