在 function 参数列表中前向声明的类型如何在 function scope 之外可见？ [复制]

Question

这个问题在这里已经有了答案：

function 参数列表中的 Class 声明(1回答)

3 个月前关闭。

以下程序编译，我觉得很奇怪。

void f(class s);
using u = s;      // ok, but why?

s is a forward declaration of a class inside a function parameter list, and it seems to me it should not be visible outside the function scope.

basic.scope.param似乎是我能找到这条规则的显而易见的地方，但我无法解决。 措辞可能在dcl.dcl中的某个地方，但我不确定在哪里看。

什么规则涵盖了这一点？ 可选地，解释为什么存在此规则会很好。

Answer 1

首先，这条规则并不是特别新。 它几乎从 C++ 诞生之初就存在了。 至于C++20，是这样写的：

[基本的.scope.pdecl]

7首先在详细类型说明符中声明的 class 的声明点如下：

• ...
• 对于形式的详细类型说明符

  class-key identifier

  如果在命名空间 scope 中定义的 function 的 decl-specifier-seq 或参数声明子句中使用了详细类型说明符，则标识符在包含该声明的命名空间中声明为类名； 否则，除了作为友元声明外，标识符在包含该声明的最小命名空间或块 scope 中声明。

但是你正在寻找最新的最伟大的草稿头。 您找不到它，因为草案已合并P1787 。它更改了规范性措辞并移动了它，目的是解决一些突出的措辞问题并在存在模块的世界中改进标准的方法。

今天，相关部分位于

[dcl.type.elab]

3否则，详细类型说明符 E 不应具有属性说明符序列。 如果 E 包含一个标识符，但没有嵌套名称说明符，并且（非限定）对标识符的查找没有找到任何内容，则 E 不应由 enum 关键字引入并将标识符声明为类名。 E 的目标 scope 是最近的封闭命名空间或块 scope。

本质上，它的含义与 C++20 措辞的含义相同。 它将 class 名称引入到最近的封闭 scope 中，就好像通过前向声明一样。

---

至于为什么存在这个规则。 嗯......它在 C 中不存在最新。 这给外行人带来了一些相当模糊的问题。 考虑这个简单的程序：

void func(struct foo*);

struct foo { int bar; };

int main() {
  struct foo f;
  func(&f);
}

void func(struct foo* pf) {
  pf->bar = 0;
}

它产生了大量的诊断，坦率地说，这似乎不合理。 恕我直言，这是 C 的缺点，这反过来又足以激励 C++ 以它的方式做事。 用 C++ 编译器编译完全相同的程序，它的格式很好。

Answer 2

class s是前向声明。 这相当于

class s;
void f(s);

s不是变量的名称，而是一种类型。 所以你只是说 function f需要一个类型为s的参数。 下一行也告诉u等同于s 。 没问题。 你不需要完整的定义来做到这一点。