Changeset 5546f50b for doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c

Timestamp:

Mar 10, 2024, 11:21:18 AM (6 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

9398177

Parents:

b64d0f4

Message:

more switch to tabs

File:

• doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c (modified) (1 diff)

doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c

@@ -14 +14 @@
 
 int main() {
+        float a[3][10];
+        static_assert(sizeof(float)==4);                        $\C{// floats (atomic elements) are 4 bytes}$
+        static_assert(sizeof(void*)==8);                        $\C{// pointers are 8 bytes}$
 
-/*
-As in the last section, we inspect the declaration ...
-*/
-    float a[3][10];
-/*
+        static_assert(sizeof( a ) == 120);                      $\C{// the array, float[3][10]}$
+        static_assert(sizeof( a[0] ) == 40);            $\C{// its first element, float[10]}$
+        static_assert(sizeof( a[0][0] ) == 4 );         $\C{// its first grand element, float}$
 
-*/
-    static_assert(sizeof(float)==4);    // floats (atomic elements) are 4 bytes
-    static_assert(sizeof(void*)==8);    // pointers are 8 bytes
-/*
+        static_assert(sizeof(&(a)) == 8);                       $\C{// pointer to the array, float(*)[3][10]}$
+        static_assert(sizeof(&(a[0])) == 8  );          $\C{// pointer to its first element, float(*)[10]}$
+        static_assert(sizeof(&(a[0][0])) == 8  );       $\C{// pointer to its first grand-element, float*}$
 
-The significant axis of deriving expressions from @a@ is now ``itself,'' ``first element'' or ``first grand-element (meaning, first element of first element).''
-*/
-    static_assert(sizeof(  a       ) == 120); // the array, float[3][10]
-    static_assert(sizeof(  a[0]    ) == 40 ); // its first element, float[10]
-    static_assert(sizeof(  a[0][0] ) == 4  ); // its first grand element, float
+        float (*pa  )[3][10] = &(a        );
+        float (*pa0 )   [10] = &(a[0]   );
+        float  *pa00             = &(a[0][0]);
 
-    static_assert(sizeof(&(a      )) == 8  ); // pointer to the array, float(*)[3][10]
-    static_assert(sizeof(&(a[0]   )) == 8  ); // pointer to its first element, float(*)[10]
-    static_assert(sizeof(&(a[0][0])) == 8  ); // pointer to its first grand-element, float*
+        static_assert((void*)&a == (void*)&(a[0]   ));
+        static_assert((void*)&a == (void*)&(a[0][0]));
 
-    float (*pa  )[3][10] = &(a      );
-    float (*pa0 )   [10] = &(a[0]   );
-    float  *pa00         = &(a[0][0]);
+        assert( (void *) pa == (void *) pa0  );
+        assert( (void *) pa == (void *) pa00 );
 
-    static_assert((void*)&a == (void*)&(a[0]   ));
-    static_assert((void*)&a == (void*)&(a[0][0]));
-
-    assert( (void *) pa == (void *) pa0  );
-    assert( (void *) pa == (void *) pa00 );
-
-//    float (*b[3])[10];
-    float *b[3];
-    for (int i = 0; i < 3; i ++) {
-        b[i] = malloc(sizeof(float[10]));
-    }
-    a[2][3];
-    b[2][3];
+//      float (*b[3])[10];
+        float *b[3];
+        for (int i = 0; i < 3; i ++) {
+                b[i] = malloc(sizeof(float[10]));
+        }
+        a[2][3];
+        b[2][3];
 /*