C ++ std :: function如何绑定到模板函数?

时间:2019-01-07 03:44:11

标签: c++ c++11 templates std-function

是否有任何机制可用于实现以下代码:

// T can be any type
std::function<T(int,int)> tf;

tf = [](int x, int y) -> int{
    return x + y;
};

cout << tf(4, 5) << endl;

tf = [](int x, int y) -> string{
    return "hello world";
}
cout << tf(4,5) << endl;

2 个答案:

答案 0 :(得分:1)

要解决此问题,我们需要T进行以下操作:

  • 能够键入并保留任意类型的实例;
  • 可以从这样的实例转换为
  • 重载<<运算符并将其动态转发到类型擦除的实例。

根据您的可能类型列表是否有界,我们可以将繁重的工作推迟到boost::variantboost::any(分别为std::variantstd::any在C ++ 17及更高版本中。)

variant版本很简单:

template <class... Ts>
struct StreamableVariant : boost::variant<Ts...> {
    using boost::variant<Ts...>::variant;

    friend decltype(auto) operator << (std::ostream &os, StreamableVariant const &sv) {
        return boost::apply_visitor([&](auto const &o) -> decltype(auto) {
            return os << o;
        }, sv);
    }
};

// Usage
std::function<StreamableVariant<int, std::string>(int,int)> tf;

any版本涉及的内容更多,因为我们需要手动键入-擦除流功能,而在构造时我们仍然知道对象的类型:

struct StreamableAny : boost::any {
    template <class T>
    StreamableAny(T &&t)
    : boost::any{std::forward<T>(t)}
    , _printMe{[](std::ostream &os, StreamableAny const &self) -> decltype(auto) {
        return os << boost::any_cast<T const &>(self);
    }}{ }

private:
    friend std::ostream &operator << (std::ostream &os, StreamableAny const &sa) {
        return sa._printMe(os, sa);
    }

    std::ostream &(*_printMe)(std::ostream &os, StreamableAny const &);
};

// Usage
std::function<StreamableAny(int,int)> tf;

答案 1 :(得分:0)

除非前者可以隐式转换为后者,否则您不能为返回值与std::function中最初使用的返回类型不同的可调用对象赋值。赋值运算符将为not be a candidate

在另一种情况下,返回类型可能不同,即std::function对象的返回类型为void

std::function<void(int)> f = [](int) -> int { return 0; }