时间戳

首页 > 解决方案 > 是否可以显式调用名称损坏函数？

c++ - 是否可以显式调用名称损坏函数？

问题描述

假设我有一些类似的东西

struct Foo {
    void goo() {printf("Test");}
}

external void _ZN3Foo3gooEv(Foo *f);

int main() {
        Foo f;
        _ZN3Foo3gooEv(&f);
}

是否可以通过此处函数的名称错位版本调用 Foo::goo() ？

编辑：

澄清一下，这只是一个实验，看看是否可以显式调用名称重整函数。这里没有进一步的目标。

我被认为所有成员函数基本上都将 this 指针作为它们的第一个参数。

我知道这不会链接，但我不明白为什么。我认为名称重整发生在编译时，当链接器运行时，它会解析对名称重整函数的调用。（这就是为什么我认为如果我们将 _ZN3Foo3gooEv 保留为 extern，它将去符号表查找它）。

我在这里误解了什么吗？

标签： c++function-callname-mangling

解决方案

你可以，但有一些警告。

您要么必须以生成代码的方式使用成员函数，要么让它不是内联的，并且您的重整定义应该是extern "C"防止“双重重整”。例如：

#include <cstdio>

struct Foo {
    const char* message;
    void goo();
};

void Foo::goo() {
    std::printf("%s", this->message);
}

extern "C" void _ZN3Foo3gooEv(Foo *f);

int main() {
        Foo f{ "Test" };
        _ZN3Foo3gooEv(&f);
}

可以正常工作并且特别是在 gcc 中稳定。

这是因为成员函数的调用约定等同于大多数系统上自由函数的默认调用约定。 this被传递给成员函数，就好像它是第一个参数一样，显式参数采用后面的 arg 传递槽。（寄存器和/或堆栈）。我相信这对于 x86-64、至少 32 位和 64 位的 ARM 以及除 Windows 以外的 32 位 x86 都是正确的。

clang 似乎特别支持这个用例：它内联Foo::goo到main当 gcc 假装_ZN3Foo3gooEv和Foo::goo修改后是两个独立的实体（因此不能被替换和内联）。

使用 MSVC，您可以执行类似的操作。但是，在 Windows 上的 x86-32 代码中，使用调用约定__thiscall，而不是将this指针作为第一个参数传递，而是在 ECX 寄存器中与堆栈上的其他参数一起传递。如果使用 clang 或 gcc 交叉编译 x86-32，您可以使用[[gnu::thiscall]]( __attribute__((thiscall)))。（fastcall如果只有一个 arg 则类似，但有 2 个 args 将传递寄存器中的前 2 个，而不仅仅是第一个 1）。

但真的不应该有这样做的理由。它只能被视为编译器扩展（因为它使用_Capital符号），如果您需要一种从 C 调用这些函数的方法，请使用void Foo_goo(struct Foo*)您在 C++ 翻译单元中定义的帮助程序。它也可以调用私有成员函数，但您已经可以通过模板专业化以符合标准的方式执行此操作。

推荐阅读