是否可以获取ADL功能的地址?

时间:2013-08-06 17:39:09

标签: c++ function-pointers argument-dependent-lookup

是否可以获取通过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>();
}

1 个答案:

答案 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)

正如可以看到f0f1(分别位于0x4008a00x4008b0)指向的函数是二进制相同的。使用clang 3.3进行编译时也是如此。

如果链接器可以执行相同的COMDAT折叠(ICF),我想,我们甚至可以获得f0 == f1。 (有关ICF的更多信息,请参阅this帖子。)