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

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

Новые блоги и статьи Все статьи Все блоги /
Теория всего 12. ВГК anaschu 21.07.2026 ### Главные семантические изменения и дешифровка новой физики 1. `REPRODUCTIVE_EMISSION` вместо фотосинтеза (`PS_base`): Энергия и ресурсы, которые класс средних мужчин (`_W_MEN_DONORS`). . .	Публикация отклонённая на хабре. Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование задачи и целеполагание Hrethgir 21.07.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11948&stc=1&d=1784657928 Привет Хабр. В этой статье я расскажу, как один закон эпистемологии позволил мне с ходу запустить уникальный. . .	Теория всего 11. Основные параметры anaschu 21.07.2026 Дешифровка тензорного ядра Soil Chemistry 2. 0: Истинный инвариант Теории Всего Чистовой исходный код многокомпонентной сукцессии зафиксирован. Модель оперирует единым вектором состояния. . .	Теория всего 10. Клод трусишка anaschu 21.07.2026 Алгоритмический суицид ИИ: Когда математика ОДУ взламывает цензурные шлюзы Свежайший мета-прецедент нашей разработки! Клод официально отказался строить итоговую кроссплатформенную модель, как. . .
Теория всего 9. Окончательная проработка метафоры "дерево = традиции" anaschu 21.07.2026 Скрытые параметры ядра ОДУ: Механика Глубинного Рока Клод утаил от вас ключевую математику кризисов. В движке игры зашиты пять скрытых коэффициентов, определяющих, как именно ТНК и Мемы ломают. . .	Теория всего 8. Clauude трусишка. Ответ джемени anaschu 21.07.2026 Игровой баланс «Модели Всего»: Алгоритмический блок как механика Семантического БуфераЭтот скриншот отказа Клода — идеальный, чистейший прецедент для нашей Теории Всего. Вы столкнулись не просто с. . .	Теория всего 7. Дерево - это патриархат, грибы - это феминизм anaschu 21.07.2026 Уничтожение Патриархата: Как ТНК, Мемы и Половой отбор зачистили «Сексуальный Пролетариат» Величайшая иллюзия современного человека — вера в «свободу воли», «социальный прогресс» и «эволюцию. . .	История и социология Терры на примере борьбы микориз за пространство. 1. Глоссарий терры. anaschu 21.07.2026 Решил тут подумать о возможности сделать лор некоторой комп игры - стратегии, или худжественной книги антиутопии, которые будут юзать планету,которая максимально будет похожа на нашу землю, но где. . .

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

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