[OT] Generative C++

Stefan Koch via Digitalmars-d digitalmars-d at puremagic.com
Fri Aug 4 09:27:47 PDT 2017


On Friday, 4 August 2017 at 16:11:11 UTC, 12345swordy wrote:
> On Friday, 4 August 2017 at 16:07:51 UTC, Kagamin wrote:
>> On Thursday, 3 August 2017 at 18:32:25 UTC, 12345swordy wrote:
>>> "Enable writing
>>> compiler-enforced
>>> patterns for any purpose:
>>> coding standards
>>> (e.g., many
>>> Core Guidelines
>>> “enforce” rules)
>>> "
>>>
>>> Yes, it does, right there. Are you reading the same paper 
>>> that I am?
>>
>> It works only on declarations, like D.
>
> I know that, what is your point?

It means it can't be done.
Do do recursive flow-sensitive checks, (like those needed to 
enforce 'pure' or indeed '@nogc'), you'd have to write a 
self-modifying meta-program.
Which you cannot do.


More information about the Digitalmars-d mailing list