Вложенный шаблон шаблона шаблона

Question

Не удалось найти подходящее имя для этой проблемы.

У меня есть класс шаблона массив, который содержит вложенный класс итератора

class Array<T>::Iterator 

Я хочу, чтобы определить функцию «вид»:

template <typename T, class RAIterator> 
void sort(RAIterator start, RAIterator end); 

проблема, г ++ не может вывести Т из подпись функции. Так как я хочу, чтобы функция не зависит от определения Т (например, рода <T> (...)), я думал об этом (очевидно, неправильно) Синтаксис:

template <typename T, class RAIterator<typename T>> 
void sort(RAIterator start, RAIterator end); 

есть способ на самом деле пусть компилятор?

Answer 1

Вы должны ЬурейеЕ Т внутри класса итератора, то вы можете получить доступ к этому внутри функции сортировки:

template <typename T> 
class Array{ 
    class Iterator{ 
     typedef T value; 
    } 
} 

template <class RAIterator> 
void sort(RAIterator start, RAIterator end){ 

    typename RAIterator::value &v=...; 
}