Use of const in parameter specification

[Martin]

I've searched this newsgroup's archives but couldn't find any posts that
provided any "rule of thumb" recommendations for use of const in function
parameters.

I appreciate there is no need for scalar variables to have const defined,
but how far should it go with pointers?

The Standard Library has functions defined that specify const, for example,
puts(const char *s) but why not go the extra bit and make it puts(const char
* const s)?

Any recommendations with rationale gratefully received.

--
Martin
http://martinobrien.co.uk/

[Martin Dickopp]

"Martin" <martin.o_brien @[no-spam]which.net> writes:

I've searched this newsgroup's archives but couldn't find any posts that
provided any "rule of thumb" recommendations for use of const in function
parameters.

I appreciate there is no need for scalar variables to have const defined,
but how far should it go with pointers?

The Standard Library has functions defined that specify const, for example,
puts(const char *s) but why not go the extra bit and make it puts(const char
* const s)?

Any recommendations with rationale gratefully received.

`const char *s' means that the memory pointed to by `s' cannot be
modified through `s'. In the context of a function prototype, you can
consider this a promise: The function `puts' promises not to modify
the string you pass as argument.

`char *const s' means that the pointer itself cannot be modified. But
remember that `puts' has its own copy of the pointer. The caller doesn't
need to know if `puts' modifies its copy of the pointer, since that
wouldn't have any influence on the caller anyway.

For this reason, const (and volatile, and [in C99] restrict) qualifiers
on the parameter itself (but not on what the parameter points to, if it
is a pointer) can always be omitted in prototype declarations. It is
valid to declare, e.g., the following prototype

void foo (int a, int *b, const int *const *c);

and then define the function as

void foo (const int a, int *const b, const int *const *const c)
{
/* ... */
}

Martin

[Martin Dickopp]

Martin Dickopp <ex************ ****@zero-based.org> writes:

`char *const s' means that the pointer itself cannot be modified. But
remember that `puts' has its own copy of the pointer. The caller doesn't
need to know if `puts' modifies its copy of the pointer, [...]

^^^^^^^^
My statement was a bit ambiguous. In case it's not clear from the
context: The underlined text refers to the copy of the pointer in the
`puts' function, /not/ the copy in the caller.

Martin

[Mark McIntyre]

On Sun, 15 Feb 2004 23:25:14 -0000, in comp.lang.c , "Martin"
<martin.o_brien @[no-spam]which.net> wrote:

I've searched this newsgroup's archives but couldn't find any posts that
provided any "rule of thumb" recommendations for use of const in function
parameters.

I appreciate there is no need for scalar variables to have const defined,
but how far should it go with pointers?
if a function doesn't modify the contents of a pointer argument, then make
it const to a) remind the function maintainer not to try and b) inform the
caller that its safe to assume its unchanged.
The Standard Library has functions defined that specify const, for example,
puts(const char *s) but why not go the extra bit and make it puts(const char
* const s)?

That says that the pointer itself is unchangeable. There's no benefit in
that since the fn gets a copy of the pointer anyway, and changing the copy
won't have any effect on the caller.
--
Mark McIntyre
CLC FAQ <http://www.eskimo.com/~scs/C-faq/top.html>
CLC readme: <http://www.angelfire.c om/ms3/bchambless0/welcome_to_clc. html>
----== Posted via Newsfeed.Com - Unlimited-Uncensored-Secure Usenet News==----
http://www.newsfeed.com The #1 Newsgroup Service in the World! >100,000 Newsgroups
---= 19 East/West-Coast Specialized Servers - Total Privacy via Encryption =---

[Dan Pop]

In <cu************ *@zero-based.org> Martin Dickopp <ex************ ****@zero-based.org> writes:

"Martin" <martin.o_brien @[no-spam]which.net> writes:

I've searched this newsgroup's archives but couldn't find any posts that
provided any "rule of thumb" recommendations for use of const in function
parameters.

I appreciate there is no need for scalar variables to have const defined,
but how far should it go with pointers?

The Standard Library has functions defined that specify const, for example,
puts(const char *s) but why not go the extra bit and make it puts(const char
* const s)?

Any recommendations with rationale gratefully received.
`const char *s' means that the memory pointed to by `s' cannot be
modified through `s'.

Of course it can:

*(char *)s = 'a';

It need not even invoke undefined behaviour, depending on where s actually
points.
In the context of a function prototype, you can
consider this a promise: The function `puts' promises not to modify
the string you pass as argument.

A "promise" only to the human reader: the compiler still cannot rely on it
when optimising, for the above shown reason.

Dan
--
Dan Pop
DESY Zeuthen, RZ group
Email: Da*****@ifh.de

[Martin O'Brien]

Mark McIntyre wrote:

That says that the pointer itself is unchangeable. There's
no benefit in that since the fn gets a copy of the pointer
anyway, and changing the copy won't have any effect on
the caller.

I suppose the only benefit is to trap any inadvertent attempts to
change that local pointer, indicating that the author is attempting
something he or she shouldn't.

Martin
http://martinobrien.co.uk/

[Martin Dickopp]

ma************@ which.net (Martin O'Brien) writes:

Mark McIntyre wrote:

That says that the pointer itself is unchangeable. There's no benefit
in that since the fn gets a copy of the pointer anyway, and changing
the copy won't have any effect on the caller.

I suppose the only benefit is to trap any inadvertent attempts to
change that local pointer, indicating that the author is attempting
something he or she shouldn't.

That's not achieved by making the pointer const in the prototype
declaration, unless the declaration is also the definiton. Only
the qualifier in the definition counts, while the qualifier in the
(non-definition) prototype declaration will be ingored.
--
,--. Martin Dickopp, Dresden, Germany ,= ,-_-. =.
/ ,- ) http://www.zero-based.org/ ((_/)o o(\_))
\ `-' `-'(. .)`-'
`-. Debian, a variant of the GNU operating system. \_/

[Martin]

"Martin Dickopp" wrote:

That's not achieved by making the pointer const in the prototype
declaration, unless the declaration is also the definiton. Only
the qualifier in the definition counts, while the qualifier in the
(non-definition) prototype declaration will be ingored.

Thanks for that Martin.

I'm only talking about the function definition.

--
Martin
http://martinobrien.co.uk/