c++ - g++ 4.1.2 编译错误

Question

我有以下代码(从实际项目中剥离版本以重现在 RHEL5(g++ 版本 4.1.2)上导致编译器错误的问题):

----------- driver (test.cpp)--------------

#include <iostream>
#include <classa.hpp>
#include <func.hpp>

namespace globals {
  static int kth(const A& a) { 
     return kth(a.ival());
  }
}

using namespace globals;

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

----------class A (classa.hpp)------------

class A {
public:
  A():val(0){}
  const int ival() const {return val;}
private:
  int val;
};


------- namespace globals (func.hpp) ------

namespace globals {
   int kth(const int& c) {
      return c;
   }

   template <class T>
   int func(const T& key) {
      return kth(key);
   }
}

--------------------------------------------

使用 g++ 4.1.2 编译它会出现以下错误:

func.hpp: In function ‘int globals::func(const T&) [with T = A]’:
test.cpp:15:   instantiated from here
func.hpp:8: error: invalid initialization of reference of type ‘const int&’ from  
                   expression of type ‘const A’
func.hpp:2: error: in passing argument 1 of ‘int globals::kth(const int&)’

相同的代码在 RHEL4(g++ 版本 3.4.6)上编译和运行完美!关于如何在 RHEL5 上解决此错误(？)的任何解释/想法/建议都将不胜感激!

编辑: 谢谢谢尔盖。这是我已经知道的显而易见的解决方案。但我忘了补充一点，限制是 func.hpp 不能编辑(例如，它的第 3 方写保护)。有什么解决方法吗？

Answer 1

事情是这样的。当函数 func() 被定义时，编译器还不知道函数 kth(const A&) 因为它是在代码的后面定义的。因此，当它在 func() 中遇到对 kth() 的引用时，它会假定它是对 kth(const int&) 的引用。现在，当实际实例化 func() 时，它无法编译它，因为 T 是 A，而不是 int。我不确定为什么它在另一个版本的编译器中工作，但我认为这是因为它实际上在实例化模板函数时开始解析引用，而不是在声明它时。但这看起来像是旧版本中的错误，因为对于这种行为，函数定义会根据实例化的位置而发生变化，这非常令人困惑。

修复代码使其适用于任何编译器的唯一方法是将 kth(const A&) 的定义放在 kth(const int&) 和 func 之间() 或 kth(const A&) 在 func() 之上某处的前向声明。

更新

在不编辑 func.hpp 的限制下，我能想到的最佳解决方法是使用如下内容创建自定义头文件:

#include <classa.hpp>
namespace globals {
  static int kth(const A& a); // defined later, but used by func.hpp
}
#include <func.hpp>

我也不明白为什么 kth(const A&) 被定义为静态的，但被全局 header 使用。我宁愿将它放入 classa.cpp 并将其声明放入 classa.hpp。但这可能是我不知道的一些设计特征或工件。