Как включить этот метод расширения в свойство расширения?

Question

У меня есть метод расширения

type System.Int32 with 
    member this.Thousand() = this * 1000 

но это требует от меня, чтобы написать, как этот

(5).Thousand() 

Я хотел бы, чтобы избавиться от оба скобки, начиная с, что делает его свойство вместо метода (ради обучения), как я могу сделать это свойством?

Answer 1

Ответ Джона является один из способов сделать это, но свойство только для чтения, есть также более краткий способ, чтобы написать это:

type System.Int32 with 
    member this.Thousand = this * 1000 

Кроме того, в зависимости от ваших предпочтений , вам может показаться более приятным написать 5 .Thousand (обратите внимание на дополнительное пространство), чем (5).Thousand (но вы не сможете сделать только 5.Thousand или даже 5.ToString()).

Answer 2

Я не знаю F # (! Постыдным), но на основе this blog post, я бы ожидать:

type System.Int32 with 
    member this.Thousand 
     with get() = this * 1000 

Я подозреваемый что не освободит вас от первого набора скобок (в противном случае F # may попытайтесь разобрать все это как литерал), но он должен помочь вам со вторым.

Лично я бы не использовал этот тип для расширения «производства», но он полезен для тестового кода, где вы работаете с множеством значений.

В частности, я нашел аккуратным метод расширения по датам, например. 19.June(1976) как очень простой, легко читаемый способ создания тестовых данных. Но не для производства кода :)

Answer 3

Это не красиво, но если вы действительно хотите функцию, которая будет работать для любого числового типа, вы можете сделать это:

let inline thousand n = 
    let one = LanguagePrimitives.GenericOne 
    let thousand = 
    let rec loop n i = 
     if i < 1000 then loop (n + one) (i + 1) 
     else n 
    loop one 1 
    n * thousand 

5.0 |> thousand 
5 |> thousand 
5I |> thousand