检查 c++ 中是否存在具有给定签名的函数；

Question

所以我正在寻找方法来检查具有特定参数的函数是否存在。我有一个模板方法，它依赖于外部函数（来自类的外部）来完成这项工作：

  template <class Moo>
  void exportDataTo(Moo& ret){
     extended_solid_loader(ret, *this);
  }

在项目中的多个点上，我有为不同类型定义extend_solid_loader的宏，但现在我希望能够使用默认函数如果尚未为该特定类类型定义extended_solid_loader。

我遇到过这个： 是否可以编写检查函数是否存在的模板？ 但它似乎有点不同，因为我不是检查方法，而是检查具有特定参数类型的函数的定义。

现在这可能吗？

Answer 1

您只需为 extended_solid_loader 提供一个函数模板即可提供默认实现，而想要使用默认实现以外的其他内容的用户只需对其进行专门化即可。

template<class T>
void extended_solid_loader(T & ret, SomeClass & obj) {
    // default implementation here
}

template<>
void extended_solid_loader<MooClass>(MooClass & ret, SomeClass & obj) {
    // special implementation for MooClass here
}

Answer 2

您实际上不必做任何特别的事情。只需确保该函数有一个可供模板使用的版本，然后让 ADL 来完成这些肮脏的工作即可。看看这个例子：

#include <iostream>

namespace bob {

  struct X {};

  void f(X const&) { std::cout << "bob::f\n"; }
}

namespace ed {

  template < typename T >
  void f(T const&) { std::cout << "ed::f\n"; }

  template < typename T >
  struct test
  {
    void doit() // not called f and no other member so named.
    { f(T()); }
  };

}

int main()
{
  ed::test<int> test1;
  ed::test<bob::X> test2;

  test1.doit();
  test2.doit();

  std::cin.get();
}

也可以在没有命名空间的情况下工作（非模板有优先权）。我只是用它来表明当你这样做时 ADL 会捡起它。

---

你原来的问题很有趣。在 C++0x 中找到了一种方法：

template < typename T >
struct fun_exists
{
  typedef char (&yes) [1];
  typedef char (&no)  [2];

  template < typename U >
  static yes check(decltype(f(U()))*);

  template < typename U >
  static no check(...);

  enum { value = sizeof(check<T>(0)) == sizeof(yes) };
};

void f(double const&) {}

struct test {};

#include <iostream>
int main()
{
  std::cout << fun_exists<double>::value << std::endl;
  std::cout << fun_exists<test>::value << std::endl;

  std::cin.get();
}