Подтвердить что ты не робот

Можно ли взять адрес функции ADL?

Можно ли взять адрес функции, которая будет найдена через ADL?

Например:

template<class T>
void (*get_swap())(T &, T &)
{
    return & _________;      // how do I take the address of T swap() function?
}

int main()
{
    typedef some_type T;
    get_swap<T>();
}

Ответ 1

Честно говоря, я не знаю, но я склонен говорить, что это невозможно.

В зависимости от того, что вы хотите достичь, я могу предложить обходной путь. Точнее, если вам просто нужен адрес функции с той же семантикой, что и 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)

Как видно, функции, обозначенные символами f0 и f1 (расположенными в 0x4008a0 и 0x4008b0, соответственно), являются бинарными идентичными. То же самое имеет место при компиляции с clang 3.3.

Если компоновщик может делать одинаковое сложение COMDAT (ICF), я думаю, мы даже можем получить f0 == f1. (Подробнее о ICF см. этот пост.)