Dove si svolge Do ... Loop senza una condizione documentata?

Question

Apparentemente, è possibile creare un Do ... Loop -Loop senza condizioni. Il seguente codice viene compilato con .NET 4.5 (fiddle), così come con Roslyn (fiddle):

Public Sub Main() 
    Do 
     Console.WriteLine("Hello World") 
     Exit Do 
    Loop 
End Sub 

Tuttavia, la grammatica sulla documentation page offre solo le seguenti due opzioni:

Do { While | Until } condition 
    [ statements ] 
    [ Continue Do ] 
    [ statements ] 
    [ Exit Do ] 
    [ statements ] 
Loop 
-or- 
Do 
    [ statements ] 
    [ Continue Do ] 
    [ statements ] 
    [ Exit Do ] 
    [ statements ] 
Loop { While | Until } condition 

E` un bug nel compilatore, un bug nella documentazione o semplicemente non ho visto abbastanza?

Answer 1

In caso di dubbio, consultare il language specification, piuttosto che il riferimento:

10.9.1 Mentre ... End While e Do ... istruzioni di ciclo

Un While o Do ciclo cicli di istruzione basati su un'espressione booleana. ... Un'espressione può essere inserita dopo la parola chiave Do o dopo la parola chiave Loop, ma non dopo . ... È valido anche per specificare nessuna espressione;

(mia enfasi)

La guida al linguaggio cerca di essere più semplice, ma può perdere dettagli essenziali. Le specifiche del linguaggio dovrebbero corrispondere a ciò che implementa il compilatore.

Answer 2

Vedi le parti sezione di seguito nella documentazione:

condizione opzionale. Espressione booleana. Se condizione è Niente, Visual Basic considera False.

Answer 3

penso che la frase chiave nella documentazione è

È possibile utilizzare uno o Mentre Fino a specificare condizioni, ma non entrambi.

Quindi, se si desidera specificare una condizione, è necessario utilizzare entrambi. Senza una condizione non devi specificare nulla.

Lasciando fuori la condizione è perfettamente valido e si tradurrà in un ciclo infinito.