检查该类是否具有带有特定模板的 operator() 的方法

Question

我正在尝试使用 SFINAE 技术来检查 - 类/结构是否具有带有特定模板声明的 operator()，例如（稍微简化）：

struct Simplified
{
  //  1st operator - I need to detect its presence
  template<typename T, int I>
  void operator()(T& val1, double val2)
  {
    std::cout << std::to_string(val1 + val2) << std::to_string(I) << std::endl;
  }
    
  //  2nd operator
  void operator()(double& val1, double val2)
  {
    std::cout << std::to_string(val1 + val2) << std::endl;
  }
};

而且我一直在检查operator() 模板签名。这是我的助手类：

template<typename Fn, int I, typename T>
class TemplatedOperatorCheck
{
  struct Exists { };
  struct NotExists { };

  template<typename U, void(U::*)(T&, double)> struct SFINAESimple {};
  template<typename U> static Exists Test(SFINAESimple<U, &(U::operator())>*);
  // The problem is probably there                         ^^^^^^^^^^^^^^^
  template<typename U> static NotExists Test(...);
public:
  static constexpr bool kExists = std::is_same<decltype(Test<Fn>(nullptr)), Exists>::value;
};

但是这个类只能检测到非模板operator()的存在。

// true if 2nd operator declared in Simplified class, false otherwise.
auto DoubleOpValid = TemplatedOperatorCheck<Simplified, 0, double>::kExists;

// always false
auto IntOpValid = TemplatedOperatorCheck<Simplified, 0, int>::kExists;

我做错了什么？在 Google 或 stackoverflow 中找不到任何相关内容...

提前致谢！任何帮助将不胜感激。

Answer 1

嗯...不确定您到底想要什么，但是...我建议以下课程

template<typename Fn, int I, typename T>
class TemplatedOperatorCheck
 {
   template<typename U, void(U::*)(T&, double)>
   struct SFINAESimple
    { };

   template<typename U>
   static std::true_type Test(SFINAESimple<U, &U::operator()>*, int);

   template<typename U>
   static std::true_type Test(SFINAESimple<U, &U::template operator()<T, I>>*, long);

   template<typename U>
   static std::false_type Test(...);

   public:
      static constexpr bool kExists = decltype(Test<Fn>(nullptr, 0))::value;
 };

一些观察，没有特定的顺序......

1. 您可以使用std::true_type 和std::false_type，而不是Exist 和NotExist；所以kExists 的初始化被简化了，不再需要std::is_same。

2. 调用SFINAESimple 的第二个模板参数的正确语法不带括号。我的意思是：&U::operator()，而不是&(U::operator())

3. 您的Test() 函数，将模板参数&U::operator() 传递给SFINAESimple，适用于非模板函数；如果您希望它也适用于模板函数，则必须从可能的函数集中生成所需的函数，因此我添加了另一个传递 &U::template operator()<T, I> 参数的 Test() 函数

4. 鉴于一个类可以同时具有模板函数和非模板函数，编译器会同时选择返回std::true 的Test() 函数并给出错误，因为它不知道更喜欢哪一个；为了允许编译器选择一个或另一个版本，我添加了另一个参数（一个是int，另一个是long），所以调用Test<Fn>(nullptr, 0)，编译器更喜欢int版本（因为@987654342 @，第二个参数，是一个int)，避免了歧义，避免了错误。

以下是完整的编译示例

#include <iostream>

struct Simplified
{
  //  1st operator - I need to detect its presence
  template<typename T, int I>
  void operator()(T & val1, double val2)
  {
    std::cout << std::to_string(val1 + val2) << std::to_string(I) << std::endl;
  }
    
  //  2nd operator
  void operator()(double & val1, double val2)
  {
    std::cout << std::to_string(val1 + val2) << std::endl;
  }
};

template<typename Fn, int I, typename T>
class TemplatedOperatorCheck
 {
   template<typename U, void(U::*)(T&, double)>
   struct SFINAESimple
    { };

   template<typename U>
   static std::true_type Test(SFINAESimple<U, &U::operator()>*, int);

   template<typename U>
   static std::true_type Test(SFINAESimple<U, &U::template operator()<T, I>>*, long);

   template<typename U>
   static std::false_type Test(...);

   public:
      static constexpr bool kExists = decltype(Test<Fn>(nullptr, 0))::value;
 };

int main()
 {
   auto DoubleOpValid = TemplatedOperatorCheck<Simplified, 0, double>::kExists;

   auto IntOpValid = TemplatedOperatorCheck<Simplified, 0, int>::kExists;

   std::cout << DoubleOpValid << ' ' << IntOpValid << '\n';
 }