刚才在看stl源码剖析copy函数时看到了这么一段代码

template<class InputIterator,class OutputIterator>
inline OutputIterator copy(InputIterator first,InputIterator last,OutputIterator result)
{
    return __copy_dispatch<InputIterator,OutputIterator>()(fist,last,result);//这是个函数
}

//这是完全泛化的的版本。
template <class InputIterator,class OutputIterator>
struct __copy_dispatch
{
    OutputIterator operator()(InputIterator first,InputIterator last,OutputIterator result)
    {
        return __copy(first,last,result,iterator_category(first));
    }    
};

这个__copy_dispatch是一个重载了()运算符的struct，在copy中调用的时候时候，他直接

__copy_dispatch<InputIterator,OutputIterator>()(fist,last,result);

直接用这个struct就调用了()运算符，而不是用一个stuct对象来调用。

请问这样可以？我快速翻了c++primer也没有找到答案。
请大家帮忙解答一下。谢谢谢谢。