6

我尝试在 GNU 的链接器包装选项的帮助下包装模板函数。代码如下所示:

// f.h
template<typename T>
void f(T t) {
}

// bar.h
void bar();

// bar.cpp
#include "bar.h"
#include "f.h"

void bar() {
  f(42);
}

// test.cpp
extern "C" {
  extern void __real__Z1fIiEvT_(int i);
  void __wrap__Z1fIiEvT_(int i) {
    __real__Z1fIiEvT_(i);
  }
}

int main() {
  bar();
}

上面显示的代码与以下命令链接:

g++ -Xlinker -wrap=_Z1fIiEvT_ -o test test.o bar.o 

不幸的是,这不起作用,并且总是调用原始函数f而不是我的包装版本__wrap__Z1fIiEvT_。你看到我犯了什么错误吗?

编辑:按照建议,我在此处附加了nm的输出,以确保我没有对模板函数的损坏名称犯任何错误:

$ g++ -c bar.cpp -o bar.o
$ nm bar.o
0000000000000000 W _Z1fIiEvT_
4

2 回答 2

1

来自http://linux.die.net/man/1/ld

--wrap=symbol
对符号使用包装函数。任何未定义的符号引用都将被解析为“_ wrap symbol”。任何对“_ real symbol”的未定义引用都将被解析为符号。

我认为“未定义”这个词可能是这里的关键。您感兴趣的符号肯定在 bar.o 中定义,并且nm输出证实了这一点,因为未定义的符号标有“U”,而不是“W”。


更新:

我想因此不可能包装模板函数?

我认为这更多地取决于函数在哪里定义(或实例化),以及该定义是否可用于链接器。在您的情况下,如果您在使用它的 bar.cpp 中定义了一个非模板函数,则结果将是相同的。即使您在 bar.cpp 中定义了该函数,但在 main.cpp 中使用了它,我想它会是相同的,尽管不完全确定(您可以尝试一下)。而且我敢肯定,如果您将 bar.cpp 和 main.cpp 链接到不同的模块(共享库和可执行文件),那么您将能够再次包装 main.cpp 中使用的 bar.cpp 的函数,无论是否它是否是模板。


更新 2:我不确定,但迈克通过实验(参见他自己的答案和那里的评论)证实,如果符号在目标文件中未定义,即使该目标文件与另一个包含符号定义。伟大的!

于 2012-01-18T18:14:09.073 回答
1

这些评论很有帮助,但我认为没有必要将其拆分为可执行文件和(共享)库。关键是在调用源中有一个模板函数的前向声明,并在一个单独的翻译单元中用使用的类型实例化模板函数。这保证了 f 在 bar.o 中是未定义的:

//bar.cpp
#include "bar.h"

template<typename T> void f(T);

void bar() {
 f(42);
}

//f.h
template<typename T>
void f(T t) {
}

//f.cpp
#include "f.h"
template void f(int);


$ nm bar.o
                 U _Z1fIiEvT_
0000000000000000 T _Z3barv
于 2012-01-24T10:20:55.447 回答