Question

我正在研究下面列出的函数重载问题，发现下面的代码没有编译。

#include<iostream>
class Test {
   static void fun(int i) {}
   void fun(int i) {}   
};

int main()
{
   Test t;
   return 0;
}

我的理解是隐式编译时的成员函数有一个额外的参数，一个指向编译函数中对象的指针。我不确定静态函数会发生什么。现在要弄清楚编译器在做什么我尝试运行 g ++ -fdump-tree-all failed_overload.cxx ，我得到了下面列出的文件：

         failed_overload.cxx.001t.tu
         failed_overload.cxx.002t.class
         failed_overload.cxx.003t.original
         failed_overload.cxx.004t.gimple
         failed_overload.cxx.204t.statistics

我查看了gimple输出并找到了以下内容：

**

static void Test::fun(int) (int i)
{
  GIMPLE_NOP
}
void Test::fun(int) (struct Test * const this, int i)
{
  GIMPLE_NOP
}

**

似乎静态函数只有int参数，但成员函数有额外的this参数。如果是这种情况，为什么编译失败，为什么我们不能使用相同的签名重载静态函数。

Answer 1

如果静态函数和非静态函数都使用相同的参数集，那么在来自类的方法（非静态）的调用中，将无法区分程序员是想要调用静态函数还是非函数函数 - 静态功能。例如：

#include<iostream>
class Test {
   static void fun(int i) { std::cout << 2*i; }
   void fun(int i) { std::cout << i; }   
   void otherFunc() {
      fun(3); // Ambiguity: is static or non-static function intended?
   }
};

int main()
{
   Test t;
   t.otherFunc();
   return 0;
}

函数重载和读取fdump-tree-all输出

1 个答案: