c++ - 当用作类型或异常规范时，“见下文”是什么意思？

Question

浏览 C++ 标准（当前草案http://isocpp.org/files/papers/N3690.pdf，第 20.8.3 节就是这样一个地方）并通过 LLVM 的 libc++ 标头，我发现“见下文”用作类型和异常规范。它似乎在不存在类型时使用，但使用 2 个单词的短语而不是某种有效的标识符似乎很奇怪。

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

Answer 1

见下文只是以下文本中始终描述的几种可能类型之一的占位符。例如这里：

typedef见下文element_type;

1

类型：Ptr::element_type如果存在这样的类型；否则，T如果 Ptr是形式的类模板实例化SomePointer<T, Args>，其中 Args 是零个或多个类型参数；否则，专业化是不正确的。

您可以根据上下文替换Ptr::element_type或T是否SomePointer<T, Args>有效，请参见下文。

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