Появление языков высокого уровня обусловлено введением элементов абстракции. То есть все элементы, конструкции, синтаксис - всё ориентировано на комфорт программиста. Ну ... в том или ином виде. То есть либо это элементы восприятия, улучшаемые читаемость/ сопровождаемость, либо элементы улучшаемые масштабируемость/ заимствование, либо элементы уменьшающие колличество ошибок/ увеличивающие надёжность...

Понятно, что определённые конструкции языка высокого уровня транслируются в более эффективный код, чем другие. Но, фактически, программист исходит из того, что все конструкции "равноэффективны". И к этому мы движимся семимильными шагами. В том смысле, что производительность процессоров и переферия растёт, стоимость падает и под реальную задачу закладываются процы, способные с большим запасом по ресурсам решить поставленную задачу. В связи с этим, применённые программистом языковые конструкции нивелируются в плане эффективности трансляции компилятором.

Конечно, лучше если программист понимает, что из себя будет представлять структура или массив в памяти МК. Как она будет располагаться и как транслятор построит работу с ней. Таким образом программист на уровне ощущения выбирает найболее эффективную форму представления данных. Тем более, что здесь всё просто ... Просмотрите один - два раза результат, оцените.

Так, например, при работе с адресной арифметикой, либо при групповых операциях, работа с чистым массивом будет более эффективна. При некоторых условиях лучше работать со структурами. Например со списками.

Но в любом случае это создавалось для удобства - соответственно, что вам удобнее, нагляднее, ближе - то и используйте.

А если код писанный по принципу "а мне так понятнее" и "есть байт чего-же еще нужно..." попадает в другие руки, то хочется долго-долго ругаться .