Есть ли способ конвертировать std::vector <const T *> в std::vector <T *> без дополнительных распределений?

Ответ 1

Короткий ответ: нет. std::vector<Object*> и std::vector<const Object*> - два разных независимых класса. Они отличаются друг от друга как class A от class B. Часто считается, что только потому, что оба они начинаются с std::vector, они как-то связаны друг с другом. Это неверно, и по этой причине невозможно преобразовать один в другой, "на месте". Каждый из этих векторных классов имеет свой собственный внутренний data() и не будет охотно отдавать его другому странному классу.

Длинный ответ по-прежнему отсутствует, но во многих случаях это можно обойти, чтобы избежать дублирования кода вручную. Истина заключается в том, что дублирование кода неизбежно в большинстве подобных ситуаций, и самое лучшее, что можно сделать, - избегать ручного дублирования кода.

Один общий подход заключается в том, что как константный, так и метод mutable class являются фасадами для одного, общего, частного шаблона:

// Header file:

class Storage {

public:

    std::vector<const Object*> aggregate_objects() const;

    std::vector<Object*> aggregate_objects();

private:

    template<typename v_type> void make_aggregate_objects(v_type &v) const;
};

// In the translation unit:

template<typename v_type> void Storage::make_aggregate_objects(v_type &v) const
{
     // Now, create 'v' here... v.reserve(), v.push_back(), etc...
}

std::vector<const Object*> Storage::aggregate_objects() const
{
     std::vector<const Object *> v;

     make_aggregate_objects(v);

     return v;
}

std::vector<Object*> Storage::aggregate_objects()
{
     std::vector<const Object *> v;

     make_aggregate_objects(v);

     return v;
}

Компилятор по-прежнему будет генерировать два почти одинаковых фрагмента кода, но, по крайней мере, вы не делаете все, что печатаете.

Другим аналогичным подходом является передача лямбда в функцию шаблона вместо передачи векторного объекта с частной функцией шаблона с использованием лямбда-функции в качестве обратного вызова для построения возвращаемого вектора. С небольшим стиранием типа и некоторой помощью от std::function метод частного класса может быть превращен в обычный метод, а не в шаблонный метод.

Ответ 2

Невозможно преобразовать std::vector<const Object*> в std::vector<Object*> без перераспределения памяти и копирования указателей, потому что std::vector является контейнером и имеет свою память.

Использование reinterpret_cast может работать в этом случае, но является undefined поведением и зависит от реализации std::vector:

std::vector<const Object*> const_vec = ...;
std::vector<Object*>& vec = reinterpret_cast<std::vector<Object*>&>(const_vec);

Решение избежать const_cast или ненужных распределений было бы третьей, шаблонной функцией:

template<typename Stor>
static auto Storage::aggregate_objects_(Stor&)
-> std::vector<std::conditional_t<std::is_const<Stor>::value, const Object*, Object*>>
{
    ...
}

где Stor может быть Storage или const Storage.

Тогда aggregate_objects() будет реализован как:

std::vector<const Object*> Storage::aggregate_objects() const {
    return aggregate_objects_(*this);
}

std::vector<Object*> Storage::aggregate_objects() {
    return aggregate_objects_(*this);
}

Ответ 3

Ваши функции возвращаются по значению, поэтому всегда выделяйте в любом случае - о каких "дополнительных распределениях" вы говорите?

Если вы просто храните vector<Object*> внутренне, то тривиально решить вашу проблему:

std::vector<Object*> Storage::aggregate_objects()
{ return m_data; };

std::vector<const Object*> Storage::aggregate_objects() const
{ return std::vector<const Object*>(m_data.begin(), m_data.end()); }

Изменить: в ответ на ваш обновленный вопрос:

Вы не должны писать плохой код, чтобы избежать копирования и вставки тела функции!

Нет необходимости дублировать тело функции или писать плохой код с опасными или рискованными отбрасываниями, просто используйте шаблон, который вызывается обеими функциями, как показывает ответ Сэма Варшавчика.

Ответ 4

Очевидным ответом является no, std::vector<T*> и std::vector<const T*> - это два разных объекта, которые не могут быть заменены.

Однако, вооружившись знаниями внутренних элементов std::vector, должно быть довольно легко увидеть, сохраняем ли мы T* или const T* внутри std::vector, это не имеет значения с точки зрения перспективы.

Следовательно, одним из способов сделать это было бы принудительное преобразование результата из одного типа в другой. Итак:

template <typename T>
std::vector<T*> remove_const_from_result(std::vector<const T*>&& input) {
  return reinterpret_cast<std::vector<T*>&>(input);
}

Большое оговорку с таким подходом заключается в том, что мы можем сделать это только в том случае, если мы достаточно уверены в внутренних компонентах контейнера, который мы применяем для принудительного каста.

Обратите внимание, что это все еще не помогает с вашей исходной проблемой, а именно, что у вас есть две разные функции-члены, и вы, по существу, const_cast -в результате одного на другой.

Чтобы проиллюстрировать, позвольте мне предположить, что у вас есть функция getter без std::vector, поэтому сделайте следующее:

struct Foo {
  const Bar* bar() const { return &bar_; }
  Bar* bar() { return const_cast<Bar*>(bar()); }

 private:
  Bar bar_;
};

Лучшим способом сделать это, ИМО, было бы подвергнуть шаблонную функцию внутренне и использовать ее вместо этого. Таким образом, Foo становится:

struct Foo {
  const Bar* bar() const { return get_internal<const Bar*>(&bar_); }
  Bar* bar() { return get_internal<Bar*>(&bar_); }

 private:
  Bar bar_;
  template <typename T>
  T get_internal(std::remove_const<T>::type ptr) const { return ptr; }
};

Итак, аналогично, для вашего примера вы можете использовать один и тот же подход:

struct Storage {
  std::vector<const Object*> aggregate_objects() const { return aggregate_internal<const Object*>(); }
  std::vector<Object*> aggregate_objects() { return aggregate_internal<Object*>(); }

 private:
  template <typename T>
  std::vector<T*> aggregate_internal() const {
    // actual aggregate function where T* can be const T* also.
  }
}