CD
не умеешь - скажешь, что это неправильный абсурд
Size: a a a
2020 December 29
ΑZ
абсурд во-первых не может быть неправильным, а во-вторых его нельзя вызвать, потому он и абсурд
CD
я не понимаю при чем тут абсурд
потому что foo(Foo, Bar) вызывается как foo(anything_from_di{}, anything_from_di{})
ΑZ
покажи пример на расте будет понятнее
CD
потому что foo(Foo, Bar) вызывается как foo(anything_from_di{}, anything_from_di{})
дальше anything_from_di попросят преобразоваться соответственно в Foo и Bar
ΑZ
потому что foo(Foo, Bar) вызывается как foo(anything_from_di{}, anything_from_di{})
как ты узнаешь чыто foo нужно два аргумента в первую очередь?
CD
как ты узнаешь чыто foo нужно два аргумента в первую очередь?
наименьшее число, с которым сработает, меня устраивает
ΑZ
напомню что в расте нет SFNIAE
ΑZ
вторая проблема в том что у тебя второй anything_from_di{} может зависеть от первого
CD
а, понял
ΑZ
struct Foo;
struct Bar(Foo);
fn baz(f: Foo, b: Bar)ΑZ
и желательно Foo в таком случае только один сделать, а не два
CD
да, понял
CD
то есть надо все-таки аргументы целиком, тогда в плюсах это запихиванием адреса функции в трейт делается
CD
трейт может сказать набор аргументов неперегруженной функции в виде кортежа
CD
скажем, аналог rust-овского Fn
ΑZ
хотя есть вариант. Чтобы за аргументы отвечал диай, а не функция
ΑZ
тогда будет fn foo(args: ArgsFromDI)
ΑZ
и
register(my_di!(ArgsFromDi: Foo, Bar, Baz => foo))