UriTemplate と UriTemplateTable

[アーティクル]
09/12/2008

Web 開発者は、サービスの応答先となる URI の形状とレイアウトを記述できる必要があります。Windows Communication Foundation (WCF) では、開発者が URI を制御するための 2 つの新しいクラスが追加されています。UriTemplate と UriTemplateTable は、WCF における URI ベースのディスパッチエンジンの基盤となります。これらのクラスは単独で使用することもできるため、開発者は WCF サービスを実装せずにテンプレートと URI マッピング機構を利用できます。

テンプレート

テンプレートとは、一連の相対 URI を記述する方法です。次の表の URI テンプレートのセットは、各種気象情報を取得するシステムがどのように定義されているかを示しています。

データ	テンプレート
国の天気予報	weather/national
州の天気予報	weather/{state}
都市の天気予報	weather/{state}/{city}
アクティビティの天気予報	weather/{state}/{city}/{activity}

この表は、構造が似ている一連の URI を示しています。各エントリが URI テンプレートです。中かっこで囲まれたセグメントは変数を表し、中かっこで囲まれていないセグメントはリテラル文字列を表します。WCF のテンプレートクラスを使用すると、開発者は "/weather/wa/seattle/cycling" のような受信 URI を取得し、これを "/weather/{state}/{city}/{activity}" として説明するテンプレートと照合できます。

UriTemplate

UriTemplate は、URI テンプレートをカプセル化するクラスです。コンストラクタは、テンプレートを定義する文字列パラメータを受け取ります。この文字列には、次のセクションで説明する形式のテンプレートが含まれます。UriTemplate クラスには、受信 URI をテンプレートと照合するメソッド、テンプレートから URI を生成するメソッド、テンプレートで使用されている変数名のコレクションを取得するメソッド、2 つテンプレートが等しいかどうかを判断するメソッド、およびテンプレートの文字列を返すメソッドが用意されています。

Match は、ベースアドレスと候補となる URI を取得し、その URI をテンプレートと照合します。URI とテンプレートが一致した場合は、UriTemplateMatch インスタンスが返されます。UriTemplateMatch オブジェクトには、ベース URI、候補となる URI、クエリパラメータの名前/値コレクション、相対パスセグメントの配列、一致した変数の名前/値コレクション、照合を実行する際に使用する UriTemplate インスタンス、候補となる URI の一致していない部分を含む文字列 (テンプレートにワイルドカードが含まれているときに使用)、およびテンプレートに関連付けられたオブジェクトが格納されます。

メモ :
UriTemplate クラスは、候補となる URI をテンプレートと照合するときにスキームとポート番号を無視します。

テンプレートから URI を生成できるメソッドとして、BindByName と BindByPosition の 2 つのメソッドがあります。BindByName は、ベースアドレスおよびパラメータの名前/値コレクションを取得します。テンプレートのバインド時に、これらのパラメータが変数に代入されます。BindByPosition は、名前と値のペアを取得し、これらのペアを左から右の順に代入します。

ToString は、テンプレート文字列を返します。

また、PathSegmentVariableNames プロパティには、テンプレート文字列のパスセグメント内で使用される変数の名前のコレクションが格納されます。

IsEquivalentTo は、UriTemplate をパラメータとして受け取り、2 つのテンプレートが等しいかどうかを示すブール値を返します。詳細な情報については、次のページを参照してください。このトピックで後述する「テンプレートの等価性」を参照してください。

T:System.UriTemplate は、HTTP URI 文法に準じるすべての URI スキームで使用できるように設計されています。サポートされている URI スキームの例を次に示します。

http://
https://
net.tcp://
net.pipe://
sb://

file:// や urn:// などのスキームは、HTTP URI 文法に準じていません。このため、URI テンプレートで使用すると予期せぬ結果を引き起こす場合があります。

テンプレート文字列の構文

テンプレートには、パス、クエリ (省略可能)、およびフラグメント (省略可能) の 3 つの部分があります。テンプレートの一例を次に示します。

"/weather/{state}/{city}?forecast={length)#frag1

パスは "/weather/{state}/{city}"、クエリは "?forecast={length}、フラグメントは "#frag1" でそれぞれ構成されています。

パス式では、先頭と末尾のスラッシュは省略可能です。クエリ式とフラグメント式は、いずれも式全体を省略できます。パスは '/' で区切られた一連のセグメントで構成され、各セグメントにはリテラル値、変数名 (中かっこ ({}) 内に記述)、またはワイルドカード ('*') を含めることができます。上記のテンプレートでは、"/weather/" セグメントがリテラル値で、"{state}" と "{city}" が変数です。変数は中かっこの内容から名前を取得し、後で具体的な値に置き換えることで「完成した URI」を作成できます**。ワイルドカードは省略可能です。ただし、ワイルドカードは URI の末尾にのみ指定できます。これによって、"パスの残りの部分" と論理的に一致することを表現します。

クエリ式 (存在する場合) では、'&' で区切られた順序なしの一連の名前と値のペアを指定します。クエリ式の要素には、リテラルペア (x=2) または変数ペア (x={var}) を指定できます。変数を指定できるのはクエリ式の右辺のみです。({someName} = {someValue}) は指定できません。対になっていない値 (?x) は使用できません。空のクエリ式と、1 つの '?' だけで構成されたクエリ式は同じものです (いずれも "任意のクエリ" を意味します)。

フラグメント式はリテラル値で構成できます。変数は使用できません。

テンプレート文字列内のすべてのテンプレート変数名は、一意であることが必要です。テンプレート変数名では、大文字と小文字は区別されません。

有効なテンプレート文字列の例を以下に示します。

""
"/shoe"
"/shoe/*"
"{shoe}/boat"
"{shoe}/{boat}/bed/{quilt}"
"shoe/{boat}"
"shoe/{boat}/*"
"shoe/boat?x=2"
"shoe/{boat}?x={bed}"
"shoe/{boat}?x={bed}&y=band"
"?x={shoe}"
"shoe?x=3&y={var}

無効なテンプレート文字列の例を以下に示します。

"{shoe}/{SHOE}/x=2" – 変数名が重複しています。
"{shoe}/boat/?bed={shoe}" – 変数名が重複しています。
"?x=2&x=3" – クエリ文字列内の名前と値のペアは、リテラルである場合でも一意でなければなりません。
"?x=2&" – クエリ文字列の形式に誤りがあります。
"?2&x={shoe}" – クエリ文字列は、名前と値のペアである必要があります。
"?y=2&&X=3" – クエリ文字列は、名前と値のペアである必要があります。名前を '&' で始めることはできません。

複合パスセグメント

複合パスセグメントでは、単一の URI パスセグメントに複数の変数およびリテラルと組み合わせた変数を含むことができます。有効な複合パスセグメントの例を次に示します。

/filename.{ext}/
/{filename}.jpg/
/{filename}.{ext}/
/{a}.{b}someLiteral{c}({d})/

無効なパスセグメントの例を次に示します。

/{} – 変数には名前が付けられている必要があります。
/{shoe}{boat} – 変数はリテラルによって分割されている必要があります。

名前付きワイルドカードセグメント

名前付きワイルドカードセグメントは、ワイルドカード文字 '*' で始まる変数名をもつ任意のパス変数セグメントです。次のテンプレート文字列には、"shoe" という名前付きワイルドカードセグメントを含んでいます。

“literal/{*shoe}”

ワイルドカードセグメントは、次の規則に従う必要があります。

1 つのテンプレート文字列に含められる名前付きワイルドカードセグメントは 1 つのみです。
名前付きワイルドカードセグメントは、パス内の右端のセグメントにある必要があります。
名前付きワイルドカードセグメントは、匿名ワイルドカードセグメントのあるテンプレート文字列には使用できません。
名前付きワイルドカードセグメントの名前は一意である必要があります。
名前付きワイルドカードセグメントには既定値を指定できません。
名前付きワイルドカードセグメントの末尾には "/" は付けられません。

既定変数値

既定変数値を使用すると、テンプレート内で変数に既定値を指定できます。既定変数は、変数を宣言する中かっこを使用して指定することも、UriTemplate コンストラクタに渡されるコレクションとして指定することもできます。次のテンプレートに、既定値のある変数を使用して UriTemplate を指定する 2 つの方法を示します。

UriTemplate t = new UriTemplate(“/test/{a=1}/{b=5}”);
Dictionary<string,string> defVals = new Dictionary<string,string> {{"a","1"}, {"b", "5"}};
UriTemplate t = new UriTemplate("/test/{a}/{b}", defVals);

このテンプレートでは、既定値が 1 で a という名前の変数と、既定値が 5 で b という名前の変数が宣言されています。


パスセグメント変数のみが、既定値を持つことができます。クエリ文字列変数、複合セグメント変数、および名前付きワイルドカード変数には、既定値を指定することはできません。

候補 URI との照合時に、既定値のある変数がどのように処理されるかを次のコードに示します。

Uri baseAddress = new Uri("https://localhost:8000");
UriTemplate t = new UriTemplate("/{state=WA}/{city=Redmond}/", true);
Uri candidate = new Uri("https://localhost:8000/OR");

UriTemplateMatch m1 = t.Match(baseAddress, candidate);

// Display contents of BoundVariables
foreach (string key in m1.BoundVariables.AllKeys)
{
    Console.WriteLine("\t\t{0}={1}", key, m1.BoundVariables[key]);
}
// The output of the above code is
// Template: /{state=WA}/{city=Redmond}/
// Candidate URI: https://localhost:8000/OR
// BoundVariables:
//      STATE=OR
//       CITY=Redmond

メモ :
https://localhost:8000/// のような URI は、上記のコード内に一覧表示されるテンプレートには一致しません。一致するのは、https://localhost:8000/ のような URI です。

テンプレートを使用して URI を作成する場合に、既定値のある変数がどのように処理されるかを次のコードに示します。

Uri baseAddress = new Uri("https://localhost:8000/");
Dictionary<string,string> defVals = new Dictionary<string,string> {{"a","1"}, {"b", "5"}};
UriTemplate t = new UriTemplate("/test/{a}/{b}", defVals);
NameValueCollection vals = new NameValueCollection();
vals.Add("a", "10");

Uri boundUri = t.BindByName(baseAddress, vals);
Console.WriteLine("BaseAddress: {0}", baseAddress);
Console.WriteLine("Template: {0}", t.ToString());

Console.WriteLine("Values: ");
foreach (string key in vals.AllKeys)
{
    Console.WriteLine("\tKey = {0}, Value = {1}", key, vals[key]);
}
Console.WriteLine("Bound URI: {0}", boundUri);

// The output of the above code is
// BaseAddress: https://localhost:8000/
// Template: /test/{a}/{b}
// Values:
//     Key = a, Value = 10
// Bound URI: https://localhost:8000/test/10/5

変数の既定値として null が指定されている場合、さらに追加の制約があります。テンプレート文字列の右端のセグメントに変数を含んでいるか、その変数の右側にあるすべてのセグメントが null を既定値としている変数のみに既定値として null を指定できます。既定値に null が指定されている有効なテンプレート文字列を次に示します。

UriTemplate t = new UriTemplate(“shoe/{boat=null}”);

UriTemplate t = new UriTemplate(“{shoe=null}/{boat=null}”);

UriTemplate t = new UriTemplate(“{shoe=1}/{boat=null}”);

既定値に null が指定されている無効なテンプレート文字列を次に示します。

UriTemplate t = new UriTemplate(“{shoe=null}/boat); // null default must be in the right most path segment

UriTemplate t = new UriTemplate(“{shoe=null}/{boat=x}/{bed=null}”); // shoe cannot have a null default because boat does not have a default null value

既定値と照合

候補 URI と既定値が指定されているテンプレートとの照合時に、候補 URI に値が指定されていない場合には、BoundVariables コレクションに既定値が配置されます。

テンプレートの等価性

2 つのテンプレートのすべてのリテラルが一致し、同じセグメントに変数が含まれる場合、その 2 つのテンプレートは "構造的に等しい" と言います。たとえば、次のテンプレートは構造的に等しいテンプレートです。

/a/{var1}/b b/{var2}?x=1&y=2
a/{x}/b%20b/{var1}?y=2&x=1
a/{y}/B%20B/{z}/?y=2&x=1

次の点に注意してください。

テンプレートに先頭のスラッシュが含まれている場合、最初の 1 つだけが無視されます。
テンプレート文字列が構造的に等しいかどうかを比較する場合、変数名とパスセグメントでは大文字小文字は無視されますが、クエリ文字列では区別されます。
クエリ文字列は順序なしです。

UriTemplateTable

UriTemplateTable クラスは、開発者が選択したオブジェクトにバインドされた UriTemplate オブジェクトの結合テーブルを表します。MakeReadOnly を呼び出す前に、UriTemplateTable に 1 つ以上の UriTemplate を含めておく必要があります。MakeReadOnly が呼び出されるまでは、UriTemplateTable の内容を変更できます。MakeReadOnly が呼び出されると、検証が実行されます。実行される検証の種類は、MakeReadOnly に対する allowMultiple パラメータの値によって異なります。

false を渡して MakeReadOnly を呼び出した場合、UriTemplateTable はテーブル内に複数のテンプレートが存在しないことを確認します。構造的に等しいテンプレートが見つかった場合は、例外がスローされます。これは、受信 URI と一致するテンプレートが 1 つだけであることを確認する場合に、MatchSingle と組み合わせて使用します。

true を渡して MakeReadOnly を呼び出した場合、UriTemplateTable は、構造的に等しい複数のテンプレートが UriTemplateTable に含まれることを許可します。

UriTemplateTable に追加された一連の UriTemplate オブジェクトにクエリ文字列が含まれている場合、これらの文字列をあいまいにすることはできません。許可されるのは同一のクエリ文字列です。

メモ :
UriTemplateTable では、HTTP 以外のスキームを使用したベースアドレスを使用できますが、候補 URI をテンプレートと照合する場合にスキームおよびポート番号は無視されます。

クエリ文字列のあいまいさ

複数のテンプレートと一致する URI が存在する場合、等しいパスを共有するテンプレートにあいまいなクエリ文字列が含まれています。

クエリ文字列の次のセットにはあいまいさはありません。

?x=1
?x=2
?x=3

?x=1&y={var}
?x=2&z={var}
?x=3

?x=1
?

? x={var}
?

?m=get&c=rss
?m=put&c=rss
?m=get&c=atom
?m=put&c=atom

クエリ文字列テンプレートの次のセットにはあいまいさがあります。

?x=1
?x={var}

"x=1" - 両方のテンプレートに一致します。

?x=1
?y=2

"x=1&y=2" は両方のテンプレートに一致します。これは、クエリ文字列に、一致するテンプレートよりも多くのクエリ文字列変数が含まれている可能性があるからです。

?x=1
?x=1&y={var}

"x=1&y=3" は両方のテンプレートに一致します。

?x=3&y=4
?x=3&z=5

メモ :
文字 á と Á が URI パスまたは UriTemplate のパスセグメントのリテラルの一部として出現した場合、これらは異なる文字と見なされます (ただし、a と A は同じ文字と見なされます)。文字 á と Á が UriTemplate の {variableName} またはクエリ文字列の一部として出現した場合は、これらは同じ文字と見なされます (a と A も同じ文字と見なされます)。

文字 á と Á が URI パスまたは UriTemplate のパスセグメントのリテラルの一部として出現した場合、これらは異なる文字と見なされます (ただし、a と A は同じ文字と見なされます)。文字 á と Á が UriTemplate の {variableName} またはクエリ文字列の一部として出現した場合は、これらは同じ文字と見なされます (a と A も同じ文字と見なされます)。

次の方法で共有

UriTemplate と UriTemplateTable

テンプレート

UriTemplate

テンプレート文字列の構文

複合パスセグメント

名前付きワイルドカードセグメント

既定変数値

既定値と照合

テンプレートの等価性

UriTemplateTable

クエリ文字列のあいまいさ

関連項目

概念

その他の技術情報

その他のリソース

次の方法で共有

UriTemplate と UriTemplateTable

テンプレート

UriTemplate

テンプレート文字列の構文

複合パス セグメント

名前付きワイルドカード セグメント

既定変数値

既定値と照合

テンプレートの等価性

UriTemplateTable

クエリ文字列のあいまいさ

関連項目

概念

その他の技術情報

その他のリソース

複合パスセグメント

名前付きワイルドカードセグメント