Re: Implicit String-Literal Concatenation

On 2024-03-07, Keith Thompson <Keith.S.Thompson+u@gmail.com> wrote:

Kaz Kylheku <433-929-6894@kylheku.com> writes:

On 2024-03-07, Lawrence D'Oliveiro <ldo@nz.invalid> wrote:

On Mon, 04 Mar 2024 20:55:28 -0800, Keith Thompson wrote:

Lawrence D'Oliveiro <ldo@nz.invalid> writes:

On Thu, 29 Feb 2024 14:14:52 -0800, Keith Thompson wrote:

"A *string* is a contiguous sequence of characters terminated by and
including the first null character."

>
So how come strlen(3) does not include the null?

 Because the *length of a string* is by definition "the number of bytes
preceding the null character".

>
So the “string” itself includes the null character, but its “length” does not?

>
That's correct. However, its size includes it.
>
 sizeof "abc" == 4
>
 strlen("abc") == 3
>
The abstract string does not include the null character;
we understand "abc" to be a three character string.

>
Sure, if you define "abstract string" that way.  I'll just note that C's
definition of the word "string" does include the terminating null
character, and does not talk about "abstract strings".  (A string in the
abstract machine clearly includes the null character, but that's a bit
of a stretch.)

Yes; "abstract machine" is not what I mean by abstract.
The concept of the abstract string lives in the semantics though.
When N strings are catenated together, their abstract strings are
juxtaposed together without any nulls in between, with only a single
null at the end.
Furthermore, when a string is sent to a stream with %s or {f}puts,
the null byte is omitted, like in the calculation of length.
Clearly, there is a semantics that the part before the null byte
is the text processing payload; what I'm calling the abstract string.
(With character encodings, it gets hairy. The part before the null
may be a UTF-8 sequence, where the abstract string consists of code
points. Which may be combining characters, so the True Scotsman's
abstract string is the sequence of characters.)
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca