c++ - 父类(super class) operator() 错误 - 不明确

Question

我正在尝试使用 C++11 定义一个可以存储多个 std::function<> 的类并根据参数类型调用它们，类似于重载决策。

我为“重载”函数应支持的每个函数签名声明一个基类:

template <typename R, typename... A>
struct overload;

template <typename R, typename... A>
struct overload<R(A...)>
{
  typedef std::function<R(A...)> F;
  F f_;
  overload(F f): f_(f) {}
  R operator()(A... a)
  {
    return f_(a...);
  }
};

template <typename... T>
struct overloaded_function : public overload<T>...
{
  overloaded_function(T... t): overload<T>(t)... {}
};

int main()
{
  overloaded_function<void(float), void(int, int)> f([](float){}, [](int, int){});
  f(1.F);  // build error
  f(2, 3); // build error
  return 0;
}

构建错误:(Visual Studio 2013)

"overload::operator() [with R=void, A=]" is ambiguous c:\Users\benj7280\Documents\kernel_builder\src\main.cpp 39 5 kernel_builder

我不明白运算符为何会模棱两可，因为函数具有完全不同的签名。当我完全删除模板时，仅使用具体类，以及当我替换 operator() 时，错误完全相同。使用命名成员函数重载。

Answer 1

您需要使用 using 包含基类 operator()。但是，我不知道如何使用参数包来做到这一点，所以希望其他人可以参与并回答这个问题。

我能做的是重做你的结构，让它一直线性继承，每次重载只需要使用下一个:

template <typename... T>
struct overloads
{
    // need this one so that the last overload has 
    // something to "using". If you have an overload for void(),
    // that one will hide this one. If you don't, and call f(),
    // this won't compile... which is fine.
    void operator()();
};

template <typename R, typename... A, typename... T>
struct overloads<R(A...), T...>
: overloads<T...>
{
  typedef std::function<R(A...)> F;
  F f_;

  template <typename... Fs>
  overloads(F f, Fs... fs)
  : overloads<T...>(fs...)
  , f_(f)
  {}

  using overloads<T...>::operator();

  R operator()(A... a)
  {
    return f_(a...);
  }
};

template <typename... T>
struct overloaded_function : public overloads<T...>
{
  overloaded_function(T... t)
  : overloads<T...>(t...)
  { }
};

现在您的 f(1.F) 和 f(2, 3) 调用都可以编译，因为现在所有的重载都是……可重载的。