Identificatori di riga, di file e di percorso di origine

  • Articolo

Gli identificatori __LINE____SOURCE_DIRECTORY__ e __SOURCE_FILE__ sono valori predefiniti che consentono di accedere al numero di riga di origine, alla directory e al nome del file nel codice.

Sintassi

__LINE__
__SOURCE_DIRECTORY__
__SOURCE_FILE__

Osservazioni:

Ognuno di questi valori ha il tipo string.

La tabella seguente riepiloga gli identificatori di riga, file e percorso di origine disponibili in F#. Questi identificatori non sono macro preprocessore; sono valori predefiniti riconosciuti dal compilatore.

Identificatore predefinito Descrizione
__LINE__ Restituisce il numero di riga corrente, considerando le #line direttive.
__SOURCE_DIRECTORY__ Restituisce il percorso completo corrente della directory di origine, considerando le #line direttive.
__SOURCE_FILE__ Restituisce il nome del file di origine corrente, senza il relativo percorso, considerando le #line direttive.

Per altre informazioni sulla #line direttiva, vedere Direttive del compilatore.

Esempio

Nell'esempio di codice seguente viene illustrato l'uso di questi valori.

let printSourceLocation() =
    printfn "Line: %s" __LINE__
    printfn "Source Directory: %s" __SOURCE_DIRECTORY__
    printfn "Source File: %s" __SOURCE_FILE__
printSourceLocation()

Output:

Line: 4
Source Directory: C:\Users\username\Documents\Visual Studio 2017\Projects\SourceInfo\SourceInfo
Source File: Program.fs

Vedi anche