UFCSでダックタイピング

Question

ダックタイピングでUFCSを使用することはできますか？この場合、fooはダックタイプTestBのbaz関数を実行できませんでした。

module a; 

struct TestA{ 
    void baz(){ 
     import std.stdio; 
     writeln("Test A"); 
    } 
} 

void foo(T)(auto ref T t){ 
    t.baz(); 
} 

module b; 

struct TestB{} 

void baz(ref TestB b){ 
    import std.stdio; 
    writeln("Test B"); 
} 

import a; 
import b; 
void main() 
{ 
    auto testa = TestA(); 
    auto testb = TestB(); 
    testb.baz(); // works 
    foo(testa); // works 
    foo(testb); // doesn't work 
} 

Answer 1

構造体TestBにはメンバ関数bazはありませんが、無料の機能baz(ref TestB)はモジュールbでもあります。モジュールaの関数fooは、このフリー関数bazを知らないので、TestBが与えられたときには呼び出されません。この問題を解決するには、のbをインポートできます。

void foo(T)(auto ref T t){ 
    import b; //alternatively, import b : baz; 
    t.baz(); 
} 

Answer 2

イントロスペクションの力はどうですか？ Gassaの役に立つコメントの後の答えを更新しました：

executor!"baz"(testa); 
executor!"baz"(testb); 
executor!"baz"(testa, my, other, function, args); 
// ... 

編集のように使用することができ

auto executor(string member, T, Args...)(auto ref T t, Args args) 
{ 
    import std.traits : hasMember; 
    static if(hasMember!(T, member)) 
     mixin("return t." ~ member ~ "(args);"); // t.baz() 
    else 
    { 
     import std.traits : moduleName; 
     mixin("import " ~ moduleName!T ~ ":" ~ member ~ ";"); // free function and struct need to be in the same module 
     mixin("return " ~ member ~ "(t, args);"); // baz(t) 
    } 
} 

。