последовательность unsigned char, мотивируясь [basic.lval]p11.3. Но как получать указатели на отдельные байты, если арифметика указателей доступна лишь в пределах объектов типа массив?
Никак?
Ты опять за своё? Не уймешься?
Я сейчас занят работой с указателями, просто пересеклось немного
Попробуй для разнообразия обойтись без этого и как-то написать этот код по-другому
1) 80 сноска гласит, что когда объект один, он считается массивом из одного элемента 2) далее вы с помощью арифметики получаете указатель на нужный вам элемент этого массива, причем этот элемент даже не обязан существовать 3) я вижу некоторое несоответствие между последовательностью байт, в которых хранятся объекта, и массивом, о котором говорит пункт про арифметику. как его разрешить в рамках стандарта я не знаю 4) но есть такой метод std::span::as_bytes, который возвращает span представления объекта (-ов) другого span'а. его реализация должна основываться на тех же пунктах, которые мы обсуждаем, поэтому я заглянул в одну из реализаций стандартной библиотеки. как видите, даже при работе к приведенным через reinterpret_cast указателем там идет банальное обращение через индекс, которое по определению то же самое, что и арифметика указателей
ну здравствуйте
Единственное, что я могу предположить, так это то, что основываясь на [expr.new]p6 [new.delete.array], а также на [dcl.array]p1 и [dcl.array]p6, непрерывные участки памяти могут использоваться в арифметике указателей, а тип "массив из..." "как бы" условный тип для цели различать простые указатели и указатели на участки памяти, содержащие более одного элемента объекта. Но, разумеется, это не соответствует стандарту (на первый взгляд) А так, благодарю за помощь в познании многих вещей)
Обсуждают сегодня