包装C ++模板函数

Question

我尝试在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_

Answer 1

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

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

我认为“未定义”这个词可能是关键所在。您感兴趣的符号肯定在bar.o中定义，而nm输出确认它，因为未定义的符号标有“U”，而不是“W”。

---

更新：

我想因此无法包装模板函数？

我认为这更多地取决于函数定义（或实例化）的位置，以及链接器是否可以使用此定义。在您的情况下，如果您在bar.cpp中使用非模板函数定义了它，则结果将是相同的。 即使您在bar.cpp中定义了函数但在main.cpp中使用了它，我想它会是相同的，虽然不完全确定（你可以尝试一下）。 我相信如果你将bar.cpp和main.cpp链接到不同的模块（一个共享库和一个可执行文件），那么无论是否能在main.cpp中使用bar.cpp包装一个函数这是模板与否。

---

更新2：我不确定，但迈克确认实验（参见他自己的答案和那里的评论）如果符号在目标文件中未定义，则包装工作，即使该目标文件与包含该文件的另一个目标文件链接在一起符号定义。大！

Answer 2

评论很有​​帮助，但我认为没有必要将其拆分为可执行文件和（共享）库。关键是在调用源中具有模板函数的前向声明，并在单独的转换单元中使用所使用的类型来实例化模板函数。这保证了在bar.o中未定义f：

//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