14

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>();
}
4

1 に答える 1

5

正直なところ、わかりませんが、これは不可能だと言いがちです。

達成したいことに応じて、回避策を提案できます。より正確には、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';
}

-std=c++11 -O3私のマシンでgcc 4.8.1（）でコンパイルすると、次のようになりました。

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あります) は、2 進数で同一であることがわかります。同じことは、clang 3.3 でコンパイルした場合にも当てはまります。f10x4008a00x4008b0

リンカーが同一の COMDAT フォールディング(ICF) を実行できる場合、f0 == f1. (ICF の詳細については、この投稿を参照してください。)

于 2013-08-07T00:14:16.630 に答える