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

Groups > comp.lang.c++ > #70659

Re: I'd like to have unusing

Show all headers | View raw

Alf P. Steinbach wrote:
> On 26.12.2019 01:54, Pavel wrote:
>> Alf P. Steinbach wrote:
>>> On 25.12.2019 23:28, Pavel wrote:
>>>> Öö Tiib wrote:
>>>>> On Thursday, 26 December 2019 00:06:27 UTC+2, Pavel  wrote:
>>>>>> Alf P. Steinbach wrote:
>>>>>>> On 25.12.2019 22:37, Pavel wrote:
>>>>>>>
>>>>>>>> bonitas::_ is neither used by C++ implementation nor a name in the
>>>>>>>> global namespace so it seems not compliant to either the 2011
>>>>>>>> Standard
>>>>>>>> or n4830 on both fronts.
>>>>>>>
>>>>>>> And this does not make sense.
>>>>>> How so?
>>>>>
>>>>> I also do not get your logic how it is not compliant.
>>>>> It is not in global namespace nor contains double underscores
>>>>> nor starts with underscore followed by capital letter and so
>>>>> it is compliant. I don't like it ... but it is just matter of taste.
>>>>>
>>>> I see. My logic is this: from the below:
>>>>
>>>> 3 In addition, some identifiers are reserved for use by C++
>>>> implementations and shall not be used otherwise; no
>>>> diagnostic is required.
>>>> (3.1) — Each identifier that contains a double underscore __ or begins
>>>> with an underscore followed by an
>>>> uppercase letter is reserved to the implementation for any use.
>>>> (3.2) — Each identifier that begins with an underscore is reserved to
>>>> the implementation for use as a name in
>>>> the global namespace.
>>>>
>>>> I make 2 conclusions:
>>>>
>>>> A. some identifiers (in particular those starting with _) shall not be
>>>> used by otherwise than by C++ implementation
>>>
>>> The parenthetical remark does not follow from anything.
>> except it follows from 3.2 cited right above
>>>
>>>
>>>> B. If an identifier starting with _ not followed by an uppercase letter
>>>> is used by C++ implementation, it should be used as a name in the
>>>> global
>>>> namespace.
>>>
>>> ... or namespace `std`.
>> *that* is what does not seem to follow from anything.
>>>
>>>
>>>>   From that it follows that:
>>>>
>>>> - bonitas::_ is not allowed because of A.
>>>> - if A. did not exist, it would be still not allowed because of the
>>>> clause Alf referred to in his recollection of the Standard, namely:
>>>>
>>>> Identifiers starting with `_` are reserved in the global namespace.
>>>>
>>>> What I am  missing?
>>>
>>> Rather, the question is where you get these ideas.
>> Oh, the answer to this one is simple: boolean logic applied to A and B
>> above.
> 
> This reminds me strongly of the tortoise's denial arguments in
> Hofstadter's "Gödel, Escher, Bach: An Eternal Golden Braid".
> 
> I recommend that book.
nice try.
> 
> - Alf

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

Thread

I'd like to have unusing Bonita Montero <Bonita.Montero@gmail.com> - 2019-12-12 12:49 +0100
  Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-12 13:51 +0100
    Re: I'd like to have unusing Öö Tiib <ootiib@hot.ee> - 2019-12-12 05:47 -0800
      Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-12 17:58 +0100
        Re: I'd like to have unusing Öö Tiib <ootiib@hot.ee> - 2019-12-12 09:40 -0800
          Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-13 09:23 +0100
      Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-12 17:58 +0100
    Re: I'd like to have unusing boltar@nowhere.co.uk - 2019-12-12 16:23 +0000
    Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2019-12-25 13:19 -0500
      Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-25 20:09 +0100
        Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2019-12-25 16:37 -0500
          Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-25 22:56 +0100
            Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2019-12-25 17:06 -0500
              Re: I'd like to have unusing Öö Tiib <ootiib@hot.ee> - 2019-12-25 14:14 -0800
                Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2019-12-25 17:28 -0500
                Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-26 00:49 +0100
                Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2019-12-25 19:54 -0500
                Re: I'd like to have unusing "Alf P. Steinbach" <alf.p.steinbach+usenet@gmail.com> - 2019-12-26 03:53 +0100
                Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2019-12-25 22:32 -0500
                Re: I'd like to have unusing Öö Tiib <ootiib@hot.ee> - 2019-12-26 03:01 -0800
                Re: I'd like to have unusing Öö Tiib <ootiib@hot.ee> - 2019-12-26 03:20 -0800
                Re: I'd like to have unusing Richard Damon <Richard@Damon-Family.org> - 2019-12-27 11:24 -0500
                Re: I'd like to have unusing Öö Tiib <ootiib@hot.ee> - 2019-12-27 09:22 -0800
                Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2020-01-02 23:47 -0500
                Re: I'd like to have unusing Öö Tiib <ootiib@hot.ee> - 2020-01-02 23:46 -0800
                Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2020-01-04 23:46 -0500
                Re: I'd like to have unusing Richard Damon <Richard@Damon-Family.org> - 2020-01-04 18:43 -0500
                Re: I'd like to have unusing Pavel <pauldontspamtolk@removeyourself.dontspam.yahoo> - 2020-01-04 23:55 -0500
  Re: I'd like to have unusing Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-12-12 18:29 +0000
    Re: I'd like to have unusing Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-12-12 18:34 +0000
      Re: I'd like to have unusing Daniel <danielaparker@gmail.com> - 2019-12-12 11:17 -0800
    Re: I'd like to have unusing Bonita Montero <Bonita.Montero@gmail.com> - 2019-12-12 19:40 +0100
      Re: I'd like to have unusing Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-12-12 19:56 +0000
        Re: I'd like to have unusing Bonita Montero <Bonita.Montero@gmail.com> - 2019-12-13 06:35 +0100

csiph-web