Changeset d03a386 for libcfa/src/collections/string.cfa

Timestamp:

Apr 11, 2025, 1:23:39 AM (6 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

dab6e39

Parents:

570e7ad

Message:

Give a few string operator overloads a preference boost.

Intent is to approximate: When selecting +/* candidates, treat it ambiguous until finding a user-given arithmetic-vs-string constraint, such as assigning the result to a string. Once a string interpretation is imposed, prefer an alternative that converts to string as soon as possible.

This description is not directly achievable with the CFA type system. The approximation has the known flaw shown in the string-operator test, where a fairly built-up expression that should be ambiguous is actually defaulting to the string version.

This change is the last of the string-overload reorganizations that the string-operator test was originally meant to illustrate. In Mike's opinion, the resulting state is ideal, except for the just-mentioned flaw.

File:

• libcfa/src/collections/string.cfa (modified) (5 diffs)

libcfa/src/collections/string.cfa

@@ -14 +14 @@
 //
 
+#define _COMPILING_STRING_CFA_
+
 #include "string.hfa"
 #include "string_res.hfa"
@@ -40 +42 @@
 }
 
-void ?{}( string & s, string c ) {  // c is a memcpy of the real src string
+PBOOST void ?{}( string & s, string c ) {  // c is a memcpy of the real src string
         (s.inner) { malloc() };
         ?{}( *s.inner, *c.inner, COPY_VALUE );
@@ -146 +148 @@
 // Assignment
 
-string & ?=?( string & s, string c ) {
+PBOOST string & ?=?( string & s, string c ) {
         (*s.inner) = (*c.inner);
         return s;
@@ -326 +328 @@
 }
 
-string ?+?( string s, string s2 ) {
+PBOOST string ?+?( string s, string s2 ) {
         string ret = s;
         ret += s2;
@@ -375 +377 @@
 }
 
-string ?*?( string s, strmul_factor_t factor ) {
+PBOOST string ?*?( string s, strmul_factor_t factor ) {
         string ret = s;
         ret *= factor;