Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c > #150156

Re: Const-qualified function return type in C - is it a part of function type?

Show key headers only | View raw

Ben Bacarisse <ben.usenet@bsb.me.uk> writes:

> Andrey Tarasevich <andreytarasevich@hotmail.com> writes:
> <cut>
>
>> To avoid any further wastage of time on this irrelevant matter I
>> hereby postulate one more time:  the above quoted passage refers to
>> qualifiers applied to the function type itself (which, BTW, is only
>> possible through typedef names).
>
> And interesting detail, which I can't interpret...  In all versions of
> the C standard, there is a footnote attached to the paragraph
>
>   "If the specification of an array type includes any type qualifiers,
>   the element type is so qualified, not the array type.  If the
>   specification of a function type includes any type qualifiers, the
>   behavior is undefined."
>
> In C90, this footnote seems to be:
>
>   59) Both of these can only occur through the use of typedefs.
>
> By C99 it appears to have become
>
>   118) Both of these can occur through the use of typedefs.
>
> Why the change I wonder?

I believe it was prompted by point 8 in this document, written by
Doug Gwyn (dated 1997):

    http://www.open-std.org/jtc1/sc22/wg14/www/docs/n762.htm

> Is there a way to qualify a function or array
> type without a typedef?  I can't see one.

I believe there is not.  My guess is Doug was confused about what
the footnoted sentence was meant to say, which in turn led him to
misinterpret the footnote.

> By the way, I hedge with "seems be" and "appears to have become" because
> I don't have either standard, only pre-publication drafts.  Maybe
> someone with the actual text can verify?

I believe the quotes you give match the published standards
exactly, except that the footnotes have different numbers.

Incidentally, when I say "I believe" it means I think the
statement following "believe" is true, even though I may not be
prepared to demonstrate its truth.  This is in contrast to
expressing an opinion, which is not about statements of
fact and so not subject to being disproved.

Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Const-qualified function return type in C - is it a part of function type? Andrey Tarasevich <andreytarasevich@hotmail.com> - 2020-02-21 14:35 -0800
  Const-qualified function return type in C - is it a part of function type? James Kuyper <jameskuyper@alumni.caltech.edu> - 2020-02-21 15:24 -0800
    Re: Const-qualified function return type in C - is it a part of function type? Andrey Tarasevich <andreytarasevich@hotmail.com> - 2020-02-21 16:19 -0800
      Re: Const-qualified function return type in C - is it a part of function type? Richard Damon <Richard@Damon-Family.org> - 2020-02-21 20:50 -0500
        Re: Const-qualified function return type in C - is it a part of function type? Andrey Tarasevich <andreytarasevich@hotmail.com> - 2020-02-21 19:56 -0800
          Re: Const-qualified function return type in C - is it a part of function type? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-02-22 14:22 +0000
            Re: Const-qualified function return type in C - is it a part of function type? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2020-02-22 10:06 -0800
              Re: Const-qualified function return type in C - is it a part of function type? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-02-22 21:20 +0000
                Re: Const-qualified function return type in C - is it a part of function type? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2020-02-24 20:58 -0800
            Re: Const-qualified function return type in C - is it a part of function type? luser droog <luser.droog@gmail.com> - 2020-02-22 19:24 -0800
              Re: Const-qualified function return type in C - is it a part of function type? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-02-23 03:52 +0000
                Re: Const-qualified function return type in C - is it a part of function type? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2020-02-24 21:06 -0800
      Re: Const-qualified function return type in C - is it a part of function type? Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-02-21 21:21 -0800
  Re: Const-qualified function return type in C - is it a part of function type? Bonita Montero <Bonita.Montero@gmail.com> - 2020-02-22 07:51 +0100
    Re: Const-qualified function return type in C - is it a part of function type? Andrey Tarasevich <andreytarasevich@hotmail.com> - 2020-02-22 05:00 -0800
      Re: Const-qualified function return type in C - is it a part of function type? Bonita Montero <Bonita.Montero@gmail.com> - 2020-02-22 16:23 +0100
      Re: Const-qualified function return type in C - is it a part of function type? Guillaume <message@bottle.org> - 2020-02-22 20:37 +0100
        Re: Const-qualified function return type in C - is it a part of function type? Bonita Montero <Bonita.Montero@gmail.com> - 2020-02-22 20:50 +0100
          Re: Const-qualified function return type in C - is it a part of function type? David Brown <david.brown@hesbynett.no> - 2020-02-23 07:29 +0100
            Re: Const-qualified function return type in C - is it a part of function type? Bonita Montero <Bonita.Montero@gmail.com> - 2020-02-23 08:57 +0100
  Re: Const-qualified function return type in C - is it a part of function type? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2020-02-22 09:53 -0800

csiph-web