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

Groups > comp.lang.c > #150212

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

Show all headers | View raw

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

> Tim Rentsch <tr.17687@z991.linuxsc.com> writes:
>
>> 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
>
> Which says:
>
>   8.  erroneous footnote 82
>
>        8.1  the_problem
>
>        Footnote 82 erroneously says that only through the use of
>        typedefs can array or function type specifications include
>        any type qualifiers.
>
>        8.2  my_opinion
>
>        I think this footnote was trying to be helpful, but
>        incorrect footnotes are not helpful.
>
>        8.3  my_proposal
>
>        In 6.5.3 Type qualifiers, delete Footnote 82 and the
>        reference to it.
>
>>> 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.
>
> What a strange state of affairs.  The original is helpful precisely
> because of the one word that got removed.

Personally I find the footnote helpful either with or without the
word 'only'.  For me the 'only' doesn't add much, if indeed it
adds anything helpful at all.

> And I can't see why n762 caused the vital word to be removed.

Probably because, as Doug was a member of long standing, and very
much involved in working on the Standard, he was taken at his
word that something about the footnote was inaccurate.  At the
same time it was realized that it isn't obvious how to construct
such qualified types, so the footnote was left in, in a modified
form, to help with that.

The previous paragraph is speculation on my part, so take it for
what it is worth.  I don't have any evidence to point to in
support of that speculation.

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