C ++ 11：返回类型基于输入类型的仿函数的return_type（用于std :: bind）

Question

我正在玩仿函数组合，其中仿函数的返回类型取决于输入类型：

template<typename V>
class F
{
protected:
    V v_;
public:
    using return_type = ?;

    F(V v) : v_(v) {}

    template<typename T>
    typename T::U operator()(T t)
    {
        v.method(t);
    }
};

...

X x;
Y y;
F<X> f(x);
F<Y> g(y);
auto h = std::bind(f, std::bind(g, _1));
h(...);  // problem is here :(

是否可以使用decltype 找到return_type 以便std::bind 可以工作？如果有，怎么做？

编辑：我将U<T> 替换为typename T::U，因为返回类型取决于类型。我希望这现在更清楚了。

Edit 2 (4?)：添加了一个重现问题的可编译示例。

#include <functional>

using namespace std::placeholders;

template<typename I>
struct R
{
    using IT = I;
    R(I x, I y) : b(x), e(y) {}
    I b;
    I e;
};

template<typename IN, typename II>
class CI
{
    CI(II i) {}
};

template<typename IN>
class C
{
    template<typename IR>
    R<CI<IN, typename IR::IT> >
    operator()(IR& i)
    {
        return R<CI<IN, typename IR::IT> >(
            CI<IN, typename IR::IT>(i.b),
            CI<IN, typename IR::IT>(i.e));
    }
};

struct F {};
struct G {};
struct H {};

int main(int argc, char* argv[])
{
    C<F> a;
    C<G> b;
    auto c = std::bind(a, std::bind(b, _1));
    R<H> r{H{}, H{}};
    c(r);
}

Answer 1

暂时忘记使用std::bind，尝试直接方法：

C<F> a;
C<G> b;
R<H> r{H{}, H{}};
a(b(r));

这甚至不会编译，所以bind 版本不可能！

b(r) 由于访问冲突而无效，并且如果您修复了 a(b(r)) 失败，因为您尝试将临时绑定到非 const 左值引用

Answer 2

解决了！我不得不用C::operator()(IR i) 替换C::operator()(IR& i)，因为它是递归的。也许将move 构造函数添加到IR 会有助于提高性能，但是......？事实上，发生的事情是clang 的错误不如gcc 的有用。好吧，怪我。

Answer 3

您的示例可以使用替代函数语法来解决：

#include <iostream>
#include <functional>

template<typename T>
struct Number {
  T t_;
  Number(T t) : t_(t) {}
  T operator+(T t) { return t_ + t; }
};

struct F {
  template<typename T>
  auto operator()(T x) -> decltype(x + 1)
  {
    return x + 1;
  }
} f, g;

int main(int argc, char* argv[])
{
  using namespace std::placeholders;
  auto h = std::bind(f, std::bind(g, _1));
  std::cout << h(Number<int>(1)) << std::endl;
}

这里不需要value_type，事实上它提供了问题，因为从g(_1)返回的int永远不会在f所期望的内部有int::value_type。