对重载静态函数的模糊调用

Question

我对这种情况感到困惑，谷歌搜索并没有给我答案。基本上我有以下无法编译的简单代码：

#include <iostream>

class A
{
public:
    int a(int c = 0) { return 1; }
    static int a() { return 2; }
};

int main()
{
    std::cout << A::a() << std::endl;
    return 0;
}

在编译此代码时，GCC 4.2 表示在 main() 中对 A::a() 的调用与 a() 有效候选者的两个版本都模棱两可。 Apple 的 LLVM 编译器 3.0 编译没有错误。

为什么 gcc 对我要调用哪个函数感到困惑？我认为很明显，通过将a() 与A:: 匹配，我要求的是函数的static 版本。当然，如果我删除了static 函数a()，这段代码仍然无法编译，因为A::a() 不是调用非static a() 的有效语法。

感谢您的任何评论！

Answer 1

这样做的原因是因为 C++ 指定这是模棱两可的。重载决议指定对于A::a，由于this 不在范围内，该调用中的参数列表由人为的A 对象参数 扩充，而不是*this。重载解析不排除非静态成员函数，而是

如果参数列表由一个人为的对象扩充，并且重载决策选择了 T 的非静态成员函数之一，则该调用是格式错误的。

这最近在core issue 1005 的背景下成为委员会广泛讨论的主题。请参阅 core issue 364 考虑更改此规则但没有这样做。

Answer 2

原因是名称解析发生在编译器执行其他任何操作之前，例如确定要使用哪个重载函数。

用A:: 限定函数只是告诉编译器“查看A 的内部以找到名称a”。它实际上并不能帮助解决您所指的功能。

编辑

因此，当您键入A::a() 时，首先编译器会认为“在A 中查找可以使用operator() 的成员函数或成员”。

然后编译器会想，“好吧，这里有两种可能性，指的是哪一种？a() 或 a(int c = 0)，默认为 c=0。不确定。

如果去掉static关键字，调用obj.a()这样的函数，还是会有歧义的。

WRT LLVM 的解析器

我会说它为您做了一些额外的工作，这是标准不需要的，即假设 A::a() 是静态的。