Dの拡張メソッド？

Question

ねえの人々は、私は私には意味をなすために、構文のこれらのビットを取得しようとしている：

S[] split(S)(S s) if (isSomeString!S) 
{ 
    ... 
} 

と

string join(in string[] words, string sep) 
{ 
    ... 
} 

（phobos/src/std/string.dに見られるように）私の知る限りとして

これは私たちに次のようなことをさせるコードです：

string[] parts = "/foo/bar/baz".split("/"); // string[] {"foo", "bar", "baz"} 
string part = parts.join("-"); // string "foo-bar-baz" 

これは基本的に私がCSharpから知っている拡張メソッドのような何かがdで可能であると私に信じさせる。私が持っている問題は、以下のとおりです。

私は、私は彼らが似て作るものが表示されていないことをここ

右側の関数宣言を見ていない、100％確信していること

1. 。

Answer 1

これらは拡張メソッドではなく、きちんとした機能に変わったバグです。

これら2つの方法の類似点は、どちらも最初のパラメータとして文字列を持つことです。ので、ここで働いているトリックは、Dで

arr.foo(some arguments matching other params) 

Answer 2

を行うことによって呼び出すことができる配列を受け取り、任意の関数を配列T [] ARR、および機能

U foo (T[] t, other params) 

を与えられることあたかもその配列のメンバー関数であるかのように、最初の引数を呼び出すことができます。また、文字列は配列なので、文字列も含まれます。だから、

T[] replace(in T[] array, in T[] from, in T[] to) 

のようなものは、次の2つの方法呼び出すことができます。

auto replacedStr1 = replace("hello world", "hello", "goodbye"); 
auto replacedStr2 = "hello world".replace("hello", "goodbye"); 

この機能は現在配列のみで動作します（IIRC、それが原因それを許さバグ約来て、それが決定されましたそれは実際に持っていることがうれしかったので、実際には言語の一部になっていました）、しかし、ある時点では、すべてのタイプで動作するようになります。それがすべての型に対して機能することを統一関数呼び出し構文と呼びます。それは実装を使用すると、

auto bigger = 2.max(5); 

ようなものを行うことができると思います。しかし均一な関数呼び出し構文がまだ実装されていないとして、あなただけの配列でそういったことを行うことができます。関数への最初の引数として渡すのではなく、文字列を使ってそのようにプログラムするのはよくあることです。