继续延续单子元组。怎么了？

Question

在 tuple continuation monad 之后，假设我定义了一个函子 std_tuple 以从 monad-tuple 的范畴转到 std::tuple：

auto std_tuple = [](auto... args)
{
    return [=](auto f){ return f(std::make_tuple(args...)); };
};

现在我们可以在期望 std::tuple 的上下文中使用 monad-tuples：

template<typename... ARGS>
void f( const std::tuple<ARGS...>& t ){}

int main()
{
    tuple(1,2,3)(std_tuple)(f);
}

到目前为止一切顺利。除了这不编译。 Clang 3.4.1 抱怨：

注意：候选模板被忽略：无法推断模板参数“$auto-1-0”

在std_tuple 函子内的f(t) 调用上。

这是否正确，这些模板参数不是可推导出的吗？如果是肯定的，为什么？

Answer 1

重现您的问题的简单案例：

void f(int) {}
void f(double) {}

template<class T> void call_with_3( T t ) { t(3); }

int main() {
  call_with_3( f );
}

在这里我们可以看到，在我们将其传递给call_with_3 时，无法确定调用哪个f。现在，您似乎没有多个重载（您只有一个 f！），但是...

template 不是实例。 template 函数是函数工厂，而不是函数。

那里没有可以传递的对象或值。

当您将函数名作为参数传递时，重载解析就会启动。如果目标类型已知（作为函数引用或指针），它将用于对函数名进行重载解析。

在这种情况下，您将函数名称传递给template（auto 参数），因此无法进行重载决策，因此无法找到特定值，因此您会收到错误消息。

您可以创建一个对象，其效果是对具有给定函数名称的调用参数进行重载解析。我称它们为重载集对象。

static struct f_overload_set_t {
  template<class... Args>
  auto operator()(Args&&... args) const {
    return f(std::forward<Args>(args)...);
  }
} f_overload_set;

在 C++11 中，您需要在 const 之后添加一个 ->decltype( f( std::declval<Args>()... ) )。

现在f_overload_set(blah) 将在被调用时（几乎）执行f(blah) 时发生的事情，但f_overload_set 是一个实际对象。这样你就可以传递它了。

生成此类重载集的宏相对容易编写。他们也可以使用 lambda，因为如果你仔细想想，上面很像一个无状态的 lambda。

基于无状态 lambda 的宏重载集生成器的优点在于它可以在使用点创建。来自@dyp 上面的评论：

#define OVERLOAD_SET( FUNC )\
  ([](auto&&... args){\
    return FUNC(std::forward<decltype(args)>(args)...);\
  })

（注意：FUNC 周围没有括号，因为这会阻止 ADL）。括号括起其他所有内容，否则如果在下标操作 (operator[]) 中使用，它将被解析为 [[ 开始一个属性，以及其他点（感谢@ecatmur））

这使您的代码：

template<typename... ARGS>
void f( const std::tuple<ARGS...>& t ){}

int main() {
  tuple(1,2,3)(std_tuple)(OVERLOAD_SET(f));
}