如何显式调用转换类型 ID 包含占位符说明符的转换 function

Question

struct A{
  operator auto(){
     return 0;
  }
};
int main(){
   A a;
   a.operator auto(); // #1
   a.operator int(); //  #2
}

GCC接受 #2 是明确调用转换 function 的正确方法，而Clang接受 #1。

由于以下规则， #1似乎格式错误：
dcl.spec.auto#6

在本节未明确允许的上下文中使用 auto 或 decltype(auto) 的程序是格式错误的。

这种用法a.operator auto()在 [dcl.spec.auto] 部分中没有明确允许，因此它应该是格式错误的。 但是，对于 GCC 接受的第二种用法，标准并没有说conversion-type-id被推导类型替换的conversion-function-id表示转换 function 的名称。 换句话说，声明中声明的conversion-function-id是operator auto而不是operator int 。 前者与声明的 declarator-id 具有相同的标记。 根据语法，unqualified-id operator auto应该是该转换的名称 function。 那么，如何显式调用这个转换function呢？ 当转换 function 包含占位符说明符时，它是否在标准中未指定？

Answer 1

似乎，这没有足够精确地指定。

1. 从10.1.7.4 The auto specifier ：

在这种声明符有效的任何上下文中，占位符类型可以在 decl-specifier-seq、type-specifier-seq、 conversion-function-id或 trailing-return-type 中与 function 声明符一起出现。

仔细阅读，人们可能会在这里区分“可以”和更强的“只能”，即可能为编译器内在函数的自由度打开空间（严格错误与未指定的行为）。

和3.4.5 class member access说：

7 如果 id-expression 是转换函数 ID，则首先在 object 表达式的 class 中查找其转换类型 ID，如果找到，则使用名称。

如果 auto 关键字在此上下文中可以有效地成为完全限定的转换类型 ID，则再次留下解释空间。

您的问题本身可能必须进一步分支，即

1. 运算符 auto() 使用的重载规则是什么，即它是否应该可用于已经在 class 定义级别上的常规候选人竞赛？ （不是 Clang 和 Gcc 的情况，除了额外的运算符 int() 之外，它们都先验地接受运算符...）
2. 可以使用显式成员运算符引用（您的情况 1）调用运算符 auto()，即有效地，它是否具有（唯一）可访问名称？ 允许这将与关键字的所有其他明确允许的用例相矛盾。

我已经在几个 clang 修订版中看到了对此的明确测试，因此它的行为不是隐式命名约定应用的人工制品，而是明显需要的行为。

正如评论中已经提到的那样，至少与 gcc 相比，Clang 的行为在这里更加一致，因为它在那里完全清楚，其中 auto 关键字用于类型推断以及名称/函数 ID 解析的位置。 这里的操作符 auto() 被作为一个更明确的自己的实体处理，而对于 gcc，它具有类似于 lambda 的匿名字符，但即使对于显式成员操作符访问方式也参与了候选人竞争。