當對象本身是參數時，使用類函數作為默認參數

Question

我不知道是否可能，但我想做這樣的事情：

template <typename T>
int search(T array, int first = 0, int last = array.size())
{

}

這里T應該是一個容器，我想知道它的大小並將其用作默認參數。 那可能嗎？

編輯：是的，犯了一個錯誤，不是T而是數組。

Answer 1

因為T不是對象，所以不能使用T.size() 。

您可以使用函數重載來完成您要嘗試的工作。

template <typename T>
int search(T const& array, int first, int last)
{
}

template <typename T>
int search(T const& array, int first = 0)
{
   return search(array, first, array.size());
}

PS I將數組的類型從T更改為T const& 。 這將防止在調用函數時進行復制。

Answer 2

這不可能。 相反，您應該將最后一個默認參數替換為普通參數，並在調用函數時傳遞容器的大小，例如，

template <typename T>
int search(T array, int last, int first=0)
{
    // you can also directly use array.size() here, 
    // so no need for extra parameter
}

vector<int> v;
v.push_back(1);
v.push_back(2);

// call search
search< vector<int> >(v, v.size());