是否可以获取通过ADL找到的函数的地址?
例如:
template<class T>
void (*get_swap())(T &, T &)
{
return & _________; // how do I take the address of T's swap() function?
}
int main()
{
typedef some_type T;
get_swap<T>();
}
答案 0 :(得分:3)
老实说,我不知道,但我倾向于说这是不可能的。
根据您想要实现的目标,我可以建议一种解决方法。更准确地说,如果你只需要一个与通过ADL调用的swap
具有相同语义的函数的地址,那么你可以使用它:
template <typename T>
void (*get_swap())(T&, T&) {
return [](T& x, T& y) { return swap(x, y); };
}
例如,以下代码:
namespace a {
struct b {
int i;
};
void swap(b& x, b& y) {
std::swap(x.i, y.i);
}
}
int main() {
auto f0 = (void (*)(a::b&, a::b&)) a::swap;
auto f1 = get_swap<a::b>();
std::cout << std::hex;
std::cout << (unsigned long long) f0 << '\n';
std::cout << (unsigned long long) f1 << '\n';
}
使用gcc 4.8.1(-std=c++11 -O3
)在我的机器上编译:
4008a0
4008b0
相关的汇编代码(objdump -dSC a.out
)是
00000000004008a0 <a::swap(a::b&, a::b&)>:
4008a0: 8b 07 mov (%rdi),%eax
4008a2: 8b 16 mov (%rsi),%edx
4008a4: 89 17 mov %edx,(%rdi)
4008a6: 89 06 mov %eax,(%rsi)
4008a8: c3 retq
4008a9: 0f 1f 80 00 00 00 00 nopl 0x0(%rax)
00000000004008b0 <void (*get_swap<a::b>())(a::b&, a::b&)::{lambda(a::b&, a::b&)#1}::_FUN(a::b&, a::b&)>:
4008b0: 8b 07 mov (%rdi),%eax
4008b2: 8b 16 mov (%rsi),%edx
4008b4: 89 17 mov %edx,(%rdi)
4008b6: 89 06 mov %eax,(%rsi)
4008b8: c3 retq
4008b9: 0f 1f 80 00 00 00 00 nopl 0x0(%rax)
正如可以看到f0
和f1
(分别位于0x4008a0
和0x4008b0
)指向的函数是二进制相同的。使用clang 3.3进行编译时也是如此。
如果链接器可以执行相同的COMDAT折叠(ICF),我想,我们甚至可以获得f0 == f1
。 (有关ICF的更多信息,请参阅this帖子。)