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

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

Новые блоги и статьи Все статьи Все блоги /
Саморегулирующийся социальный контракт для сервера cross-section. Hrethgir 14.08.2026 С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .	Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия
Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .

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

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