c++ - タイプまたは例外仕様として使用される場合、「以下を参照」とはどういう意味ですか?

Question

C++ 標準 (現在のドラフトhttp://isocpp.org/files/papers/N3690.pdf、秒 20.8.3 はそのような場所の 1 つ) と LLVM の libc++ ヘッダーを調べて、「以下を参照」がタイプと例外の仕様。タイプが存在しない場合に使用されるようですが、ある種の有効な識別子の代わりに 2 語のフレーズを使用するのは奇妙に思えました。

標準のどこかまたは他の場所で議論されていますか? なぜ/どのように使用されますか?

Answer 1

以下を参照してくださいは、次のテキストで常に説明されているいくつかの可能なタイプの 1 つの単なるプレースホルダーです。たとえば、次のとおりです。

typedef以下のelement_type を参照してください。

1

タイプ:Ptr::element_typeそのようなタイプが存在する場合。それ以外の場合、Tが Ptrフォームのクラス テンプレートのインスタンス化である場合SomePointer<T, Args>、Args は 0 個以上の型引数です。それ以外の場合、特殊化は不適切な形式です。

コンテキストに応じて、以下をPtr::element_type参照してください。TSomePointer<T, Args>

この形式は構文カテゴリと呼ばれ、同じドキュメントのセクション 1.6 で説明されています。