Обнаружение смежных итераторов

C ++ 17 представил концепцию ContiguousIterator http://en.cppreference.com/w/cpp/iterator.
Однако не похоже, что есть планы contiguous_iterator_tag (так же, как мы сейчас имеем random_access_iterator_tag) сообщает std::iterator_traits<It>::iterator_category,

Почему contiguous_iterator_tag отсутствует?

Существует ли обычный протокол, чтобы определить, является ли итератор смежным?
Или тест времени компиляции?

В прошлом я упоминал, что для контейнеров если есть .data() член, который преобразуется в указатель на ::value типа и есть .size() член, конвертируемый в разность указателей, тогда следует предположить, что контейнер является смежным, но я не могу использовать аналогичную функцию итераторов.

Одним из решений может быть также иметь data функция для смежных итераторов.

Конечно, смежная концепция работает, если &(it[n]) == (&(*it)) + n, для всех n, но это не может быть проверено во время компиляции.

РЕДАКТИРОВАТЬЯ нашел это видео, которое помещает это в более широкий контекст концепций C ++. CppCon 2016: «Построение и расширение иерархии итераторов в современном многоядерном мире» Патрик Недзельски. Решение использует концепции (Lite), но в конце идея состоит в том, что смежные итераторы должны реализовать pointer_from функция (так же, как мой data(...) функция).

Вывод состоит в том, что концепции помогут формализовать теорию, но они не магические, в том смысле, что кто-то где-то определит новые, особенно именованные функции, через смежные итераторы.
Доклад обобщается на сегментированные итераторы (с соответствующими функциями segment а также local), к сожалению, ничего не говорится о пошаговых указателях.