Comment personnaliser la sortie d'un type personnalisé en utilisant printf?

Question

J'ai lu une bonne partie de Expert F # et je travaille sur la construction d'une application réelle. Bien que le débogage, j'ai pris l'habitude de passer des commandes de fsi comme celui-ci pour rendre les choses lisibles dans la fenêtre rempl:

fsi.AddPrinter(fun (x : myType) -> myType.ToString()) 

je voudrais étendre à travailler avec le formatter printf, donc je pouvais taper par exemple

printf "%A" instanceOfMyType 

et de contrôler la sortie pour un type personnalisé. Le livre implique que cela peut être fait (p 93, « la mise en forme de structure générique peut être étendue à travailler avec tous les types de données définis par l'utilisateur, un sujet couvert sur le site F # »), mais je n'ai pas trouvé de références quant à comment réellement accomplir ceci. Est-ce que quelqu'un sait comment? Est-ce même possible?

Edit:

J'ai inclus un exemple de code, il est un type d'enregistrement que je traite, par exemple

type myType = 
    {a: int}   
    override m.ToString() = "hello" 

let t = {a=5} 
printfn "%A" t 
printfn "%A" (box t) 

les deux déclarations d'impression donnent:

{a = 5;} 

Answer 1

Il semble que la bonne façon de le faire en F # 2.0 est en utilisant l'attribut StructuredFormatDisplay, par exemple:

[<StructuredFormatDisplay("hello {a}")>] 
type myType = {a: int} 

Dans cet exemple, au lieu de la valeur par défaut {a = 42;}, vous obtiendrez hello 42.

Cela fonctionne de la même manière pour objet, enregistrer et types syndicaux. Et bien que le motif doit être au format "PreText {PropertyName} PostText" (Prétexte et PostText étant en option), c'est en fait plus puissant que ToString() parce que:

1. PropertyName peut être une propriété de tout type. Si ce n'est pas une chaîne, elle sera également soumise à un formatage structuré. Don Syme's blog donne un exemple de mise en forme récursive un arbre de cette façon.

2. Il est peut-être une propriété calculée.Ainsi, vous pouvez réellement obtenir ToString() travailler pour les types d'enregistrement et des syndicats, mais dans une volte-ronde plutôt moyen:

   [<StructuredFormatDisplay("{AsString}")>] 
   type myType = 
       {a: int} 
       override m.ToString() = "hello" 
       member m.AsString = m.ToString() // a property that calls a method 
   

Par ailleurs, ToString() sera toujours utilisé (même pour le dossier et les types syndicaux) si vous appelez printfn "%O" au lieu de printfn "%A".

Answer 2

Hmm ... Je me rappelle vaguement quelques changements à ce sujet, mais j'oublie si elles se sont passées avant ou après la CTP (1.9.6.2).

Dans tous les cas, le CTP, je vois que

type MyType() = 
    override this.ToString() = "hi" 
let x = new MyType() 
let xs = Array.create 25 x 
printfn "%A" x 
printfn "%A" xs 

lorsqu'il est évalué dans la fenêtre VFSI fait ce que je veux, et que

x;; 
xs;; 

aussi bien imprime. Donc, je suppose que je ne sais pas comment cela diffère de ce qui est désiré?

Answer 3

Si vous remplacez la méthode ToString, qui devrait le faire.