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

@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}

@Mirmik · 13.04.2018, 22:27

А... Я понял... Вас смущает, что с mas[2][50] обращаются как с mas[100].
Там нет проблемы. Код будет работать всегда.

@Mournful Max · 13.04.2018, 22:32

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

Стандарт говорит

Сообщение от Сообщение от http://eel.is/c++draft/expr.add#4

When an expression that has integral type is added to or subtracted from a pointer, the result has the type of the pointer operand.
If the expression P points to element x[i] of an array object x with n elements, the expressions P + J and J + P (where J has the value j) point to the (possibly-hypothetical) element x[i+j] if 0≤i+j≤n; otherwise, the behavior is undefined.

Если в обозначениях стандарта, m указывает на x[0], где x — массив из n==2 элеметов. Разрешено прибавлять к m значения 0, 1 или 2, иначе 0≤i+j≤n не выполняется и "the behavior is undefined".
В цикле к m прибавляется от 0 до 99. Т.е. здесь UB.

Это бред.

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

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

В цикле к m прибавляется от 0 до 99. Т.е. здесь UB.

Сами себе противоречите:

If the expression P points to element x[i] of an array object x with n elements, the expressions P + J and J + P (where J has the value j) point to the (possibly-hypothetical) element x[i+j] if 0≤i+j≤n;

m не выходит за границы массива mm.

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

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

m указывает на x[0]

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

C++
14
int *m=&mm[0][0];

@rat0r · 13.04.2018, 22:32

Сообщение от Captain Maxee

проблемы в коде от zss нет.

Тогда надо показать, где формально описано поведение кода.

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

Там нет проблемы. Код будет работать всегда.

Возможно, всегда будет получаться некий ожидаемый результат. UB на то и UB, что может работать "ожидаемо". Но это всё равно UB.

Сообщение от Captain Maxee

Это бред.

Аргументный аргумент.

Сообщение от Captain Maxee

Сами себе противоречите:

Сообщение от Captain Maxee

m не выходит за границы массива mm.

m не указывает на элемент массива mm. m указывает на элемент элемента mm с типом int[2]. И выходит за его границы.

@Mirmik · 13.04.2018, 22:34

Процитированный кусок не является правилом как таковым. Это пояснение к арифметики указателей. ИМХО, не очень удачное.

Добавлено через 1 минуту
Это не UB. UB - это когда вы можете найти машину, или гипотетически построить соответствующую стандарту машину и среду, где код работать не будет. Стандарт не может оговорить всех допустимых возможностей.

@rat0r · 13.04.2018, 22:37

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

Процитированный кусок не является правилом как таковым.

http://eel.is/c++draft/expr.add#4 является правилом как таковым. Правилом не являются Note и Example.

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

Это пояснение к арифметики указателей.

Пояснения пишутся в Note.

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

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

Это не UB. UB - это когда вы можете найти машину, или гипотетически построить соответствующую стандарту машину и среду, где код работать не будет.

Это из какого пальца высосано?

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

Стандарт не может оговорить всех допустимых возможностей.

Да. И не оговаривает. Тогда неоговорённое называется undefined behavior.
А в данном пункте ещё проще: то, что получается UB — сказано явно.

@Mirmik · 13.04.2018, 22:39

Что такое undefined behavior?

@rat0r · 13.04.2018, 22:45

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

Что такое undefined behavior?

http://eel.is/c++draft/defns.u... ,undefined

@Mournful Max · 13.04.2018, 22:49

rat0r, тут тоже UB?

C++
1
2
3
4
5
6
7
8
9
#include <iostream>
int main()
{
    int arr[ 2 ][ 4 ] = { 1, 2, 3, 4, 5, 'UB', 7, 8 };
    
    int ( *p )[ 4 ] = arr;
    
    std::cout << ( *p )[ 5 ] << std::endl;
}

@rat0r · 13.04.2018, 22:55

Сообщение от Captain Maxee

тут тоже UB?

Да.

@Mournful Max · 13.04.2018, 22:56

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

Да.

Где?

@rat0r · 13.04.2018, 22:58

Сообщение от Captain Maxee

Где?

( *p )[ 5 ]

@Mournful Max · 13.04.2018, 23:04

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

( *p )[ 5 ]

А как же

An array type describes a contiguously allocated nonempty set of objects with a particular member object type, called the element type. The element type shall be complete whenever the array type is specified. Array types are characterized by their element type and by the number of elements in the array. An array type is said to be derived from its element type, and if its element type is T, the array type is sometimes called ‘‘array of T’’. The construction of an array type from an element type is called ‘‘array type derivation’’.

?

@rat0r · 13.04.2018, 23:08

Сообщение от Captain Maxee

А как же

Ну allocated contiguously и пусть себе.

Как это отменяет UB при арифметике указателей?

@ZeroFlag · 14.04.2018, 01:48

На самом деле двумерные массивы имеют плоскую структуру. Компилятор позволяет работать с ними как с квадратными блоками памяти, однако двумерные массивы фактически представляют собой линейный набор адресов. Компилятор преобразует операции доступа к массиву, например array[3][2], в эти адреса памяти. Механизм преобразования можно легко представить следующим образом. Массив размером 4x4 с пронумерованными строками имеет вид:

[0][0][0][0]
[1][1][1][1]
[2][2][2][2]
[3][3][3][3]

Его фактическое расположение в памяти выглядит так:
[0][0][0][0][1][1][1][1][2][2][2][2][3][3][3][3]

@rat0r · 17.04.2018, 17:36

Captain Maxee написал мне личным сообщением (хотя это не разрешается правилами форума) но дал разрешение ответить в этой теме. Что я и делаю.
Вот сообщение полностью:

Сообщение от Captain Maxee

Троллишь? Очевидно же, что в нашем споре нет правды. Стандарт четко говорит, что все элементы массива расположены строго друг за другом. А с арифметикой указателей, указывающих на массивы, комитет просто дал неточное определение ситуации. Формально ты прав, — UB, ибо вышел за границы. На практике же, там просто будет следующий элемент. В любой реализации. Или ты думаешь, что C++ или C будет следить в рантайме, не вышел ли ты за границы массива?

Отвечу по-порядку.

Сообщение от Captain Maxee

Троллишь?

Нисколько.

Сообщение от Captain Maxee

Очевидно же, что в нашем споре нет правды.

Это желание (чтобы не было правды) — желание тех, чей шаблон порвался от того, что они узнали, что во вроде бы привычном коде, оказывается, есть UB.

Сообщение от Captain Maxee

Стандарт четко говорит, что все элементы массива расположены строго друг за другом.

Это повторяется так часто, как будто с этим кто-то не соглашается и/или спорит. Да расположены они строго друг за другом, расположены. Только само по себе это утверждение является малосодержательным. Содержательными являются другие пункты стандарта, которые реализуют это утверждение. Например, параграф про арифметику для указателя на элемент массива http://eel.is/c++draft/expr.add#4.

Сообщение от Captain Maxee

А с арифметикой указателей, указывающих на массивы, комитет просто дал неточное определение ситуации.

Откуда это мнение? Оно высказывалось кем-то из членов комитета? Если это и правда так, почему это неточное определение у нас со времён C89 и до сих пор не исправлено?

Сообщение от Captain Maxee

Формально ты прав, — UB, ибо вышел за границы.

Ну наконец-то. А то всё "проблемы в коде от zss нет", "в нашем споре нет правды" и т.п.

Сообщение от Captain Maxee

На практике же, там просто будет следующий элемент. В любой реализации. Или ты думаешь, что C++ или C будет следить в рантайме, не вышел ли ты за границы массива?

Я уже про это писал. Что, "на практике", скорее всего, UB будет совпадать с "ожидаемым" поведением. Однако это не отменят факта UB.

@Mournful Max · 17.04.2018, 22:43

rat0r, ну все уже, успокойся. Хорошо, согласно Стандарту, там есть UB. На этом закончим.

@rat0r · 20.04.2018, 09:41

Стандарт говорит, что константное выражение не может содержать явно указанного в разделах с 4-го по 19-й UB. Воспользуемся этим свойством.
Берём код:

C++
1
2
3
4
5
constexpr int a[2][2] = { 1, 2, 3, 4 };
constexpr int get_third( int const * first ) { return * ( first + 2 ); }
static_assert( get_third( &a[0][0] ) == 3, "Wrong number." );
 
int main() {}

gcc:

Code
1
2
3
4
5
prog.cc:3:38: error: non-constant condition for static assertion
 static_assert( get_third( &a[0][0] ) == 3, "Wrong number." );
                ~~~~~~~~~~~~~~~~~~~~~~^~~~
prog.cc:3:25:   in 'constexpr' expansion of 'get_third((& a[0][0]))'
prog.cc:3:38: error: array subscript value '2' is outside the bounds of array type 'const int [2]'

clang:

Code
1
2
3
4
5
6
7
8
9
prog.cc:3:16: error: static_assert expression is not an integral constant expression
static_assert( get_third( &a[0][0] ) == 3, "Wrong number." );
               ^~~~~~~~~~~~~~~~~~~~~~~~~~
prog.cc:2:55: note: read of dereferenced one-past-the-end pointer is not allowed in a constant expression
constexpr int get_third( int const * first ) { return * ( first + 2 ); }
                                                      ^
prog.cc:3:16: note: in call to 'get_third(&a[0][0])'
static_assert( get_third( &a[0][0] ) == 3, "Wrong number." );
               ^

VC++:

Code
1
2
3
source_file.cpp(3): error C2131: expression did not evaluate to a constant
source_file.cpp(2): note: failure was caused by out of range index 2; allowed range is 0 <= index < 2
Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x64

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

Никакого UB

Модераторы вроде могут помечать ответ как лучший. А могут снимать отметку? zss, если да, то я думаю, как раз тот случай когда стоит снять пометку "лучшего" с ответа с UB.

@rat0r · 24.05.2018, 21:08

Не по теме:

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

http://itedu.ru/faq/kak-peredat-v-funkciyu-staticheskiy-dvumernyy-massiv-v-c

А почему ссылка сдохла через несколько дней после её появления в этом треде?

@avgoor · 25.05.2018, 02:15

rat0r, Крючкотворство хорошо до определенных пределов. Будете настаивать, что Страуструп в своей книжке примеры с UB дает? (см. "Язык программирования C++. Специальное издание." приложение C7.2.)

@rat0r · 25.05.2018, 02:25

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

Будете настаивать, что Страуструп в своей книжке примеры с UB дает? (см. "Язык программирования C++. Специальное издание." приложение C7.2.)

Это которое print_mij? Да, там UB.

Новые блоги и статьи Все статьи Все блоги /
FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .
Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .

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

	Из одномерного массива сформировать двумерный массив 28.03.2017, 00:38. Показов 10187. Ответов 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

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	13.04.2018, 22:27
	А... Я понял... Вас смущает, что с mas[2][50] обращаются как с mas[100]. Там нет проблемы. Код будет работать всегда. 1

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	13.04.2018, 22:34
	Процитированный кусок не является правилом как таковым. Это пояснение к арифметики указателей. ИМХО, не очень удачное. Добавлено через 1 минуту Это не UB. UB - это когда вы можете найти машину, или гипотетически построить соответствующую стандарту машину и среду, где код работать не будет. Стандарт не может оговорить всех допустимых возможностей. 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	13.04.2018, 22:39
	Что такое undefined behavior? 0

@ZeroFlag 3 / 3 / 1 Регистрация: 12.04.2018 Сообщений: 7
	14.04.2018, 01:48
	На самом деле двумерные массивы имеют плоскую структуру. Компилятор позволяет работать с ними как с квадратными блоками памяти, однако двумерные массивы фактически представляют собой линейный набор адресов. Компилятор преобразует операции доступа к массиву, например array[3][2], в эти адреса памяти. Механизм преобразования можно легко представить следующим образом. Массив размером 4x4 с пронумерованными строками имеет вид: [0][0][0][0] [1][1][1][1] [2][2][2][2] [3][3][3][3] Его фактическое расположение в памяти выглядит так: [0][0][0][0][1][1][1][1][2][2][2][2][3][3][3][3] 1

@Mournful Max Велосипедист... 353 / 220 / 73 Регистрация: 15.12.2015 Сообщений: 785
	17.04.2018, 22:43
	rat0r, ну все уже, успокойся. Хорошо, согласно Стандарту, там есть UB. На этом закончим. 0

@avgoor 1550 / 877 / 179 Регистрация: 05.12.2015 Сообщений: 2,555
	25.05.2018, 02:15
	rat0r, Крючкотворство хорошо до определенных пределов. Будете настаивать, что Страуструп в своей книжке примеры с UB дает? (см. "Язык программирования C++. Специальное издание." приложение C7.2.) 2