Changeset b5bfb16 for doc/theses/mike_brooks_MMath/programs

Timestamp:

Mar 27, 2024, 10:08:54 AM (18 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

2d82999

Parents:

b8cb388

git-author:

Peter A. Buhr <pabuhr@…> (03/27/24 10:08:01)

git-committer:

Peter A. Buhr <pabuhr@…> (03/27/24 10:08:54)

Message:

start proofreading of Section 2.1

File:

• doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (modified) (2 diffs)

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

@@ -32 +32 @@
 
 int main() {
-        float a[10];
-        static_assert(sizeof(float) == 4);              $\C{// floats (array elements) are 4 bytes}$
-        static_assert(sizeof(void*) == 8);              $\C{// pointers are 8 bytes}$
-        static_assert(sizeof(a) == 40);                 $\C{// array}$
-        static_assert(sizeof(&a) == 8 );                $\C{// pointer to array}$
-        static_assert(sizeof(a[0]) == 4 );              $\C{// first element}$
-        static_assert(sizeof(&(a[0])) == 8 );   $\C{// pointer to first element}$
+        float ar[10];
+        static_assert( sizeof(float) == 4 );    $\C{// floats (array elements) are 4 bytes}$
+        static_assert( sizeof(void*) == 8 );    $\C{// pointers are 8 bytes}$
+        static_assert( sizeof(ar) == 40 );              $\C{// array}$
+        static_assert( sizeof(&ar) == 8 );              $\C{// pointer to array}$
+        static_assert( sizeof(ar[0]) == 4 );    $\C{// first element}$
+        static_assert( sizeof(&(ar[0])) == 8 ); $\C{// pointer to first element}$
 
-        typeof(&a) x;                                                   $\C{// x is pointer to array}$
-        typeof(&(a[0])) y;                                              $\C{// y is pointer to first element}$
+        typeof(&ar) x = &ar;                                    $\C{// x is pointer to array}$
+        typeof(&(ar[0])) y = &ar[0];                    $\C{// y is pointer to first element}$
         @x = y;@                                                                $\C{// ill-typed}$
         @y = x;@                                                                $\C{// ill-typed}$
-        static_assert(sizeof(typeof(a)) == 40);
-        static_assert(sizeof(typeof(&a)) == 8 );
-        static_assert(sizeof(typeof(a[0])) == 4 );
-        static_assert(sizeof(typeof(&(a[0]))) == 8 );
+        static_assert( sizeof(typeof(ar)) == 40 ); $\C{// array}$
+        static_assert( sizeof(typeof(&ar)) == 8 );      $\C{// pointer to array}$
+        static_assert( sizeof(typeof(ar[0])) == 4 ); $\C{// first element}$
+        static_assert( sizeof(typeof(&(ar[0]))) == 8 ); $\C{// pointer to first element}$
 
         void f( float (*pa)[10] ) {
-            static_assert(sizeof(   *pa     ) == 40); $\C{// array}$
-            static_assert(sizeof(    pa     ) == 8 ); $\C{// pointer to array}$
-            static_assert(sizeof(  (*pa)[0] ) == 4 ); $\C{// first element}$
-            static_assert(sizeof(&((*pa)[0])) == 8 ); $\C{// pointer to first element}$
+                static_assert( sizeof( *pa ) == 40 ); $\C{// array}$
+                static_assert( sizeof( pa ) == 8 );     $\C{// pointer to array}$
+                static_assert( sizeof( (*pa)[0] ) == 4 ); $\C{// first element}$
+                static_assert( sizeof(&((*pa)[0])) == 8 ); $\C{// pointer to first element}$
         }
-        f( & a );
+        f( &ar );
 
         float fs[] = {3.14, 1.707};
         char cs[] = "hello";
-
         static_assert( sizeof(fs) == 2 * sizeof(float) );
         static_assert( sizeof(cs) == 6 * sizeof(char) );  $\C{// 5 letters + 1 null terminator}$
+
 }
 
@@ -144 +144 @@
 void stx2() { const T x[10];
 //            x[5] = 3.14; // bad
-                }
+                        }
 void stx3() { T const x[10];
 //            x[5] = 3.14; // bad
-                }
+                        }
 
 // Local Variables: //