context-free grammar

[Rainer Schuetze]

The ambiguities are simply resolved by this rule in the language 
specification: "Any ambiguities in the grammar between Statements and 
Declarations are resolved by the declarations taking precedence." ( 
http://www.digitalmars.com/d/2.0/statement.html ).

Simon Buerger wrote:
> It is often said that D's grammar is easier to parse than C++, i.e. it 
> should be possible to seperate syntactic and semantic analysis, which is 
> not possible in C++ with the template-"< >" and so on. But I found 
> following example:
> 
> The Line "a * b = c;" can be interpreted in two ways:
> -> Declaration of variable b of type a*
> -> (a*b) is itself a lvalue which is assigned to.
> 
> Current D (gdc 2.051) interprets it always in the first way and yields 
> an error if the second is meant. The Workaround is simply to use parens 
> like "(a*b)=c", so it's not a real issue. But at the same time, C++ (gcc 
> 4.5) has no problem to distinguish it even without parens.
> 
> So, is the advertising as "context-free grammar" wrong?
> 
> - Krox