Ducktyping mit UFCS

Question

Ist es möglich, UFCS mit Ente Typisierung zu verwenden? In diesem Fall konnte foo TestB 's baz function nicht ducken.

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

Die struct TestB hat keine Mitgliedsfunktion baz, aber es ist eine freie Funktion baz(ref TestB) in Modul b. Die Funktion foo in Modul a weiß nicht über diese freie Funktion baz, so dass es nicht aufgerufen wird, wenn TestB gegeben. Um dies zu beheben, können Sie b in Modul a importieren.

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

Answer 2

Wie wäre es mit der Kraft der Introspektion?

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

bearbeiten

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) 
    } 
} 

die wie

verwendet werden können: aktualisiert die Antwort nach Gassa ist hilfreich Kommentar.