g++ 签名/符号：静态和非静态成员函数之间没有区别吗？

Question

以不同方式定义相同类 A 的两个库（这是 legacy-crap-code）

A 的原型：

在库 A 中：

#include <string>

struct A
{
     static void func( const std::string& value);
};

在库 B 中：

#include <string>

struct A
{
   void func( const std::string& value);
};

main.cpp 使用来自 lib A（组件 A）的 A:s 标头

#include "liba.h"

int main()
{
    A::func( "some stuff");
    return 0;
}

main 与 lib A 和 lib B 链接。

如果 lib B 在 lib A 之前“链接”（在链接指令中），我们会得到一个核心，因此，lib B:s 定义是纠察队。

这不是我预期的行为。我认为符号之间会有一些差异，因此加载器/运行时链接器可以选择正确的符号。也就是说，非静态成员函数的隐藏 this 指针以某种方式包含在符号中。

这真的是符合规范的行为吗？

两者的行为相同：

g++ (GCC) 4.4.7 20120313（红帽 4.4.7-4）

带有 g++ 4.8.1 的 RHEL 开发工具

Answer 1

不可能用静态成员函数重载非静态成员函数，反之亦然。来自标准：

ISO 14882:2003 C++ 标准 13.1/2 – 可重载声明

某些函数声明不能 重载：

• 仅返回类型不同的函数声明不能​​被重载。
• 如果其中任何一个是static 成员函数声明 (9.4)，则不能重载具有相同名称和相同参数类型的成员函数声明。

更多细节和参考可以在问题5365714中找到。

所以你在同一个程序中有同一个类A的两个定义，它们应该是相同的，而它们不是。 在单独的翻译单元中存在不一致的定义时发出错误信号对于链接器来说不是强制性的。 结果是实现定义的程序格式错误（根据@jonathan 的评论更新）。在 Stroustrup 在C++ faq 中的一个说明性示例中，它被描述为未定义的行为。

在 GCC 的情况下，如您所说，使用的定义取决于链接命令中库的顺序（假设 lib A 和 lib B 自行编译，然后与主程序链接）。链接器使用从左到右传递的库中的第一个定义。 关于 GCC 的链接顺序选项的讨论在 409470。

Answer 2

你不能在 C++ 中基于返回类型重载函数，所以我猜你不能基于静态/非静态成员函数来重载。

您将需要修复其中一个头文件——最好不要两次声明相同的类型。

为了说明看这个；

struct A {
    int X(int b);
};
int A::X(int b)
{
    return b+8;
}

$ g++ x.cc -c
$ nm x.o
0000000000000000 T _ZN1A1XEi

并将其与此进行比较....

struct A {
    static int X(int b);
};
int A::X(int b)
{
    return b+8;
}

$ g++ x.cc -c
$ nm x.o
0000000000000000 T _ZN1A1XEi

观察两件事；

1. 当我声明 A::X 的实际实现时，我没有指定它是一个静态成员函数 -- 编译器并不关心，而是从 struct 的定义中获取任何信息。
2. 符号的名称修饰（无论是否为静态）都与 _ZN1A1XEi 相同，它对类名称、方法名称和参数类型进行编码。

总之，对编译后的代码使用不正确的标头会导致未定义的行为......

Answer 3

由于一个类不能同时具有同名的静态成员函数和非静态成员函数，因此不需要在重命名的名称中包含该信息。

您需要通过为您的类添加命名空间、重命名它们或注意不要将这些库一起使用来解决此问题。