0

Можно ли как-то проинициализировать n элементов std::vector<int> по-умолчанию, т.е. чтобы он содержал n неинициализированных значений, а не n нулей? Рассматриваются любые легальные варианты (замена аллокатора? доступ к внутренней памяти?).

3
  • Где-то на английском SO видел вариант с заменой аллокатора, попробую найти. 15 ноя 2019 в 11:23
  • Нашел: stackoverflow.com/a/21028912/2752075 Правда, у меня он все равно выдает нули... 15 ноя 2019 в 11:31
  • @HolyBlackCat спасибо 15 ноя 2019 в 11:32

3 ответа 3

2

Можно заменить int на структуру с соответствующим конструктором, не инициализирующим значение. Например:

struct t_int
{
    int value;

    t_int() {} // Uninitilaized 'value' !

    t_int(int i) : value(i) {}
    t_int(const t_int& i) =default;
    t_int(t_int&& i) =default;

    operator int() const { return value; }
};

// test:
int main()
{
    { std::vector< t_int > test = { 1,2,3,4 }; }
    std::vector< t_int > test(4);
    cout << test[0]<<test[1]<<test[2]<<test[3] << endl;
    return 0;
}
4
  • Насколько я знаю, в классе всё равно будут гарантированные нули 15 ноя 2019 в 12:05
  • @Сергей Не должны быть. 15 ноя 2019 в 12:16
  • @HolyBlackCat когда класс A a{}; инициализируется так, то все его поля иницициализируются нулями (своими дефолтами), а не неинициализированными значениями 15 ноя 2019 в 12:24
  • @Сергей Это происходит только если конструтор A был сгенерирован автоматически, либо если он был объявлен как = default в теле класса. 15 ноя 2019 в 12:35
0

Вам нужен reserve. Вы не хотите инициализировать элементы, Вы хотите выделить память под них.

В противном случае не понятно, что именно Вы хотите. Вы пишите:

Можно ли как-то проинициализировать n элементов std::vector по-умолчанию, т.е. чтобы он содержал n неинициализированных значений, а не n нулей?

Т.е. Вы хотите проинициализировать n элементов, но так, чтобы они остались неинициализированными :)

Upd.: на данный момент я пришел к выводу, что использование custom-аллокатора в данном случае не поможет:

  1. Используем тип аллокатор как параметр шаблона класса std::vector - очевидно, что это никак не поможет, потому что конструктор по-умолчанию __vector_base никак не использует аллокатор, соответственно, мы не сможем переопределить поведение при вызове конструктора (по-умолчанию) класса std::vector.
  2. Используем конструктор, который принимает аллокатор в качестве аргумента - будет вызван следующий конструктор класса __vector_base:

template <class _Tp, class _Allocator>
inline _LIBCPP_INLINE_VISIBILITY
__vector_base<_Tp, _Allocator>::__vector_base(const allocator_type& __a)
    : __begin_(nullptr),
      __end_(nullptr),
      __end_cap_(nullptr, __a)
{
}

Как видите, аллокатор используется только в одном месте - в конструкторе __end_cap. __end_cap это объект класса __compressed_pair, который, очевидно, не может содержать какие-либо вызовы для аллоцирования памяти в своем конструкторе.

Таким образом, если у нас нет таких "точек", в которых мы бы могли повлиять на аллокацию памяти для вектора при вызове конструктора по-умолчанию (или с одним параметром - аллокатором), нет и смысла использовать custom-аллокатор для Вашей проблемы.

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

8
  • Я хочу сделать default initialization как для int x; 15 ноя 2019 в 11:12
  • @Сергей, ок, понял Вас. Нужно подумать :) Извините, что сразу неправильно интерпретировал Ваш вопрос.
    – isnullxbh
    15 ноя 2019 в 11:17
  • @Сергей, обновил ответ.
    – isnullxbh
    15 ноя 2019 в 12:27
  • @isnullxbh Так вроде речь не про дефолтный конструктор вектора? Я так понял, ТС говорит про std::vector<int> vec(n);. 15 ноя 2019 в 12:37
  • @HolyBlackCat, он сам написал - "Я хочу сделать default initialization".
    – isnullxbh
    15 ноя 2019 в 12:45
0

Взгляните на данную реализацию из библиотеки folly. Из названия следует, что это очень implementation-defined код в красивой обёртке (не без UB). Вас интересует folly::resizeWithoutInitialization.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.