Выравнивание массивов знаков

@ReYalp · Регистрация: 27.12.2017

Студворк — интернет-сервис помощи студентам

Есть ли какие-то гарантии что массив char arr[n] будет начинаться с определенного адреса?
Что если мне нужно сделать каст с char * на int * но начало массива знаков не будет подходить под правила выравнивания для int?

Алексей1153 · 29.03.2021, 14:48

Сообщение от ReYalp

Есть ли какие-то гарантии что массив char arr[n] будет начинаться с определенного адреса

нет

выравнивание - можно покрутить alignas

// the array "cacheline" will be aligned to 128-byte boundary
alignas(128) char cacheline[128];

@ReYalp · 29.03.2021, 14:50 **[ТС]**

Алексей1153, а каст в int с некратного выравниванию int'a адреса имеет какие-то подводные камни(кроме ухудшения производительности на определенных платформах)

Алексей1153 · 29.03.2021, 15:00

ReYalp, не знаю )

@oleg-m1973 · 29.03.2021, 15:35

Сообщение от ReYalp

Алексей1153, а каст в int с некратного выравниванию int'a адреса имеет какие-то подводные камни(кроме ухудшения производительности на определенных платформах)

Нет, не имеет

Добавлено через 1 минуту

Сообщение от ReYalp

Что если мне нужно сделать каст с char * на int * но начало массива знаков не будет подходить под правила выравнивания для int?

Если размер массива кратен размеру int, то всё будет нормально

@ReYalp · 29.03.2021, 15:40 **[ТС]**

oleg-m1973, так а если нет то почему они должны появится если я не буду выходить за грани массива? К примеру массив размера 15 байт(знаков), а я возьму int с элементов 8-11

@oleg-m1973 · 29.03.2021, 15:49

Сообщение от ReYalp

oleg-m1973, так а если нет то почему они должны появится если я не буду выходить за грани массива? К примеру массив размера 15 байт(знаков), а я возьму int с элементов 8-11

Я имел ввиду, что ты объявшь массив char[3], например, и попробуешь его преобразовать к массиву int

Добавлено через 35 секунд
Если не будешь выходить за границы, то без разницы

@argcargv · 29.03.2021, 15:50

Сообщение от ReYalp

я возьму int с элементов 8-11

Каким образом?

@oleg-m1973 · 29.03.2021, 15:52

Сообщение от argcargv

Каким образом?

C++
1
2
char arr[100];
int *p = (int *)(arr + 8);

@argcargv · 29.03.2021, 15:53

oleg-m1973, нарушение правила strict aliasing.

@oleg-m1973 · 29.03.2021, 15:56

Сообщение от argcargv

oleg-m1973, нарушение правила strict aliasing.

В смысле, в чём оно, нарушение, состоит?

@argcargv · 29.03.2021, 16:07

oleg-m1973, ок, прямо в

C++
1
2
char arr[100];
int *p = (int *)(arr + 8);

нарушения, конечно же, нет.
Но сделай p + i (где i — любое целое) или там int i = *p; — и это UB. Из-за [expr.add]/6 или [basic.lval]/11, соответственно.

@ReYalp · 29.03.2021, 16:16 **[ТС]**

argcargv,

Сообщение от argcargv

Но сделай p + i (где i — любое целое) или там int i = *p; — и это UB. Из-за [expr.add]/6 или [basic.lval]/11, соответственно.

Я в коде(не важно каком) нашел вот такое :

C++
1
2
3
void f(char * name, ...){
if(flag && *reinterpret_cast<const unsigned*>(name) == 'someval')
}

это не то же самое что If a program attempts to access the stored value of an object through a glvalue whose type is not similar to one of the following types the behavior is undefined

Алексей1153 · 29.03.2021, 16:32

Сообщение от ReYalp

'someval'

это был плохой код ))

@ReYalp · 29.03.2021, 17:08 **[ТС]**

oleg-m1973,

Сообщение от oleg-m1973

char arr[100];
int *p = (int *)(arr + 8);

выходит любое обращение к *p это UB? И нельзя никак хранить данные в char массиве для последующего доступа к ним через указатели других типов?

@oleg-m1973 · 29.03.2021, 17:09

Сообщение от ReYalp

выходит любое обращение к *p это UB? И нельзя никак хранить данные в char массиве для последующего доступа к ним через указатели других типов?

Нет там никакого UB. Если ты гарантируешь, что размер достаточный, то всё будет нормально

@ReYalp · 29.03.2021, 17:16 **[ТС]**

oleg-m1973, почему тогда в стандарде пишет что
If a program attempts to access the stored value of an object through a glvalue whose type is not similar to one of the following types the behavior is undefined
без уточнения о размерах?

@zayats80888 · 29.03.2021, 17:30

Сообщение от ReYalp

И нельзя никак хранить данные в char массиве для последующего доступа к ним через указатели других типов?

C++
1
2
3
4
5
6
7
8
9
10
    char buf[100];
    void * ptr = buf + 8;
    size_t sz = 100 - 8;
    // получаем выравненный указатель, с учётом свободного места в storage
    if (std::align(alignof(int), sizeof(int), ptr, sz))
    {
        int * obj_ptr = new (ptr) int; // начинаем lifetime объекта
        // *obj_ptr    - OK
        // obj_ptr + 1 - OK
    }

Для простого чтения данных из буфера можно использовать memcpy

C++
1
2
int val;
std::memcpy(&val, some_ptr, sizeof(val));

@oleg-m1973 · 29.03.2021, 17:32

Сообщение от ReYalp

oleg-m1973, почему тогда в стандарде пишет что

Не заморачивайся. Как по-твоему хранятся поля в структурах?
Адрес это всего лишь число, его значение влияет только на быстродействие. Как ты интерпертируешь данные которые расположены по этому адресу - совершенно другой вопрос. Но char[4] всегда эквивалентен int, независимо от того, по какому адресу он лежит.

@ReYalp · 29.03.2021, 17:38 **[ТС]**

oleg-m1973,

Сообщение от oleg-m1973

Не заморачивайся. Как по-твоему хранятся поля в структурах?
Адрес это всего лишь число, его значение влияет только на быстродействие. Как ты интерпертируешь данные которые расположены по этому адресу - совершенно другой вопрос. Но char[4] всегда эквивалентен int, независимо от того, по какому адресу он лежит.

Та это понятно, мне не понятно лишь с логической точки зрения почему это называют UB

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484

	Выравнивание массивов знаков 29.03.2021, 14:39. Показов 1098. Ответов 26 Метки нет (Все метки) Есть ли какие-то гарантии что массив char arr[n] будет начинаться с определенного адреса? Что если мне нужно сделать каст с char * на int * но начало массива знаков не будет подходить под правила выравнивания для int? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	29.03.2021, 14:50 [ТС]
	Алексей1153, а каст в int с некратного выравниванию int'a адреса имеет какие-то подводные камни(кроме ухудшения производительности на определенных платформах) 0

Алексей1153 фрилансер 6444 / 5639 / 1128 Регистрация: 11.10.2019 Сообщений: 15,003
	29.03.2021, 15:00
	ReYalp, не знаю ) 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	29.03.2021, 15:40 [ТС]
	oleg-m1973, так а если нет то почему они должны появится если я не буду выходить за грани массива? К примеру массив размера 15 байт(знаков), а я возьму int с элементов 8-11 0

@argcargv 248 / 70 / 9 Регистрация: 22.07.2018 Сообщений: 321
	29.03.2021, 15:53
	oleg-m1973, нарушение правила strict aliasing. 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	29.03.2021, 17:16 [ТС]
	oleg-m1973, почему тогда в стандарде пишет что If a program attempts to access the stored value of an object through a glvalue whose type is not similar to one of the following types the behavior is undefined без уточнения о размерах? 0