Changes in doc/uC++toCFA/uC++toCFA.tex [538cc35:946a6e4]

File:

• doc/uC++toCFA/uC++toCFA.tex (modified) (5 diffs)

doc/uC++toCFA/uC++toCFA.tex

@@ -11 +11 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Thu Jan 11 14:46:14 2024
-%% Update Count     : 5942
+%% Last Modified On : Sun Oct 15 23:09:58 2023
+%% Update Count     : 5926
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -428 +428 @@
 \begin{uC++}
 struct S {
-        int i = 0;  // cheat, implicit default constructor
+        int i = 0;
         int setter( int j ) { int t = i; i = j; return t; }
         int getter() { return i; }
@@ -434 +434 @@
 
 S s;
-@s.@setter( 3 );  // object-oriented calls
+@s.@setter( 3 );  // object-oriented call
 int k = @s.@getter();
 \end{uC++}
@@ -442 +442 @@
         int i;
 };
-void ?{}( S & s ) { s.i = 0; } // explicit default constructor
+void ?{}( S & s ) { s.i = 0; }
 int setter( @S & s,@ int j ) @with(s)@ { int t = i; i = j; return t; }
 int getter( @S & s@ ) @with(s)@ { return i; }
 S s;
-setter( @s,@ 3 );  // normal routine calls
+setter( @s,@ 3 );  // normal routine call
 int k = getter( @s@ );
 \end{cfa}
@@ -458 +458 @@
 \begin{tabular}{l|l}
 \begin{uC++}
-
 struct S {
         int i;
-        S( int i ) { S::i = i; cout << "ctor " << S::i << endl; }
-        ~S() { S::i = i; cout << "dtor " << S::i << endl; }
-};
+        S( int i ) { S::i = i; cout << S::i << endl; }
+};
+@uNoCtor<S>@ s[10];
 int main() {
-        enum { N = 5 };
-        @uNoCtor<S>@ s[N];   // no constructor calls
-        for ( int i = 0; i < N; i += 1 ) @s[i].ctor( i )@;
-        for ( int i = 0; i < N; i += 1 ) cout << s[i]@->@i << endl;
-}
-\end{uC++}
-&
-\begin{cfa}
-#include @<raii.hfa>@          // uninit
+        for ( int i = 0; i < 10; i += 1 ) {
+                s[i].ctor( i );
+        }
+        for ( int i = 0; i < 10; i += 1 ) {
+                cout << s[i]@->@i << endl;
+        }
+}
+\end{uC++}
+&
+\begin{cfa}
 struct S {
         int i;
 };
-void ?{}( S & s, int i ) { s.i = i; sout | "ctor" | s.i; }
-void ^?{}( S & s ) { sout | "dtor" | s.i; }
+void ?{}( S & s, int i ) { s.i = i; sout | s.i; }
+S s[10] @$\color{red}@$= {}@;
 int main() {
-        enum { N = 5 };
-        @uninit(S)@ s[N];   // no constructor calls
-        for ( i; N ) @s[i]{ i }@;
-        for ( i; N ) sout | s[i]@.@i;
+        for ( i; 10 ) {
+                ?{}( s[i], i );  // call constructor
+        }
+        for ( i; 10 ) {
+                sout | s[i]@.@i; // dot not arrow
+        }
 }
 \end{cfa}