c++11 std::ref 是如何工作的？

Question

我的任务是实现我自己的 std::ref 函数。我知道有一个reference_wrapper 函子，它有助于std::ref。但是我怎么能实现这些函数/类。我考虑以下几点：

template <class T>
struct myreference_wrapper{
    T& functor;
    myreference_wrapper(T& t):functor(t){}
    void operator()('parameter') {
        functor('parameter');
    };
};

template<class T>
myreference_wrapper<T> myref(T& t){
   myreference_wrapper<T> functor(t);
   return functor;
}

当我们调用myref 时，不能使用模板参数，因为std::ref 不使用模板参数。但是当我们调用 operator() 时，我们需要知道它的参数，因为我们想将它们传递给仿函数的 operator()（我用 'parameter' 签名）。 std::ref 在没有任何模板参数的情况下如何做到这一点？

Answer 1

模板函数可以从调用函数的类型中推断出模板参数。例如：

template <class T> T min(T a, T b) {
    return a < b ? a : b;
}

当你调用这个函数时你不需要指定模板参数：

int x = min(1, 2);

编译器查看函数参数的类型，发现它们都是int，并得出结论它需要调用min<int>。

调用myref 模板函数也是如此：

int i;
myref(i);

再次，编译器查看函数参数的类型，发现它是int，并得出结论它需要调用myref<int>。

顺便说一句，上面的min 函数使用起来可能有点复杂。 min(1, 2.0) 不会编译，因为两个函数参数类型不同；一个是int，一个是double，所以没有两个完全匹配的T。这里有几种可能的解决方案。一种是重写模板函数，使其具有两个模板类型参数，而不是一个：template <class T0, class T1> ??? min(T0, T1)。这导致了一个设计问题：正确的返回类型是什么？另一种解决方案是更改调用代码以传递相同类型的参数。还有一个是明确给出模板参数类型：min<int>(1, 2.0)。这段代码说要调用min<int>，它接受两个int 类型的参数； double 将被转换为 int，就像它对于接受两个 int 值的非模板函数一样。