用作类型或异常规范时"see below"是什么意思?

What does "see below" mean when used as a type or exception specification?

本文关键字:see below 意思 是什么 范时 类型 异常      更新时间:2023-10-16

浏览C++标准(当前草案 http://isocpp.org/files/papers/N3690.pdf,sec 20.8.3就是这样的地方)和LLVM的libc ++标头,我发现"见下文"被用作类型和异常规范。 它似乎在不存在类型时使用,但是为此使用 2 个单词的短语而不是某种有效的标识符似乎很奇怪。

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

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

类型定义见下文element_type;

1

类型

:如果存在此类类型,则Ptr::element_type;否则,T如果 Ptr是形式SomePointer<T, Args>的类模板实例化,其中 Args 是零个或多个类型参数;否则,专业化是格式错误的。

您可以替换Ptr::element_typeT SomePointer<T, Args>是否有效,具体取决于上下文。

此表单被命名为句法类别,在同一文档的第 1.6 节中进行了描述。