Из одномерного массива сформировать двумерный массив

@kqest · Регистрация: 23.11.2016

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

2)Из предыдущего одномерного сформировать двумерный массив [50][2]. Вывести среднее арифметическое для каждой строки.
m = { 16, 78, 99, 6, -29, 19, -52, 65, -88, 51,
-79, -22, 32, -25, -62, -69, -2, -59, -75, 89,
-87, 95, -22, 85, -49, -75, 76, 73, -59, -52,
30, 49, -28, -48, 0, 57, -6, -85, 0, -18,
-97, -21, -95, 64, 22, -2, 69, -84, -1, -71,
-25, 47, 72, 43, 15, -44, 44, 61, 4, 74,
88, -61, 0, -64, -83, 97, 0, 90, 15, 8,
-54, 19, 73, 35, -67, -87, 85, -99, -70, 10,
98, 58, -10, -29, 95, 62, 77, 89, 36, -32,
78, 60, -79, -18, 30, -13, -34, -92, 1, -38}

@avgoor · 25.05.2018, 03:15

rat0r, Скорее, баг стандарта. (Даже и не баг, а отсутствие упоминания effective type и complete type в приведенном вами фрагменте).

@rat0r · 25.05.2018, 03:24

avgoor, про какой именно фрагмент идёт речь?
Что такое effective type? Не нашёл такого словосочетания в стандарте. Это из стандарта C, вроде?

@avgoor · 25.05.2018, 05:31

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

Что такое effective type? Не нашёл такого словосочетания в стандарте.

Читайте: dynamic type.

Пусть есть такой код:

C++
1
2
3
4
5
6
7
8
9
10
void print2d(int* arr, size_t N, size_t M) {...} // из книги Страуструпа
int main()
{
    constexpr size_t N = ...;
    int arr2d[N][N] = {....};
    int arr1d[N*N];
    memcpy(arr1d, arr2d, sizeof(arr1d));
    print2d(arr2d,N,N);
    print2d(arr1d,N,N);
}

В какой момент произойдет UB?

@rat0r · 25.05.2018, 21:21

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

Читайте: dynamic type.

Есть 2 определения для dynamic type:

Сообщение от http://eel.is/c++draft/defns.dynamic.type

⟨glvalue⟩ type of the most derived object ([intro.object]) to which the glvalue refers

Сообщение от http://eel.is/c++draft/defns.dynamic.type.prvalue

⟨prvalue⟩ static type of the prvalue expression

(Что такое most derived object:

Сообщение от http://eel.is/c++draft/intro.object#def:most_derived_object

If a complete object, a data member ([class.mem]), or an array element is of class type, its type is considered the most derived class, to distinguish it from the class type of any base class subobject; an object of a most derived class type or of a non-class type is called a most derived object.

)

Зачем нам это здесь надо?

Кликните здесь для просмотра всего текста

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

В какой момент произойдет UB?

В момент memcpy, я думаю. Т.к. что это должно делать — не определено. memcpy для trivially copyable types определён в 2 случаях:

Сообщение от http://eel.is/c++draft/basic.types#2

For any object (other than a potentially-overlapping subobject) of trivially copyable type T, whether or not the object holds a valid value of type T, the underlying bytes ([intro.memory]) making up the object can be copied into an array of char, unsigned char, or std::byte ([cstddef.syn]).
If the content of that array is copied back into the object, the object shall subsequently hold its original value.

Сообщение от http://eel.is/c++draft/basic.types#3

For any trivially copyable type T, if two pointers to T point to distinct T objects obj1 and obj2, where neither obj1 nor obj2 is a potentially-overlapping subobject, if the underlying bytes ([intro.memory]) making up obj1 are copied into obj2, obj2 shall subsequently hold the same value as obj1.

Что такое memcpy между объектами разного типа???

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

Что такое memcpy между объектами разного типа???

Ладно. Допустим, memcpy просто копирует байты между двумя объектами и я почему-то верю, что type punning с использованием memcpy разрешён. И даже верю, что у нас значения из arr2d попадут в arr1d.

Тогда UB по-прежнему при вызове print2d(&arr2d[0][0],N,N);.

Добавлено через 15 часов 22 минуты
Таки нет, похоже, memcpy между объектами разного типа не определён.

@avgoor · 28.05.2018, 01:21

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

Таки нет, похоже, memcpy между объектами разного типа не определён.

int[10] и int[5] - очевидно объекты разных типов. копировать массив из 5 интов, скажем, в начало массива из 10 интов - UB?

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

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

Зачем нам это здесь надо?

Это на случай, если бы массив был не из интов, а из пользовательских классов.

@rat0r · 28.05.2018, 05:15

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

int[10] и int[5] - очевидно объекты разных типов. копировать массив из 5 интов, скажем, в начало массива из 10 интов - UB?

Как к этому ни относиться — от UB при использовании print2d для двумерного массива это не спасёт.

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

Это на случай, если бы массив был не из интов, а из пользовательских классов.

Ок. Так про какой фрагмент идёт речь и зачем там упоминать dynamic type?

Новые блоги и статьи Все статьи Все блоги /
сукцессия 33. открытые вопросы от клауде anaschu 19.07.2026 "Что накопилось за эту часть А — тринадцать правок, из которых шесть пришли из ваших вопросов и каждая оказалась реальной ошибкой, а не калибровкой: односторонний симбиоз, отсутствующий листопад,. . .	32 сукцессия anaschu 19.07.2026 сукцессия 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не «подкручивает» сходимость —. . .	сукцессия 31: модель микоризы - это модель ещё нескольких явлений, социальных и экономических anaschu 18.07.2026 Теория «Всего»: апдейт v1. 1. 2 — 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не. . .	сукцессия 30. Массив проверяющих друг друга моделей anaschu 18.07.2026 Архитектура сети взаимопроверяющих моделей микоризной сукцессии (v2. 0) Развитие тензорного ОДУ-ядра и создание кросс-платформенного калибровочного полигона Уважаемые коллеги! В продолжение. . .
Грибы - это женщины, деревья - это мужчины. Анти инь янь для союза мужчины и женщины. anaschu 18.07.2026 ГЛАВНЫЙ НАУЧНО-ФИЛОСОФСКИЙ ВЫВОД: Сексуально-Репродуктивный Капитализм против Государства Моногамии Коллеги, мы вышли на финишную прямую 20-мерного ОДУ-моделирования вековой сукцессии (ветка. . .	Текстовый слайдер с нумерацией страниц и кроссбраузерность. russiannick 18.07.2026 Один мой друг написал текстовый слайдер с нумерацией страниц. Сегодня я расскажу как он умудрился подружить его с кроссбраузерностью. Очевидно сложно угодить с шириной каждому браузеру. Один крадет. . .	Грибы - это мемы, дерево - это человек. Применение микоризной модели к теории меметики Докинза. anaschu 18.07.2026 Меметический изоморфизм теории «всего»: Грибная сукцессия как модель эволюции идей Докинза Базовый код системы ОДУ микоризной сукцессии описывает не просто биологию, а универсальную. . .	Грибы - это корпорации, деревья - это государства. Механизм массонского захвата власти anaschu 18.07.2026 Макроэкономический изоморфизм теории «всего»: Грибная сукцессия как модель транснационального капитализма Базовый код системы ОДУ микоризной сукцессии описывает не просто биологию, а. . .

@kqest 0 / 0 / 0 Регистрация: 23.11.2016 Сообщений: 45

	Из одномерного массива сформировать двумерный массив 28.03.2017, 00:38. Показов 10037. Ответов 45 Метки нет (Все метки) 2)Из предыдущего одномерного сформировать двумерный массив [50][2]. Вывести среднее арифметическое для каждой строки. m = { 16, 78, 99, 6, -29, 19, -52, 65, -88, 51, -79, -22, 32, -25, -62, -69, -2, -59, -75, 89, -87, 95, -22, 85, -49, -75, 76, 73, -59, -52, 30, 49, -28, -48, 0, 57, -6, -85, 0, -18, -97, -21, -95, 64, 22, -2, 69, -84, -1, -71, -25, 47, 72, 43, 15, -44, 44, 61, 4, 74, 88, -61, 0, -64, -83, 97, 0, 90, 15, 8, -54, 19, 73, 35, -67, -87, 85, -99, -70, 10, 98, 58, -10, -29, 95, 62, 77, 89, 36, -32, 78, 60, -79, -18, 30, -13, -34, -92, 1, -38} 0

@avgoor 1550 / 877 / 179 Регистрация: 05.12.2015 Сообщений: 2,555
	25.05.2018, 03:15
	rat0r, Скорее, баг стандарта. (Даже и не баг, а отсутствие упоминания effective type и complete type в приведенном вами фрагменте). 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	25.05.2018, 03:24
	avgoor, про какой именно фрагмент идёт речь? Что такое effective type? Не нашёл такого словосочетания в стандарте. Это из стандарта C, вроде? 0