Указатели в шаблонах (C++)

[streimer]

Добрый день.
Внезапно возникла проблема (или скорее непонимание) с реализацией одной шаблонной функции на C++. Суть ее заключается в следующем: нужно написать функцию, принимающую в качестве аргументов указатели на некоторые элементы массива, а в результате переставляющая эти элементы. Без особых проблем я накатал вот такое:

template <typename T>
void swap (const T first, const T second)
{
	T temp = new int;
	*temp = *first;
	*first = *second;
	*second = *temp;
}

Но, как не сложно увидеть, она будет работать только с массивами целых чисел. А вот как ее приспособить к произвольному типу я не знаю. На строчки типа
T temp;
T temp = new (*T);
(вместо инициализации temp'а в вышеприведенном коде) компилятор ругается. А больше идей и нет. Может кто-нибудь знает возможно ли справиться с такой проблемой?
Объявление шаблонной функции менять нельзя, только реализацию.

Пример использования функции:

int main() {
	int a[5] = {3, 2, 1, 4, 5};
	swap(a, a+2); //поменяет 3 и 1
	return 0;
}

[netrino]

Это Вам задали, или по какой причине нельзя менять определение? Можно ли писать дополнительные шаблоны, вроде

template <typename T>
struct unptr;

template <typename T>
struct unptr<T *> {
  typedef T type;
}

И тогда

template <typename T>
void swap (const T first, const T second)
{
  typename unptr<T>::type temp;
  temp = *first;
  *first = *second;
  *second = temp;
}

?

[streimer]

Сообщение от netrino

Это Вам задали, или по какой причине нельзя менять определение?

Да, определение должно было оставаться таким же, но про дополнительные шаблоны не было указано ни слова. Поэтому думаю этот вариант решения подойдет. Спасибо!

UPD: Но еще бы хотелось, чтобы эта штука работал и с вектором (с итераторами в виде параметров), но вот тут компилятор опять ругается
Можно ли как-нибудь дополнить ваш вариант, чтобы он работал и в случаях типа:

vector<int> b(5, 1);
swap(b.begin(), b.begin()+2);

?

[netrino]

Не уверен, можно ли Вам пользоваться всеми средствами стандартной библиотеки, но в "модуле" iterator определён тип iterator_traits, который позволяет извлечь данные о типе элемента из итератора (тех, что поддерживают iterator_traits), включая указатели.

#include <iterator>
// ...
template <typename T>
void swap (const T first, const T second)
{
  typename iterator_traits<T>::value_type temp = *first;
  *first = *second;
  *second = temp;
}

Если нельзя, тогда можно изменить предложенное мною определение unptr следующим образом:

template <typename T>
struct unptr {
  typedef typename T::value_type type;
};

template <typename T>
struct unptr<T *> {
  typedef T type;
};

[streimer]

netrino
Первый способ, пожалуй, более универсальный. Им и воспользуюсь.
Еще раз спасибо.