Почему string_view вместо обобщенного container_view‹T›?

Обобщенный container_view правильнее называть диапазоном. У нас есть TS на маршруте, полностью посвященный концепциям дальности.

Теперь у нас есть string_view как отдельный тип, потому что он имеет специализированный, специфичный для строк интерфейс, чтобы соответствовать специфичному для строки интерфейсу basic_string. Или, по крайней мере, чтобы соответствовать интерфейсам const/non-allocating.

Обратите внимание, что container_view или как бы вы его ни назвали, не сможет стереть свое соединение с контейнером, который его сгенерировал. Или, по крайней мере, не без оплаты накладных расходов на стирание типа при каждом доступе/операции.

Напротив, string_view основано на const char*s и целых числах. Этому классу все равно, откуда взялась строка; он обеспечивает просмотр непрерывного массива символов независимо от того, кому он принадлежит. Он может сделать это, потому что знает, что источником является непрерывный массив, и поэтому использует указатели в качестве ядра своего итератора.

Вы не можете сделать это для произвольных контейнеров. Ваш container_view<vector> будет иметь итераторы, отличные от container_view<list> или чего-то еще. Это должно. Это означает, что если вы принимаете container_view в качестве параметра функции, вы должны либо выбрать конкретный контейнер для использования (заставляя пользователя указать именно этот тип контейнера), либо сделать свою функцию шаблоном, либо использовать диапазон итератора со стертым типом (таким образом помедленнее).

Существуют также предложения после C++17 для типов GSL span и mdspan. Первый представляет собой модифицируемое "представление" непрерывного массива. Последний представляет собой модифицируемое «представление» непрерывного массива, который вы считаете многомерным.

string_view предлагает больше, чем простой указатель на строку. Вам нужно смотреть на это как на нечто большее, чем просто указатель, не являющийся владельцем: если бы это было все, string_view не мог бы позволить вам «нарезать» части строки и применять к ней операции (оставаясь при этом представлением, таким образом без учета стоимости копии):

char *s = "welcome to stackoverflow";
auto s = std::string_view{s + 8, 2}; // a view on "to"
// you can then apply many operations on this view, that wouldn't make sense more on your general non_owning<T>:
s.remove_prefix(std::min(s.find_first_not_of(" "), s.size()));
// it also "inherits" (copies the API) a lot directly from std::basic_string
auto view2 = s.substr(3, 4); // a generic non-owning ptr would copy here, instead of giving you a new view