Changeset ae0c1c3 for libcfa/src/collections

Timestamp:

Apr 25, 2025, 7:08:53 PM (8 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

7d02d35, ecfa58be

Parents:

65bd3c2

Message:

Rewrote the iostream traits to have a single assertion each, a table containing function pointers. This is just an experiment right now. It seems that it does cause significant speed up of assertion resolution, but for some reason also seems to add a flat overhead that mostly eats up that saving.

Location:

libcfa/src/collections

Files:

• string.cfa (modified) (2 diffs)
• string_res.cfa (modified) (2 diffs)

libcfa/src/collections/string.cfa

@@ -216 +216 @@
         }
 
-        void ?|?( ostype & out, string s ) {
+        void ?|?( ostype & out, string s ) with ( basic_ostream_table ) {
                 (ostype &)(out | (*s.inner)); ends( out );
         }
@@ -229 +229 @@
         } // ?|?
 
-        void ?|?( ostype & os, _Ostream_Manip(string) f ) {
+        void ?|?( ostype & os, _Ostream_Manip(string) f ) with ( basic_ostream_table ) {
                 (ostype &)(os | f); ends( os );
         }

libcfa/src/collections/string_res.cfa

@@ -201 +201 @@
 forall( ostype & | basic_ostream( ostype ) )
 void ?|?( ostype & out, const string_res & s ) {
-        (ostype &)(out | s); ends( out );
+        (ostype &)(out | s);
+        basic_ostream_table.ends( out );
 }
 
@@ -249 +250 @@
 
 forall( istype & | basic_istream( istype ) )
-istype & ?|?( istype & is, _Istream_Rquote f ) with( f.rstr ) {
+istype & ?|?( istype & is, _Istream_Rquote f ) with( basic_istream_table, f.rstr ) {
         if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
         int args;