Tôi có thể sử dụng toán tử đường ống trong F # để chuyển đối số cho một hàm tạo không?

Question

Mã này đảo ngược một chuỗi:

let reverse (s : string) = new string(s.ToCharArray() |> Array.rev) 

này có thể được viết lại sử dụng các nhà điều hành đường ống dẫn để vượt qua các đối số bắt buộc để các nhà xây dựng string()? Ví dụ: điều này có vẻ thành ngữ hơn:

// Doesn't compile: 
let reverse (s : string) = s.ToCharArray() |> Array.rev |> new string 

Tương tự, tại sao tôi không thể sử dụng toán tử string theo cách sau?

let reverse2 (s : string) = s.ToCharArray() |> Array.rev |> string 

Đây là nó trong hành động:

> reverse2 "foo" ;; 
val it : string = "System.Char[]" 

Nó trả về kiểu chứ không phải là "oof".

Answer 1

Không, toán tử đường ống chỉ có thể được sử dụng với hàm F #, nó không thể được sử dụng với các hàm tạo lớp, phương thức thành viên hoặc phương thức tĩnh. Lý do là sự quá tải được hỗ trợ bởi các loại phương pháp này sẽ làm phức tạp suy luận kiểu F #. Tuy nhiên, nếu bạn thực sự muốn sử dụng đường ống, bạn có thể lập bản đồ mỗi phần tử của char mảng vào một String và sau đó ống chuỗi đó vào Seq.concat "":

s.ToCharArray() |> Array.rev |> Seq.map(string) |> String.concat "" 

Hoặc bạn có thể quấn gọi chuỗi nhà xây dựng trong một F # phương pháp:

let stringCArrCtor (carr: char[]) = 
    new string(carr) 

s.ToCharArray() |> Array.rev |> stringCArrCtor 

Và để trả lời câu hỏi cuối cùng của bạn,

s.ToCharArray() |> Array.rev |> string 

không thể được sử dụng bởi vì nó tương đương với

(s.ToCharArray() |> Array.rev).ToString() 

và phương thức ToString() của mảng không được ghi đè để nó chỉ trả về tên kiểu được phản ánh mặc định.

Answer 2

Như Stephen đã đề cập, điều tốt nhất cần làm là xác định hàm mới gọi hàm tạo. Bạn có thể đặt nó vào một mô-đun có tên là String (trong một số không gian tên của bạn), do đó bạn sẽ có cảm giác tương tự như khi làm việc với các hàm F # khác. Tôi có lẽ sẽ sử dụng:

module String = 
    let create (c:char[]) = new string(c) 

Câu hỏi của việc sử dụng nhà xây dựng như các giá trị hạng nhất xuất hiện trên SO trước đây, nhưng tôi không thể tìm thấy câu trả lời trước đây của tôi nữa - có một mẹo rất điên cung cấp cho bạn khả năng, nhưng nó là một hack khổng lồ (không ai nên sử dụng nó và một số phiên bản tiếp theo của F # là hy vọng sẽ không cho phép điều đó). Dù sao, bạn có thể sử dụng statically resolved type parameters để viết như sau:

let inline ctor< ^R, ^T when ^R : 
     (static member ``.ctor`` : ^T -> ^R)> (arg:^T) = 
    (^R : (static member ``.ctor`` : ^T -> ^R) arg) 

Và sử dụng các chức năng như thế này:

"ABC".ToCharArray() |> Array.rev |> ctor<string, _>;; 

Các ctor chức năng cơ bản yêu cầu các loại quy định như tham số loại đầu tiên có một nhà xây dựng và nó gọi hàm tạo (tham số kiểu khác là đối số cho hàm khởi tạo và được trình biên dịch phỏng đoán). Nhưng điều này thực sự chỉ là một sự tò mò - xác định chức năng của riêng bạn là cách tiếp cận tốt nhất.