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 回答