What does this code snippet even do?

Ali Çehreli acehreli at yahoo.com
Sat Jan 30 05:13:45 UTC 2021


On 1/29/21 2:41 PM, WhatMeWorry wrote:

>  Ali's book talks about the 
> colon appearing for

There is also "is, expression":

   http://ddili.org/ders/d.en/is_expr.html#ix_is_expr.is,%20expression

But the is expression is so complicated. :( I defined that particular 
syntax as

   is (T : Specifier, TemplateParamList)

--- quote ---
identifier, Specifier, :, and == all have the same meanings as described 
above.

TemplateParamList is both a part of the condition that needs to be 
satisfied and a facility to define additional aliases if the condition 
is indeed satisfied. It works in the same way as template type deduction.
------------

I almost understand it. ;)

Ali



More information about the Digitalmars-d-learn mailing list