http://d.puremagic.com/issues/show_bug.cgi?id=869

           Summary: Cast of a parenthesized expression combined with !is is
                    mistaken for a C style cast and a template
                    specialization
           Product: D
           Version: 1.00
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Keywords: rejects-valid
          Severity: minor
          Priority: P3
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: deewiant@gmail.com


static assert (cast(int)(foo) !is null);
// or with normal assert:
void main() { assert (cast(int)(foo) !is null); }

The above code snippet produces, for both lines 1 and 3, the following pair of errors:

(type identifier : specialization) expected following is
C style cast illegal, use cast(foo)!0

It's easy to work around: either remove the parentheses around foo or add another pair of them, whichever is appropriate for the expression.


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=869


thomas-dloop@kuehne.cn changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |spec




------- Comment #1 from thomas-dloop@kuehne.cn  2007-01-23 07:46 -------
http://www.digitalmars.com/d/overview.html
>D retains C operators and their precedence rules, order of evaluation rules,
and promotion rules.

As C hasn't got an "!is" operator it is impossible to decide how this code
should be interpreted:
#
# cast(int)(foo !is null) // 1
# (cast(int)foo) !is null // 2
#


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=869


Christian Kamm <kamm-removethis@incasoftware.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch
                 CC|                            |kamm-removethis@incasoftwar
                   |                            |e.de




--- Comment #2 from Christian Kamm <kamm-removethis@incasoftware.de>  2009-06-30 10:33:34 PDT ---
DMD 1.045 digests the following test case without complaint:

class C {}
C foo;
void main() {
  assert (cast(Object)(foo) !is null);
}

To resolve this issue, add the following line to "Identity Expressions":

The is and !is expressions have the same precedence as the equality expressions == and !=.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=869


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |clugdbug@yahoo.com.au
         Resolution|                            |FIXED


--- Comment #3 from Don <clugdbug@yahoo.com.au> 2009-12-15 14:22:17 PST ---
This was fixed between 1.030 and 1.036.
No spec change is required (precedence is implied in the BNF descriptions).

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------