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

Groups > comp.std.c > #376

Re: Types in C

Show all headers | View raw

On 6/1/2011 12:43 AM, Tim Rentsch wrote:
> Shao Miller<sha0.miller@gmail.com>  writes:
>
> [snip]
>>
>> In the N1494 draft, we have 6.2.5p19:
>>
>>    "The void type comprises an empty set of values; it is an incomplete
>> object type that cannot be completed."
>>
>> Similarly:
>>
>>    typedef char a_incomplete[];
>>
>> could never be completed, if I'm not mistaken.
>
> Only because there is no way to refer to type in
> question, not for any sort of fundamental reason.
> The two cases aren't analogous at all.

The original poster seemed, to me, to be struggling with the idea that 
an object type can be incomplete and complete at different times, but 
that the previous status of 'void' as an "incomplete type" mightn't 
quite fit with the new status of "object type" ("incomplete object 
type," in particular).  This was simply an example of another incomplete 
object type which forever carries that status, you've agreed.

If I'd typed, "you can substitute 'a_incomplete' wherever you see 'void' 
in the Standard," then we'd have a bigger problem. :)

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

Thread

Types in C jacob navia <jacob@spamsink.net> - 2011-05-22 21:29 +0200
  Re: Types in C Keith Thompson <kst-u@mib.org> - 2011-05-22 12:48 -0700
  Re: Types in C Marcin Grzegorczyk <mgrzegor@poczta.onet.pl> - 2011-05-30 22:42 +0200
    Re: Types in C Shao Miller <sha0.miller@gmail.com> - 2011-05-30 17:45 -0500
      Re: Types in C Keith Thompson <kst-u@mib.org> - 2011-05-31 08:47 -0700
        Re: Types in C Shao Miller <sha0.miller@gmail.com> - 2011-05-31 13:54 -0400
      Re: Types in C Tim Rentsch <txr@alumni.caltech.edu> - 2011-05-31 22:38 -0700
        Re: Types in C Shao Miller <sha0.miller@gmail.com> - 2011-06-01 07:22 -0500
          Re: Types in C Tim Rentsch <txr@alumni.caltech.edu> - 2011-06-01 12:13 -0700
    Re: Types in C jacob navia <jacob@spamsink.net> - 2011-05-31 00:16 +0200
      Re: Types in C Shao Miller <sha0.miller@gmail.com> - 2011-05-30 18:30 -0500
        Re: Types in C Tim Rentsch <txr@alumni.caltech.edu> - 2011-05-31 22:43 -0700
          Re: Types in C Shao Miller <sha0.miller@gmail.com> - 2011-06-01 07:41 -0500
            Re: Types in C Tim Rentsch <txr@alumni.caltech.edu> - 2011-06-01 12:23 -0700
      Re: Types in C Marcin Grzegorczyk <mgrzegor@poczta.onet.pl> - 2011-06-02 22:44 +0200
        Re: Types in C jacob navia <jacob@spamsink.net> - 2011-06-02 22:49 +0200
          Re: Types in C Keith Thompson <kst-u@mib.org> - 2011-06-02 15:26 -0700

csiph-web