std :: sort如何仅使用迭代器实现交换操作？

Question

我如何能实现例如以下

template <typename ITERATOR> void Swap (ITERATOR a, ITERATOR b) { 
    ... 
} 

使交换（A，B）交换值在由a和b指出。换句话说：如何在不知道数据类型的情况下创建第三个变量？

Answer 1

如何创建一个第三个变量不知道数据类型？

使用std::iterator_traits<ITERATOR>::value_type

Answer 2

迭代器有一个所谓的特征来定义它的值类型。

 iterator_traits<ITERATOR>::value_type temp = *a; 
     *a = *b; 
     *b = temp; 

Answer 3

有iter_swap只是那份工作，

std::iter_swap(a, b); 

此外，如果你可以使用C++ 11可以使用decltype：

std::remove_reference<decltype(*a)>::type c = *a; 
*a = *b; 
*b = c; 

Answer 4

template <typename ITERATOR> void Swap (ITERATOR a, ITERATOR b) { 
    using std::swap; 
    swap(*a,*b); 
} 

Answer 5

在C++ 11，类型是std::remove_reference<decltype(*a)>::type，但声明一个变量，你可以使用auto。

在C++ 03，来推断任意表达式的类型的最可靠的方法是通过另一个模板：

// NOTE: This is for illustration only. If you are simply swapping 
// values, use 'std::swap' instead of this, since that is specialised 
// for many types to avoid unnecessary copy-assignment. 
template <typename T> void value_swap(T & a, T & b) { 
    T t = a; 
    a = b; 
    b = t; 
} 

template <typename I> void iterator_swap(I a, I b) { 
    value_swap(*a, *b); 
} 

或者，对于表现良好的迭代器（包括指针和标准迭代器），所述类型为std::iterator_traits<ITERATOR>::value_type。如果某人编写了自己的迭代器类型，但没有提供默认的iterator_traits要求的嵌套类型，或者专门为它编写了iterator_traits，这将不起作用。

一些编译器提供了类似于decltype的非标准扩展;例如GCC提供typeof。如果你不需要你的代码是可移植的，你可以使用这样的东西。

顺便说一下，您的特定功能已经存在为std::iter_swap。