c++ - 泛型的函式物件。

Question

剛才在看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也沒有找到答案。
請大家幫忙解答一下。謝謝謝謝。

Answer 1

__copy_dispatch<InputIterator,OutputIterator>()

這是呼叫class

__copy_dispatch<InputIterator,OutputIterator>

的預設建構函數，它的作用是產生一個臨時物件。接下來

(fist,last,result)

的作用則是以first, last, result為實參，在這個臨時物件上呼叫operator()。

Answer 2

用這個struct就呼叫了()運算子，這是仿函數的意思，它在這裡的作用就是創建一個不具名的物件

Answer 3

其實lambda也是創建了一個重載了operator()的類別來實現仿函數的效果的.