Cтраница 4
Одним из наиболее важных среди рассматриваемых вопросов является вопрос о последствиях, связанных с разрешением возможности использовать динамические массивы в качестве компонентов других массивов, записей, файлов. В языке программирования, который желательно сделать одновременно достаточно общим и простым, такое разрешение приводит к существенному усложнению и, конечно, не будет слишком полезно для программиста. [46]
Массив называется инвариантным, если содержимое его ячеек не зависит от параметров и не меняется при изменении размещения в памяти самого этого массива или других массивов данной подпрограммы, или остальных частей компилируемой программы. Если состояние ( содержимое ячеек) какого-либо массива зависит от его места в памяти, но не зависит от параметров и взаимного расположения в памяти остальных массивов подпрограммы, или других частей компилируемой программы, то такой массив называется замкнутым. Массив, состояние которого зависит не только от его расположения в памяти, но и от расположения в памяти других массивов подпрограммы или частей компилируемой программы, а также, может быть, от параметров, называется открытым. [47]
Мы уже видели примеры краткости, обеспечиваемой одномерными массивами ( векторами), при рассмотрении двойственности; дальнейшая детализация достигается путем использования матриц и других массивов более высокого ранга, поскольку - функции, определенные на векторах, систематически обобщаются на массивы более высокого ранга. [48]
Этот алгоритм можно расширить так, что сортировка будет выполняться на одном массиве, сохраняя в то же время соответствие один к одному с другим массивом. Для этого непосредственно перед end цикла / следует вставить. [49]