老实说,我不知道,但我朝说,这是不可能的倾向。
根据你想达到什么,我可以建议一种解决方法。更确切地说,如果你只需要拥有相同的语义swap
通过ADL调用的函数的地址,然后你可以使用这个:
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)
如可以看到的(分别位于0x4008a0
和0x4008b0
)由f0
f1
和指向的功能是二进制相同。与3.3版一起编译时也是如此。
如果链接器可以做相同的COMDAT折叠(ICF),我想我们甚至可以得到f0 == f1
。 (更多关于ICF看到this后)。
[好了,通过了所有的考试(http://coliru.stacked-crooked.com/view?id=46999fdc4c98b2092415c91172d44b12-cc73e281b3b6abc9bf6cf4f153b944a6) –