c++ - "see below"用作类型或异常规范时意味着什么？

Question

查看 C++ 标准(current draft http://isocpp.org/files/papers/N3690.pdf，sec 20.8.3 就是这样一个地方)和 LLVM 的 libc++ 头文件，我发现“见下文”被用作一种类型和异常规范。它似乎在不存在类型时使用，但使用 2 个单词的短语而不是某种有效标识符似乎很奇怪。

它是在标准中还是在其他地方讨论过？为什么/如何使用它？

Answer 1

see below 只是几个可能类型之一的占位符，这些类型总是在以下文本中描述。例如这里:

typedef see below element_type;

1

Type: Ptr::element_type if such a type exists; otherwise, T if Ptr is a class template instantia-tion of the form SomePointer<T, Args>, where Args is zero or more type arguments; otherwise, the specialization is ill-formed.

您可以替换为Ptr::element_type或 T如果SomePointer<T, Args>对见下文有效，具体取决于上下文。

这种形式被命名为句法类别，并在同一文档的 1.6 节中进行了描述。