Типизированный просмотр возможен? Или я неправильно об этом думаю ⇐ C++

[Anonymous]

Это не конкретная ошибка, а общий вопрос проектирования C++. Рассмотрим следующий сценарий:

Код: Выделить всё

struct MyInterface {};

struct Data : MyInterface{};

struct DataWrapper
{
SomeContainerOf getData()
{...}
private:
std::vector dataStorage;
};

Что касается моих требований, мне нужна функция доступа для DataWrapper, чтобы возвращать контейнер значений MyInterface* (указателей, потому что мы действительно возвращаем данные) code>).
В идеале мы хотим сделать это без копирования. Я хочу знать, как лучше всего это сделать. Насколько я могу судить, идиоматический способ C++ сделать это примерно следующий:

Код: Выделить всё

auto DataWrapper::getData()
{
return dataStorage
| std::ranges::views::transform(
[](Data& d) -> MyInterface* { return &d; }
);
}

Но проблема в том, что совершенно очевидно, что этот метод доступа явно указывает возвращаемые значения — мне нужно, чтобы было известно, что этот метод возвращает этот список, и я беспокоюсь, что делая тип возвращаемого значения auto, это немного затрудняет это. Похоже (здесь я могу ошибаться), что вы не должны знать тип представления (аналогично лямбда-выражениям)
Альтернатива Я подумываю о том, чтобы создать собственное представление (где я мог бы сделать тип немного более понятным), но мне действительно больно переопределять что-то, что так ясно указано в стандарте. Каким будет рекомендуемый шаг для такого сценария? Говорит ли современный C++, что я должен сохранять возвращаемое значение автоматически?

Подробнее здесь: https://stackoverflow.com/questions/785 ... t-it-wrong